Details

Time bar (total: 1.5m)

sample1.2s

Algorithm
intervals
Results
881.0ms2248×body80valid

simplify2.6s

Counts
1 → 1
Iterations
IterNodes
done5001
31712
2349
1132
063

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.8b

localize214.0ms

Local error

Found 4 expressions with local error:

9.6b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.0b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
11.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite230.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
43.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
45.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
55.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
85.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series930.0ms

Counts
4 → 12
Calls
4 calls:
264.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
209.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
234.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
222.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify2.1s

Counts
136 → 136
Iterations
IterNodes
done5000
24876
11119
0346

prune3.4s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 14.3b

localize186.0ms

Local error

Found 4 expressions with local error:

9.2b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.6b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
11.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite205.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
48.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
51.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
45.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
58.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series779.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
185.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
205.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
209.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify2.2s

Counts
136 → 136
Iterations
IterNodes
done5002
24809
11117
0344

prune4.1s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 12.8b

localize240.0ms

Local error

Found 4 expressions with local error:

9.2b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
10.0b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
11.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite259.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
50.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
53.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
59.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
95.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series955.0ms

Counts
4 → 12
Calls
4 calls:
245.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
269.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
237.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
205.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify3.2s

Counts
136 → 136
Iterations
IterNodes
done5003
24888
11120
0345

prune4.3s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 12.8b

localize223.0ms

Local error

Found 4 expressions with local error:

7.3b
(cbrt (- (* y4 b) (* y5 i)))
9.6b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
11.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite184.0ms

Algorithm
rewrite-expression-head
Rules
19×flip3-- flip--
17×add-sqr-sqrt
12×frac-times
11×*-un-lft-identity add-cube-cbrt
10×pow1 add-cbrt-cube add-exp-log
9×associate-*r* associate-*l*
6×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×insert-posit16 add-log-exp
3×cbrt-prod pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×cbrt-div
1×pow1/3
Counts
4 → 107
Calls
4 calls:
10.0ms
(cbrt (- (* y4 b) (* y5 i)))
57.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
59.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
55.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series835.0ms

Counts
4 → 12
Calls
4 calls:
141.0ms
(cbrt (- (* y4 b) (* y5 i)))
225.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
214.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
253.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify2.4s

Counts
119 → 119
Iterations
IterNodes
done5000
24053
11014
0327

prune3.1s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 12.8b

regimes12.4s

Accuracy

-17% (11.8b remaining)

Error of 26.9b against oracle of 15.1b and baseline of 25.1b

bsearch4.5s

Steps
ItersRangePoint
7
1.325432431171272e+120
1.652837988103421e+122
7.493530868745964e+120
8
1.0944238993078949e-297
1.3420287224707566e-294
1.0920144033726943e-296
9
-2.3185682976062576e-188
-5.318915413370538e-196
-9.596344595680116e-191
4
-2.2774485356259263e-109
-1.4626685833526255e-109
-1.8097993541943642e-109

simplify150.0ms

Iterations
IterNodes
done199
1199
0129

end0.0ms

sample40.2s

Algorithm
intervals
Results
33.5s71683×body80valid