Details

Time bar (total: 34.9s)

sample67.0ms

Algorithm
intervals
Results
28.0ms280×body80valid

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
done5005
53129
41167
3380
2130
162
030

prune49.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 23.7b

localize78.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721)
0.1b
(fma (fma 3.13060547623 z 11.1667541262) z t)
0.1b
(fma y (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)) x)
22.9b
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
6×add-cbrt-cube add-exp-log
4×expm1-log1p-u pow1 log1p-expm1-u add-log-exp
3×associate-/r* fma-udef associate-/l*
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 59
Calls
4 calls:
0.0ms
(fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721)
0.0ms
(fma (fma 3.13060547623 z 11.1667541262) z t)
1.0ms
(fma y (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)) x)
7.0ms
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))

series1.6s

Counts
4 → 12
Calls
4 calls:
45.0ms
(fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721)
46.0ms
(fma (fma 3.13060547623 z 11.1667541262) z t)
1.1s
(fma y (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)) x)
378.0ms
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))

simplify2.5s

Counts
71 → 71
Iterations
IterNodes
done5002
32058
2638
1252
0135

prune816.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.7b

localize142.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))
22.9b
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
22.9b
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
22.9b
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))

rewrite32.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:
4.0ms
(cbrt (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))
8.0ms
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
7.0ms
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
8.0ms
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))

series1.5s

Counts
4 → 12
Calls
4 calls:
571.0ms
(cbrt (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))
337.0ms
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
330.0ms
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
310.0ms
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))

simplify2.3s

Counts
123 → 123
Iterations
IterNodes
done5007
32024
2639
1259
0136

prune1.4s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.7b

localize96.0ms

Local error

Found 4 expressions with local error:

5.6b
(sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
5.6b
(sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
15.6b
(* (/ 1 (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))) (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))))
20.1b
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
95×add-sqr-sqrt
76×times-frac
53×*-un-lft-identity
47×add-cube-cbrt sqrt-prod
28×add-exp-log
22×associate-*r* associate-*l*
18×add-cbrt-cube
15×unswap-sqr
9×div-exp
8×pow1 prod-exp
6×associate-/r*
5×cbrt-undiv
4×expm1-log1p-u cbrt-unprod log1p-expm1-u add-log-exp
3×div-inv associate-/l*
2×rem-sqrt-square rec-exp sqrt-pow1 pow1/2 1-exp
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 156
Calls
4 calls:
2.0ms
(sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
2.0ms
(sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
63.0ms
(* (/ 1 (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))) (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))))
10.0ms
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))

series1.3s

Counts
4 → 12
Calls
4 calls:
141.0ms
(sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
157.0ms
(sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
426.0ms
(* (/ 1 (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))) (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))))
608.0ms
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))

simplify3.7s

Counts
168 → 168
Iterations
IterNodes
done5000
34985
21806
1584
0224

prune1.9s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.7b

localize206.0ms

Local error

Found 4 expressions with local error:

15.6b
(* (/ 1 (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))) (* (* (cbrt (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))) (cbrt (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))))) (cbrt (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))))))
20.1b
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))
20.1b
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))
20.1b
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))

rewrite243.0ms

Algorithm
rewrite-expression-head
Rules
72×times-frac
62×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
49×add-exp-log
45×sqrt-prod
24×cbrt-div prod-exp
23×add-cbrt-cube
22×associate-*l*
18×associate-/r*
17×frac-times
13×pow1 associate-*r/
12×cbrt-unprod
11×associate-*l/
9×div-exp associate-/l*
6×cbrt-undiv pow-prod-down
4×expm1-log1p-u log1p-expm1-u div-inv add-log-exp
3×rec-exp clear-num frac-2neg 1-exp
1×associate-*r* *-commutative
Counts
4 → 192
Calls
4 calls:
214.0ms
(* (/ 1 (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))) (* (* (cbrt (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))) (cbrt (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))))) (cbrt (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))))))
5.0ms
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))
9.0ms
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))
9.0ms
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))

series2.3s

Counts
4 → 12
Calls
4 calls:
394.0ms
(* (/ 1 (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))) (* (* (cbrt (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))) (cbrt (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))))) (cbrt (/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))))))
609.0ms
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))
602.0ms
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))
646.0ms
(/ (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))

simplify4.0s

Counts
204 → 204
Iterations
IterNodes
done5001
33907
21349
1536
0220

prune2.5s

Pruning

9 alts after pruning (5 fresh and 4 done)

Merged error: 0.7b

regimes2.0s

Accuracy

97.2% (0.8b remaining)

Error of 1.1b against oracle of 0.3b and baseline of 27.8b

bsearch410.0ms

Steps
ItersRangePoint
10
1.189285451611841e+24
2.313305919444919e+34
7.597311987327427e+33
8
-4.259047433324538e+70
-1.2575818074682611e+68
-1.275224954987133e+68

simplify6.0ms

Iterations
IterNodes
done37
137
032

end0.0ms

sample2.5s

Algorithm
intervals
Results
2.0s8898×body80valid