Details

Time bar (total: 18.3s)

sample72.0ms

Algorithm
intervals
Results
36.0ms339×body80valid

simplify1.8s

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

prune31.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)

rewrite152.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:
27.0ms
(- (* (* 27.0 b) a) (* (* (* y 9.0) z) t))
26.0ms
(* (* y 9.0) z)
13.0ms
(* (* 27.0 b) a)
82.0ms
(* (* (* y 9.0) z) t)

series266.0ms

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

simplify2.5s

Counts
91 → 91
Iterations
IterNodes
done5000
22620
1368
0140

prune784.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize29.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))

rewrite73.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))))
16.0ms
(- (* (* 27.0 b) a) (* (* y 9.0) (* z t)))
25.0ms
(* (* 27.0 b) a)
29.0ms
(* (* y 9.0) (* z t))

series386.0ms

Counts
4 → 12
Calls
4 calls:
219.0ms
(fma 2.0 x (- (* (* 27.0 b) a) (* (* y 9.0) (* z t))))
110.0ms
(- (* (* 27.0 b) a) (* (* y 9.0) (* z t)))
24.0ms
(* (* 27.0 b) a)
34.0ms
(* (* y 9.0) (* z t))

simplify1.9s

Counts
82 → 82
Iterations
IterNodes
done5000
21988
1348
0136

prune713.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite103.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-*l* add-cube-cbrt
6×add-log-exp
5×associate-*r*
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:
24.0ms
(- (* (* 27.0 b) a) (* y (* 9.0 (* z t))))
17.0ms
(* (* 27.0 b) a)
12.0ms
(* 9.0 (* z t))
45.0ms
(* y (* 9.0 (* z t)))

series192.0ms

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

simplify1.9s

Counts
91 → 91
Iterations
IterNodes
done5000
22150
1353
0137

prune675.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite102.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:
17.0ms
(- (* (* 27.0 b) a) (* y (* (* 9.0 z) t)))
13.0ms
(* (* 9.0 z) t)
21.0ms
(* (* 27.0 b) a)
48.0ms
(* y (* (* 9.0 z) t))

series205.0ms

Counts
4 → 12
Calls
4 calls:
123.0ms
(- (* (* 27.0 b) a) (* y (* (* 9.0 z) t)))
25.0ms
(* (* 9.0 z) t)
22.0ms
(* (* 27.0 b) a)
34.0ms
(* y (* (* 9.0 z) t))

simplify1.9s

Counts
91 → 91
Iterations
IterNodes
done5001
22566
1369
0139

prune566.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

regimes1.9s

Accuracy

89.2% (0.4b remaining)

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

bsearch2.0ms

simplify8.0ms

Iterations
IterNodes
done52
152
035

end0.0ms

sample1.8s

Algorithm
intervals
Results
903.0ms11115×body80valid