Details

Time bar (total: 21.9s)

sample95.0ms

Algorithm
intervals
Results
52.0ms427×body80valid

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
done5001
52653
4985
3320
2100
138
018

prune39.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 6.4b

localize30.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (* x 9.0) y b)
0.3b
(- (/ (fma (* x 9.0) y b) z) (* (* a 4.0) t))
2.7b
(/ (fma (* x 9.0) y b) z)
11.1b
(/ (- (/ (fma (* x 9.0) y b) z) (* (* a 4.0) t)) c)

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac
34×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×fma-neg prod-diff
8×add-cbrt-cube add-exp-log
6×associate-/r* associate-/l* add-log-exp
4×expm1-log1p-u pow1 log1p-expm1-u div-inv
2×cbrt-undiv clear-num frac-2neg flip3-- div-exp flip-- associate-/l/
1×sub-neg diff-log div-sub fma-udef
Counts
4 → 111
Calls
4 calls:
1.0ms
(fma (* x 9.0) y b)
36.0ms
(- (/ (fma (* x 9.0) y b) z) (* (* a 4.0) t))
4.0ms
(/ (fma (* x 9.0) y b) z)
59.0ms
(/ (- (/ (fma (* x 9.0) y b) z) (* (* a 4.0) t)) c)

series643.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(fma (* x 9.0) y b)
215.0ms
(- (/ (fma (* x 9.0) y b) z) (* (* a 4.0) t))
112.0ms
(/ (fma (* x 9.0) y b) z)
264.0ms
(/ (- (/ (fma (* x 9.0) y b) z) (* (* a 4.0) t)) c)

simplify1.1s

Counts
123 → 123
Iterations
IterNodes
done5000
21668
1388
0170

prune1.2s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 6.2b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (/ c (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z))))
0.3b
(fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z))
2.7b
(/ (fma (* y x) 9.0 b) z)
11.1b
(/ c (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
93×times-frac
62×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
19×associate-/r* add-exp-log
13×add-cbrt-cube
9×div-exp associate-/l*
7×div-inv
5×pow1 cbrt-undiv
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×clear-num frac-2neg
2×rec-exp 1-exp
1×associate-/r/ fma-udef pow-flip inv-pow
Counts
4 → 146
Calls
4 calls:
9.0ms
(/ 1 (/ c (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z))))
0.0ms
(fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z))
10.0ms
(/ (fma (* y x) 9.0 b) z)
4.0ms
(/ c (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z)))

series731.0ms

Counts
4 → 12
Calls
4 calls:
296.0ms
(/ 1 (/ c (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z))))
204.0ms
(fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z))
98.0ms
(/ (fma (* y x) 9.0 b) z)
132.0ms
(/ c (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z)))

simplify1.2s

Counts
158 → 158
Iterations
IterNodes
done5001
21938
1511
0230

prune1.3s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 3.0b

localize83.0ms

Local error

Found 4 expressions with local error:

3.4b
(cbrt (/ (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z)) c))
11.1b
(/ (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z)) c)
11.1b
(/ (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z)) c)
11.1b
(/ (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z)) c)

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac
35×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×cbrt-prod
10×add-cbrt-cube add-exp-log
9×associate-/r* associate-/l*
4×expm1-log1p-u pow1 log1p-expm1-u div-inv add-log-exp
3×cbrt-undiv clear-num frac-2neg div-exp
1×cbrt-div pow1/3
Counts
4 → 111
Calls
4 calls:
3.0ms
(cbrt (/ (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z)) c))
7.0ms
(/ (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z)) c)
7.0ms
(/ (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z)) c)
17.0ms
(/ (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z)) c)

series1.0s

Counts
4 → 12
Calls
4 calls:
326.0ms
(cbrt (/ (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z)) c))
227.0ms
(/ (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z)) c)
229.0ms
(/ (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z)) c)
266.0ms
(/ (fma (- t) (* 4.0 a) (/ (fma (* y x) 9.0 b) z)) c)

simplify1.1s

Counts
123 → 123
Iterations
IterNodes
done5002
32947
2620
1240
0136

prune1.6s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 3.0b

localize94.0ms

Local error

Found 4 expressions with local error:

2.7b
(/ (fma 9.0 (* x y) b) z)
11.9b
(cbrt (fma (* t a) (- 4.0) (/ (fma 9.0 (* x y) b) z)))
11.9b
(cbrt (fma (* t a) (- 4.0) (/ (fma 9.0 (* x y) b) z)))
11.9b
(cbrt (fma (* t a) (- 4.0) (/ (fma 9.0 (* x y) b) z)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×cbrt-prod times-frac
6×add-cbrt-cube add-exp-log
4×expm1-log1p-u pow1 log1p-expm1-u add-log-exp
3×associate-/r* pow1/3 associate-/l*
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 68
Calls
4 calls:
8.0ms
(/ (fma 9.0 (* x y) b) z)
1.0ms
(cbrt (fma (* t a) (- 4.0) (/ (fma 9.0 (* x y) b) z)))
1.0ms
(cbrt (fma (* t a) (- 4.0) (/ (fma 9.0 (* x y) b) z)))
1.0ms
(cbrt (fma (* t a) (- 4.0) (/ (fma 9.0 (* x y) b) z)))

series1.4s

Counts
4 → 12
Calls
4 calls:
108.0ms
(/ (fma 9.0 (* x y) b) z)
416.0ms
(cbrt (fma (* t a) (- 4.0) (/ (fma 9.0 (* x y) b) z)))
431.0ms
(cbrt (fma (* t a) (- 4.0) (/ (fma 9.0 (* x y) b) z)))
467.0ms
(cbrt (fma (* t a) (- 4.0) (/ (fma 9.0 (* x y) b) z)))

simplify777.0ms

Counts
80 → 80
Iterations
IterNodes
done5001
31630
2417
1177
0103

prune1.1s

Pruning

10 alts after pruning (6 fresh and 4 done)

Merged error: 3.0b

regimes2.3s

Accuracy

55.6% (4.5b remaining)

Error of 8.1b against oracle of 3.6b and baseline of 13.7b

bsearch4.0ms

simplify5.0ms

Iterations
IterNodes
done56
156
045

end0.0ms

sample2.8s

Algorithm
intervals
Results
2.0s12813×body80valid