Details

Time bar (total: 15.8s)

sample68.0ms

Algorithm
intervals
Results
32.0ms339×body80valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5000
51325
4618
3257
292
135
017

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.4b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* (* 27.0 b) a) (* (* (* y 9.0) z) t))
0.2b
(* (* y 9.0) z)
0.3b
(* (* 27.0 b) a)
7.2b
(* (* (* y 9.0) z) t)

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-cbrt-cube add-exp-log
12×pow-prod-down prod-exp cbrt-unprod
9×associate-*r*
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×associate-*l* *-commutative
1×sub-neg flip3-- fma-neg diff-log prod-diff flip--
Counts
4 → 79
Calls
4 calls:
19.0ms
(- (* (* 27.0 b) a) (* (* (* y 9.0) z) t))
27.0ms
(* (* y 9.0) z)
28.0ms
(* (* 27.0 b) a)
72.0ms
(* (* (* y 9.0) z) t)

series248.0ms

Counts
4 → 12
Calls
4 calls:
139.0ms
(- (* (* 27.0 b) a) (* (* (* y 9.0) z) t))
29.0ms
(* (* y 9.0) z)
39.0ms
(* (* 27.0 b) a)
41.0ms
(* (* (* y 9.0) z) t)

simplify2.3s

Counts
91 → 91
Iterations
IterNodes
done5000
22620
1368
0140

prune710.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma 2.0 x (- (* (* 27.0 b) a) (* (* y 9.0) (* z t))))
0.0b
(- (* (* 27.0 b) a) (* (* y 9.0) (* z t)))
0.3b
(* (* 27.0 b) a)
6.9b
(* (* y 9.0) (* z t))

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
21×pow1 add-cbrt-cube add-exp-log
11×pow-prod-down prod-exp cbrt-unprod
6×add-log-exp
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u associate-*r* log1p-expm1-u
2×associate-*l* *-commutative
1×sub-neg flip3-- fma-neg diff-log prod-diff fma-udef flip--
Counts
4 → 70
Calls
4 calls:
0.0ms
(fma 2.0 x (- (* (* 27.0 b) a) (* (* y 9.0) (* z t))))
28.0ms
(- (* (* 27.0 b) a) (* (* y 9.0) (* z t)))
24.0ms
(* (* 27.0 b) a)
37.0ms
(* (* y 9.0) (* z t))

series421.0ms

Counts
4 → 12
Calls
4 calls:
249.0ms
(fma 2.0 x (- (* (* 27.0 b) a) (* (* y 9.0) (* z t))))
109.0ms
(- (* (* 27.0 b) a) (* (* y 9.0) (* z t)))
21.0ms
(* (* 27.0 b) a)
42.0ms
(* (* y 9.0) (* z t))

simplify1.6s

Counts
82 → 82
Iterations
IterNodes
done5000
21988
1348
0136

prune613.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* (* 27.0 b) a) (* y (* (* z 9.0) t)))
0.2b
(* (* z 9.0) t)
0.3b
(* (* 27.0 b) a)
6.8b
(* y (* (* z 9.0) t))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-cbrt-cube add-exp-log
12×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt *-un-lft-identity associate-*r* add-cube-cbrt
6×add-log-exp
5×associate-*l*
4×expm1-log1p-u log1p-expm1-u
3×*-commutative
1×sub-neg flip3-- fma-neg diff-log prod-diff flip--
Counts
4 → 79
Calls
4 calls:
19.0ms
(- (* (* 27.0 b) a) (* y (* (* z 9.0) t)))
16.0ms
(* (* z 9.0) t)
15.0ms
(* (* 27.0 b) a)
43.0ms
(* y (* (* z 9.0) t))

series213.0ms

Counts
4 → 12
Calls
4 calls:
114.0ms
(- (* (* 27.0 b) a) (* y (* (* z 9.0) t)))
29.0ms
(* (* z 9.0) t)
27.0ms
(* (* 27.0 b) a)
42.0ms
(* y (* (* z 9.0) t))

simplify1.6s

Counts
91 → 91
Iterations
IterNodes
done5001
22308
1366
0139

prune698.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* 27.0 a) b)
0.3b
(* 9.0 (* (* z t) y))
6.8b
(* (* z t) y)
49.7b
(fma t (- z) (* z t))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-cbrt-cube add-exp-log
12×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt *-un-lft-identity associate-*r* add-cube-cbrt
5×associate-*l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×*-commutative
1×fma-udef
Counts
4 → 73
Calls
4 calls:
23.0ms
(* (* 27.0 a) b)
69.0ms
(* 9.0 (* (* z t) y))
26.0ms
(* (* z t) y)
0.0ms
(fma t (- z) (* z t))

series155.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* (* 27.0 a) b)
39.0ms
(* 9.0 (* (* z t) y))
45.0ms
(* (* z t) y)
44.0ms
(fma t (- z) (* z t))

simplify1.0s

Counts
85 → 85
Iterations
IterNodes
done5001
21868
1294
0121

prune567.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes1.1s

Accuracy

70.4% (1.2b remaining)

Error of 1.2b against oracle of 0.0b and baseline of 4.0b

bsearch188.0ms

Steps
ItersRangePoint
9
1.0966040349327077e-45
3.35900444486122e-36
3.2662841097073865e-36
5
-5.786095538357056e-143
-2.524578231427017e-143
-5.710514206256463e-143

simplify4.0ms

Iterations
IterNodes
done45
145
031

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.4s11115×body80valid