Details

Time bar (total: 14.1s)

sample24.0ms

Algorithm
intervals
Results
10.0ms268×body80valid

simplify3.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01317
12517
23917
36417
411417
520117
640317
794617
8251517
done500117

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.9b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* y z) x)
0.0b
(- (* t z) x)
1.0b
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
8.4b
(/ (- (* y z) x) (- (* t z) x))

rewrite172.0ms

Algorithm
rewrite-expression-head
Rules
44×*-un-lft-identity
25×times-frac
24×add-sqr-sqrt add-cube-cbrt
10×distribute-lft-out
8×add-exp-log add-cbrt-cube add-log-exp
7×associate-/r* associate-/l*
6×prod-diff
4×pow1 expm1-log1p-u flip3-- associate-/r/ flip-- log1p-expm1-u associate-/l/
3×div-sub
2×cbrt-undiv sub-neg frac-2neg flip3-+ fma-neg diff-log div-exp clear-num flip-+ div-inv
1×associate-+r-
Counts
4 → 113
Calls
4 calls:
9.0ms
(- (* y z) x)
9.0ms
(- (* t z) x)
122.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
29.0ms
(/ (- (* y z) x) (- (* t z) x))

series249.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(- (* y z) x)
27.0ms
(- (* t z) x)
134.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
62.0ms
(/ (- (* y z) x) (- (* t z) x))

simplify2.2s

Counts
125 → 125
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
01872188
14622069
213471919
345881906
done50001906

prune331.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.0b

localize16.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ (fma (/ y (fma z t (- x))) z x) (+ x 1.0))
2.4b
(fma (/ y (fma z t (- x))) z x)
2.7b
(/ y (fma z t (- x)))
2.9b
(/ x (- (* t z) x))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
30×times-frac
29×add-sqr-sqrt add-cube-cbrt
10×add-exp-log associate-/r* add-cbrt-cube
9×associate-/l*
4×pow1 expm1-log1p-u associate-/r/ log1p-expm1-u distribute-lft-out add-log-exp
3×cbrt-undiv frac-2neg div-exp clear-num div-inv
1×flip3-- flip3-+ flip-- flip-+ fma-udef
Counts
4 → 105
Calls
4 calls:
11.0ms
(/ (fma (/ y (fma z t (- x))) z x) (+ x 1.0))
0.0ms
(fma (/ y (fma z t (- x))) z x)
5.0ms
(/ y (fma z t (- x)))
13.0ms
(/ x (- (* t z) x))

series318.0ms

Counts
4 → 12
Calls
4 calls:
137.0ms
(/ (fma (/ y (fma z t (- x))) z x) (+ x 1.0))
73.0ms
(fma (/ y (fma z t (- x))) z x)
42.0ms
(/ y (fma z t (- x)))
65.0ms
(/ x (- (* t z) x))

simplify1.5s

Counts
117 → 117
Iterations

Useful iterations: done (1.5s)

IterNodesCost
01931769
13921730
29591590
321191590
done50001584

prune420.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.6b

localize21.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ (+ x 1.0) (fma (/ y (fma z t (- x))) z x))
2.4b
(fma (/ y (fma z t (- x))) z x)
2.7b
(/ y (fma z t (- x)))
2.9b
(/ x (- (* t z) x))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
30×times-frac
29×add-sqr-sqrt add-cube-cbrt
10×add-exp-log add-cbrt-cube associate-/l*
9×associate-/r*
4×pow1 expm1-log1p-u log1p-expm1-u distribute-lft-out add-log-exp
3×cbrt-undiv frac-2neg div-exp clear-num div-inv
2×associate-/r/ associate-/l/
1×flip3-- flip3-+ flip-- flip-+ fma-udef
Counts
4 → 105
Calls
4 calls:
18.0ms
(/ (+ x 1.0) (fma (/ y (fma z t (- x))) z x))
0.0ms
(fma (/ y (fma z t (- x))) z x)
5.0ms
(/ y (fma z t (- x)))
13.0ms
(/ x (- (* t z) x))

series275.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(/ (+ x 1.0) (fma (/ y (fma z t (- x))) z x))
81.0ms
(fma (/ y (fma z t (- x))) z x)
41.0ms
(/ y (fma z t (- x)))
69.0ms
(/ x (- (* t z) x))

simplify1.4s

Counts
117 → 117
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01811740
13641706
29171573
321881573
done50001567

prune417.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.6b

localize25.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ (+ x 1.0) (fma (/ y (fma z t (- x))) z x))
2.4b
(fma (/ y (fma z t (- x))) z x)
2.7b
(/ y (fma z t (- x)))
2.9b
(/ x (- (* t z) x))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
30×times-frac
29×add-sqr-sqrt add-cube-cbrt
10×add-exp-log add-cbrt-cube associate-/l*
9×associate-/r*
4×pow1 expm1-log1p-u log1p-expm1-u distribute-lft-out add-log-exp
3×cbrt-undiv frac-2neg div-exp clear-num div-inv
2×associate-/r/ associate-/l/
1×flip3-- flip3-+ flip-- flip-+ fma-udef
Counts
4 → 105
Calls
4 calls:
17.0ms
(/ (+ x 1.0) (fma (/ y (fma z t (- x))) z x))
0.0ms
(fma (/ y (fma z t (- x))) z x)
5.0ms
(/ y (fma z t (- x)))
13.0ms
(/ x (- (* t z) x))

series266.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(/ (+ x 1.0) (fma (/ y (fma z t (- x))) z x))
78.0ms
(fma (/ y (fma z t (- x))) z x)
39.0ms
(/ y (fma z t (- x)))
65.0ms
(/ x (- (* t z) x))

simplify1.4s

Counts
117 → 117
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01811740
13641706
29171573
321881573
done50001567

prune712.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.6b

regimes221.0ms

Accuracy

60.1% (1.8b remaining)

Error of 2.0b against oracle of 0.2b and baseline of 4.7b

bsearch2.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03496
14196
done4196

end0.0ms

sample619.0ms

Algorithm
intervals
Results
323.0ms8368×body80valid