Details

Time bar (total: 12.3s)

sample29.0ms

Algorithm
intervals
Results
12.0ms256×body80valid

simplify814.0ms

Counts
1 → 1
Iterations
IterNodes
done5001
51678
4360
3148
262
126
013

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma (/ y (fma (/ y z) (- t) (* z 2.0))) (- 2.0) x)
2.0b
(fma (/ y z) (- t) (* z 2.0))
3.1b
(/ y (fma (/ y z) (- t) (* z 2.0)))

rewrite10.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 (fma (/ y z) (- t) (* z 2.0))) (- 2.0) x)
0.0ms
(fma (/ y z) (- t) (* z 2.0))
7.0ms
(/ y (fma (/ y z) (- t) (* z 2.0)))

series693.0ms

Counts
3 → 9
Calls
3 calls:
380.0ms
(fma (/ y (fma (/ y z) (- t) (* z 2.0))) (- 2.0) x)
61.0ms
(fma (/ y z) (- t) (* z 2.0))
251.0ms
(/ y (fma (/ y z) (- t) (* z 2.0)))

simplify1.1s

Counts
58 → 58
Iterations
IterNodes
done5001
31236
2348
1134
079

prune405.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.9b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma (/ y (fma (/ t z) (- y) (* 2.0 z))) (- 2.0) x)
2.9b
(fma (/ t z) (- y) (* 2.0 z))
3.1b
(/ y (fma (/ t z) (- y) (* 2.0 z)))

rewrite5.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 (fma (/ t z) (- y) (* 2.0 z))) (- 2.0) x)
0.0ms
(fma (/ t z) (- y) (* 2.0 z))
4.0ms
(/ y (fma (/ t z) (- y) (* 2.0 z)))

series356.0ms

Counts
3 → 9
Calls
3 calls:
143.0ms
(fma (/ y (fma (/ t z) (- y) (* 2.0 z))) (- 2.0) x)
80.0ms
(fma (/ t z) (- y) (* 2.0 z))
133.0ms
(/ y (fma (/ t z) (- y) (* 2.0 z)))

simplify1.1s

Counts
58 → 58
Iterations
IterNodes
done5000
31256
2345
1133
077

prune345.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.9b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma (/ y (+ (/ (- y) (/ z t)) (* 2.0 z))) (- 2.0) x)
3.1b
(/ y (+ (/ (- y) (/ z t)) (* 2.0 z)))
4.6b
(/ (- y) (/ z t))

rewrite161.0ms

Algorithm
rewrite-expression-head
Rules
238×times-frac
130×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
42×distribute-lft-neg-in distribute-rgt-neg-in
16×associate-/r*
14×neg-mul-1
13×div-inv associate-/l*
10×add-cbrt-cube add-exp-log
4×cbrt-undiv div-exp
3×expm1-log1p-u pow1 associate-/r/ log1p-expm1-u add-log-exp
2×clear-num frac-2neg
1×neg-sub0 flip3-+ div-sub distribute-frac-neg flip-+ fma-udef
Counts
3 → 213
Calls
3 calls:
0.0ms
(fma (/ y (+ (/ (- y) (/ z t)) (* 2.0 z))) (- 2.0) x)
130.0ms
(/ y (+ (/ (- y) (/ z t)) (* 2.0 z)))
22.0ms
(/ (- y) (/ z t))

series691.0ms

Counts
3 → 9
Calls
3 calls:
427.0ms
(fma (/ y (+ (/ (- y) (/ z t)) (* 2.0 z))) (- 2.0) x)
229.0ms
(/ y (+ (/ (- y) (/ z t)) (* 2.0 z)))
35.0ms
(/ (- y) (/ z t))

simplify460.0ms

Counts
222 → 222
Iterations
IterNodes
done5000
11076
0368

prune1.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.9b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (* y (/ 1 (fma z 2.0 (/ (- y) (/ z t))))) (- 2.0) x)
0.3b
(/ 1 (fma z 2.0 (/ (- y) (/ z t))))
3.1b
(* y (/ 1 (fma z 2.0 (/ (- y) (/ z t)))))
4.6b
(/ (- y) (/ z t))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
249×times-frac
146×add-sqr-sqrt
140×*-un-lft-identity
139×add-cube-cbrt
42×distribute-lft-neg-in distribute-rgt-neg-in
22×add-exp-log
16×associate-/r* add-cbrt-cube
14×neg-mul-1 div-inv
13×associate-*r* associate-/l*
7×pow1 div-exp
5×cbrt-undiv
4×expm1-log1p-u prod-exp log1p-expm1-u add-log-exp
3×associate-*l* unswap-sqr
2×rec-exp clear-num frac-2neg 1-exp cbrt-unprod
1×neg-sub0 div-sub pow-prod-down associate-*r/ distribute-frac-neg associate-/r/ un-div-inv *-commutative fma-udef pow-flip inv-pow
Counts
4 → 253
Calls
4 calls:
1.0ms
(fma (* y (/ 1 (fma z 2.0 (/ (- y) (/ z t))))) (- 2.0) x)
8.0ms
(/ 1 (fma z 2.0 (/ (- y) (/ z t))))
17.0ms
(* y (/ 1 (fma z 2.0 (/ (- y) (/ z t)))))
11.0ms
(/ (- y) (/ z t))

series789.0ms

Counts
4 → 12
Calls
4 calls:
429.0ms
(fma (* y (/ 1 (fma z 2.0 (/ (- y) (/ z t))))) (- 2.0) x)
55.0ms
(/ 1 (fma z 2.0 (/ (- y) (/ z t))))
252.0ms
(* y (/ 1 (fma z 2.0 (/ (- y) (/ z t)))))
52.0ms
(/ (- y) (/ z t))

simplify624.0ms

Counts
265 → 265
Iterations
IterNodes
done5000
11141
0398

prune1.7s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.9b

regimes321.0ms

Accuracy

0% (0.0b remaining)

Error of 1.0b against oracle of 1.0b and baseline of 1.0b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done17
117
013

end0.0ms

sample1.2s

Algorithm
intervals
Results
704.0ms8000×body80valid