Details

Time bar (total: 39.4s)

sample82.0ms

Algorithm
intervals
Results
39.0ms288×body80valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5000
41293
3386
2132
162
030

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.2b

localize64.0ms

Local error

Found 4 expressions with local error:

0.1b
(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)
26.4b
(/ (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))

rewrite6.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)
0.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)
4.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.3s

Counts
4 → 12
Calls
4 calls:
48.0ms
(fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721)
41.0ms
(fma (fma 3.13060547623 z 11.1667541262) z t)
936.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)
299.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.7s

Counts
71 → 71
Iterations
IterNodes
done5000
32900
2726
1252
0135

prune886.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 3.13060547623 (- (/ (/ t z) z) (/ 36.527041698806414 z)))
0.0b
(- (/ (/ t z) z) (/ 36.527041698806414 z))
0.1b
(/ (/ t z) z)
2.9b
(fma y (+ 3.13060547623 (- (/ (/ t z) z) (/ 36.527041698806414 z))) x)

rewrite425.0ms

Algorithm
rewrite-expression-head
Rules
2646×times-frac
1617×add-sqr-sqrt
1609×*-un-lft-identity
1596×add-cube-cbrt
1118×prod-diff
561×associate-+r+
201×div-inv
43×fma-neg
13×associate-/l*
11×add-log-exp
9×add-cbrt-cube add-exp-log
6×difference-of-squares
5×distribute-lft-out--
4×expm1-log1p-u pow1 log1p-expm1-u
3×cbrt-undiv associate-/r* fma-def div-exp
2×sum-log sub-neg diff-log distribute-lft-out
1×+-commutative clear-num associate-+r- frac-2neg flip3-+ flip3-- distribute-rgt-out-- frac-sub flip-+ fma-udef flip-- sub-div associate-/l/
Counts
4 → 1292
Calls
4 calls:
181.0ms
(+ 3.13060547623 (- (/ (/ t z) z) (/ 36.527041698806414 z)))
100.0ms
(- (/ (/ t z) z) (/ 36.527041698806414 z))
12.0ms
(/ (/ t z) z)
1.0ms
(fma y (+ 3.13060547623 (- (/ (/ t z) z) (/ 36.527041698806414 z))) x)

series204.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(+ 3.13060547623 (- (/ (/ t z) z) (/ 36.527041698806414 z)))
51.0ms
(- (/ (/ t z) z) (/ 36.527041698806414 z))
24.0ms
(/ (/ t z) z)
102.0ms
(fma y (+ 3.13060547623 (- (/ (/ t z) z) (/ 36.527041698806414 z))) x)

simplify2.7s

Counts
1304 → 1304
Iterations
IterNodes
done5000
13013
01422

prune13.3s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 4 expressions with local error:

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) (/ 1 (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))) x)
0.2b
(/ 1 (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
26.5b
(* (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (/ 1 (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
21×*-un-lft-identity
20×times-frac add-cube-cbrt
17×add-exp-log
13×associate-*r*
11×add-cbrt-cube
7×pow1
4×expm1-log1p-u div-exp prod-exp log1p-expm1-u add-log-exp
3×associate-/r* associate-*l* associate-/l* unswap-sqr
2×cbrt-undiv rec-exp 1-exp cbrt-unprod fma-udef div-inv
1×clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
4 → 91
Calls
4 calls:
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) (/ 1 (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))) x)
8.0ms
(/ 1 (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
24.0ms
(* (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (/ 1 (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))

series1.7s

Counts
4 → 12
Calls
4 calls:
38.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) (/ 1 (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))) x)
91.0ms
(/ 1 (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
442.0ms
(* (fma (fma z (fma (fma 3.13060547623 z 11.1667541262) z t) a) z b) (/ 1 (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))

simplify1.9s

Counts
103 → 103
Iterations
IterNodes
done5001
21735
1368
0172

prune1.3s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize102.0ms

Local error

Found 4 expressions with local error:

8.2b
(sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
8.2b
(sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
17.7b
(/ (/ (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))) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))
23.0b
(/ (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)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
276×times-frac
160×add-sqr-sqrt
158×*-un-lft-identity add-cube-cbrt
150×sqrt-prod
25×associate-/l*
12×associate-/r*
11×add-cbrt-cube add-exp-log
9×div-inv
6×pow1
4×expm1-log1p-u cbrt-undiv div-exp log1p-expm1-u add-log-exp
2×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2
1×associate-/l/
Counts
4 → 248
Calls
4 calls:
1.0ms
(sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
1.0ms
(sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
14.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))) (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)))

series1.3s

Counts
4 → 12
Calls
4 calls:
184.0ms
(sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
144.0ms
(sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771))
412.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))) (sqrt (fma z (fma z (fma z (+ z 15.234687407) 31.4690115749) 11.9400905721) 0.607771387771)))
582.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)))

simplify2.6s

Counts
260 → 260
Iterations
IterNodes
done5000
23439
1728
0314

prune2.8s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes1.3s

Accuracy

97% (0.8b remaining)

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

bsearch327.0ms

Steps
ItersRangePoint
9
1.6799158367203733e+36
2.166677280609876e+43
5.484371003442913e+38
7
-7.963569197785666e+71
-3.759409059654081e+70
-3.80730209029403e+70

simplify7.0ms

Iterations
IterNodes
done45
145
037

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.7s8906×body80valid