Details

Time bar (total: 14.0s)

sample54.0ms

Algorithm
intervals
Results
30.0ms269×body80valid

simplify30.0ms

Counts
1 → 1
Iterations
IterNodes
done65
565
461
351
238
126
015

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.4b

localize29.0ms

Local error

Found 3 expressions with local error:

2.0b
(fma y (/ b t) (+ a 1.0))
2.2b
(fma (/ z t) y x)
14.0b
(/ (fma (/ z t) y x) (fma y (/ b t) (+ a 1.0)))

rewrite6.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:
0.0ms
(fma y (/ b t) (+ a 1.0))
0.0ms
(fma (/ z t) y x)
4.0ms
(/ (fma (/ z t) y x) (fma y (/ b t) (+ a 1.0)))

series375.0ms

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

simplify1.3s

Counts
58 → 58
Iterations
IterNodes
done5001
31228
2307
1125
077

prune409.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 13.8b

localize35.0ms

Local error

Found 3 expressions with local error:

4.4b
(/ (* y z) t)
5.2b
(/ (* y b) t)
14.0b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
55×*-un-lft-identity
26×times-frac
21×distribute-lft-out
18×add-sqr-sqrt add-cube-cbrt
15×add-cbrt-cube add-exp-log
11×associate-/r*
6×associate-/l*
5×cbrt-undiv div-exp
4×associate-/r/
3×expm1-log1p-u pow1 clear-num frac-2neg flip3-+ flip-+ log1p-expm1-u div-inv add-log-exp
2×frac-add prod-exp cbrt-unprod associate-/l/
Counts
3 → 95
Calls
3 calls:
7.0ms
(/ (* y z) t)
9.0ms
(/ (* y b) t)
97.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series284.0ms

Counts
3 → 9
Calls
3 calls:
39.0ms
(/ (* y z) t)
44.0ms
(/ (* y b) t)
202.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify1.3s

Counts
104 → 104
Iterations
IterNodes
done5000
22246
1470
0177

prune775.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 13.2b

localize25.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ 1 (/ (fma (/ y t) b (+ a 1.0)) (fma (/ y t) z x)))
1.9b
(fma (/ y t) b (+ a 1.0))
2.2b
(fma (/ y t) z x)
13.8b
(/ (fma (/ y t) b (+ a 1.0)) (fma (/ y t) z x))

rewrite24.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:
13.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)
4.0ms
(/ (fma (/ y t) b (+ a 1.0)) (fma (/ y t) z x))

series1.0s

Counts
4 → 12
Calls
4 calls:
587.0ms
(/ 1 (/ (fma (/ y t) b (+ a 1.0)) (fma (/ y t) z x)))
50.0ms
(fma (/ y t) b (+ a 1.0))
65.0ms
(fma (/ y t) z x)
346.0ms
(/ (fma (/ y t) b (+ a 1.0)) (fma (/ y t) z x))

simplify1.4s

Counts
139 → 139
Iterations
IterNodes
done5000
21736
1388
0174

prune1.1s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 13.2b

localize59.0ms

Local error

Found 4 expressions with local error:

11.0b
(cbrt (fma (/ y t) b (+ a 1.0)))
11.0b
(cbrt (fma (/ y t) b (+ a 1.0)))
11.0b
(cbrt (fma (/ y t) b (+ a 1.0)))
13.8b
(/ (* (* (cbrt (fma (/ y t) b (+ a 1.0))) (cbrt (fma (/ y t) b (+ a 1.0)))) (cbrt (fma (/ y t) b (+ a 1.0)))) (fma (/ y t) z x))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
13×add-exp-log
9×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-cube-cbrt
4×expm1-log1p-u pow1 log1p-expm1-u add-log-exp
3×cbrt-undiv associate-/r* times-frac pow1/3 div-exp prod-exp cbrt-unprod
1×clear-num frac-2neg div-inv associate-/l*
Counts
4 → 64
Calls
4 calls:
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)))
23.0ms
(/ (* (* (cbrt (fma (/ y t) b (+ a 1.0))) (cbrt (fma (/ y t) b (+ a 1.0)))) (cbrt (fma (/ y t) b (+ a 1.0)))) (fma (/ y t) z x))

series1.1s

Counts
4 → 12
Calls
4 calls:
266.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
277.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
318.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
285.0ms
(/ (* (* (cbrt (fma (/ y t) b (+ a 1.0))) (cbrt (fma (/ y t) b (+ a 1.0)))) (cbrt (fma (/ y t) b (+ a 1.0)))) (fma (/ y t) z x))

simplify1.5s

Counts
76 → 76
Iterations
IterNodes
done5001
21082
1241
0104

prune805.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 13.2b

regimes945.0ms

Accuracy

-29.2% (4.9b remaining)

Error of 15.5b against oracle of 10.6b and baseline of 14.4b

bsearch22.0ms

Steps
ItersRangePoint
3
-1.142954696774651e-76
-8.950291804104186e-77
-1.0654779729108285e-76

simplify4.0ms

Iterations
IterNodes
done31
131
024

end0.0ms

sample1.3s

Algorithm
intervals
Results
837.0ms8253×body80valid