Details

Time bar (total: 20.6s)

sample35.0ms

Algorithm
intervals
Results
16.0ms262×body80valid

simplify63.0ms

Counts
1 → 1
Iterations
IterNodes
done53
553
451
345
235
126
015

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.3b

localize26.0ms

Local error

Found 3 expressions with local error:

1.5b
(fma (/ y t) b (+ a 1.0))
2.4b
(fma (/ y t) z x)
10.1b
(/ (fma (/ y t) z x) (fma (/ y t) b (+ a 1.0)))

rewrite12.0ms

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

series749.0ms

Counts
3 → 9
Calls
3 calls:
46.0ms
(fma (/ y t) b (+ a 1.0))
49.0ms
(fma (/ y t) z x)
654.0ms
(/ (fma (/ y t) z x) (fma (/ y t) b (+ a 1.0)))

simplify2.9s

Counts
58 → 58
Iterations
IterNodes
done5000
44233
31002
2325
1128
077

prune574.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 9.8b

localize39.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 1 (/ (fma (/ y t) b (+ a 1.0)) (fma (/ y t) z x)))
1.5b
(fma (/ y t) b (+ a 1.0))
2.4b
(fma (/ y t) z x)
10.0b
(/ (fma (/ y t) b (+ a 1.0)) (fma (/ y t) z x))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
54×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
17×add-exp-log
16×associate-/r*
11×add-cbrt-cube
8×div-exp
6×div-inv associate-/l*
5×pow1
4×expm1-log1p-u cbrt-undiv log1p-expm1-u add-log-exp
2×rec-exp clear-num frac-2neg 1-exp fma-udef
1×associate-/r/ pow-flip inv-pow
Counts
4 → 127
Calls
4 calls:
8.0ms
(/ 1 (/ (fma (/ y t) b (+ a 1.0)) (fma (/ y t) z x)))
0.0ms
(fma (/ y t) b (+ a 1.0))
0.0ms
(fma (/ y t) z x)
6.0ms
(/ (fma (/ y t) b (+ a 1.0)) (fma (/ y t) z x))

series1.1s

Counts
4 → 12
Calls
4 calls:
633.0ms
(/ 1 (/ (fma (/ y t) b (+ a 1.0)) (fma (/ y t) z x)))
52.0ms
(fma (/ y t) b (+ a 1.0))
84.0ms
(fma (/ y t) z x)
371.0ms
(/ (fma (/ y t) b (+ a 1.0)) (fma (/ y t) z x))

simplify2.5s

Counts
139 → 139
Iterations
IterNodes
done5013
32717
2812
1382
0174

prune1.2s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 9.8b

localize37.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 1 (* (fma (/ y t) b (+ a 1.0)) (/ 1 (fma (/ y t) z x))))
1.5b
(fma (/ y t) b (+ a 1.0))
2.4b
(fma (/ y t) z x)
9.9b
(* (fma (/ y t) b (+ a 1.0)) (/ 1 (fma (/ y t) z x)))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
48×add-exp-log
21×add-sqr-sqrt
18×add-cbrt-cube div-exp
16×prod-exp
15×*-un-lft-identity
14×times-frac add-cube-cbrt
13×associate-*r*
9×pow1 rec-exp 1-exp
5×cbrt-undiv
4×expm1-log1p-u cbrt-unprod log1p-expm1-u add-log-exp
3×associate-*l* associate-/l* unswap-sqr
2×pow-prod-down associate-*r/ associate-/r/ un-div-inv fma-udef div-inv pow-flip
1×clear-num associate-/r* frac-2neg *-commutative inv-pow
Counts
4 → 100
Calls
4 calls:
30.0ms
(/ 1 (* (fma (/ y t) b (+ a 1.0)) (/ 1 (fma (/ y t) z x))))
0.0ms
(fma (/ y t) b (+ a 1.0))
1.0ms
(fma (/ y t) z x)
34.0ms
(* (fma (/ y t) b (+ a 1.0)) (/ 1 (fma (/ y t) z x)))

series1.1s

Counts
4 → 12
Calls
4 calls:
609.0ms
(/ 1 (* (fma (/ y t) b (+ a 1.0)) (/ 1 (fma (/ y t) z x))))
42.0ms
(fma (/ y t) b (+ a 1.0))
59.0ms
(fma (/ y t) z x)
377.0ms
(* (fma (/ y t) b (+ a 1.0)) (/ 1 (fma (/ y t) z x)))

simplify2.6s

Counts
112 → 112
Iterations
IterNodes
done5001
33545
2934
1317
0139

prune804.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 9.8b

localize75.0ms

Local error

Found 4 expressions with local error:

8.2b
(cbrt (fma (/ y t) z x))
9.4b
(cbrt (fma (/ y t) b (+ a 1.0)))
9.4b
(cbrt (fma (/ y t) b (+ a 1.0)))
9.4b
(cbrt (fma (/ y t) b (+ a 1.0)))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube pow1/3 add-exp-log log1p-expm1-u add-log-exp
Counts
4 → 52
Calls
4 calls:
1.0ms
(cbrt (fma (/ y t) z x))
1.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
1.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
1.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))

series1.3s

Counts
4 → 12
Calls
4 calls:
208.0ms
(cbrt (fma (/ y t) z x))
345.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
419.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
332.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))

simplify1.5s

Counts
64 → 64
Iterations
IterNodes
done5001
31339
2386
1156
081

prune797.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 9.8b

regimes1.4s

Accuracy

61.1% (1.3b remaining)

Error of 12.9b against oracle of 11.6b and baseline of 14.9b

bsearch186.0ms

Steps
ItersRangePoint
9
12146952.384825662
1779227265816.5227
2014489387.4292707
9
-1.420566845900726e-44
-3.242664760362885e-50
-1.858089223190981e-48

simplify9.0ms

Iterations
IterNodes
done42
142
034

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.1s8279×body80valid