Details

Time bar (total: 19.9s)

sample49.0ms

Algorithm
intervals
Results
26.0ms416×body80valid

simplify3.3s

Counts
1 → 1
Iterations

Useful iterations: 7 (1.9s)

IterNodesCost
011284
123259
259259
3110259
4203259
5377259
61002259
74383244
done5000244

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.1b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ y (/ (- (* x x) (* z z)) y))
0.2b
(/ (+ y (/ (- (* x x) (* z z)) y)) 2.0)
0.9b
(- (* x x) (* z z))
10.5b
(/ (- (* x x) (* z z)) y)

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
33×*-un-lft-identity
24×times-frac
23×add-sqr-sqrt add-cube-cbrt
8×add-cbrt-cube add-exp-log associate-/l* add-log-exp
6×associate-/r*
5×distribute-lft-out difference-of-squares
4×expm1-log1p-u pow1 div-sub log1p-expm1-u associate-/l/
3×fma-def
2×cbrt-undiv clear-num associate-+r- frac-2neg flip3-+ flip3-- div-exp flip-+ div-inv flip--
1×+-commutative sum-log sub-neg fma-neg diff-log prod-diff
Counts
4 → 107
Calls
4 calls:
21.0ms
(+ y (/ (- (* x x) (* z z)) y))
75.0ms
(/ (+ y (/ (- (* x x) (* z z)) y)) 2.0)
7.0ms
(- (* x x) (* z z))
30.0ms
(/ (- (* x x) (* z z)) y)

series290.0ms

Counts
4 → 12
Calls
4 calls:
67.0ms
(+ y (/ (- (* x x) (* z z)) y))
89.0ms
(/ (+ y (/ (- (* x x) (* z z)) y)) 2.0)
53.0ms
(- (* x x) (* z z))
81.0ms
(/ (- (* x x) (* z z)) y)

simplify1.9s

Counts
119 → 119
Iterations

Useful iterations: done (1.9s)

IterNodesCost
017139203
143533362
2185332817
done500132687

prune653.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.3b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ y (/ (+ x z) (/ y (- x z))))
0.0b
(/ y (- x z))
0.2b
(/ (+ y (/ (+ x z) (/ y (- x z)))) 2.0)
0.3b
(/ (+ x z) (/ y (- x z)))

rewrite370.0ms

Algorithm
rewrite-expression-head
Rules
186×times-frac
183×*-un-lft-identity
129×add-sqr-sqrt
91×add-cube-cbrt
29×associate-/r*
27×distribute-lft-out
19×distribute-lft-out-- difference-of-squares
13×add-cbrt-cube add-exp-log associate-/r/
11×associate-/l*
8×div-inv
6×flip3-- flip-- add-log-exp
5×cbrt-undiv div-exp
4×expm1-log1p-u pow1 log1p-expm1-u associate-/l/
3×clear-num fma-def frac-2neg flip3-+ flip-+
1×+-commutative sum-log
Counts
4 → 219
Calls
4 calls:
66.0ms
(+ y (/ (+ x z) (/ y (- x z))))
17.0ms
(/ y (- x z))
227.0ms
(/ (+ y (/ (+ x z) (/ y (- x z)))) 2.0)
43.0ms
(/ (+ x z) (/ y (- x z)))

series270.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(+ y (/ (+ x z) (/ y (- x z))))
46.0ms
(/ y (- x z))
76.0ms
(/ (+ y (/ (+ x z) (/ y (- x z)))) 2.0)
72.0ms
(/ (+ x z) (/ y (- x z)))

simplify2.2s

Counts
231 → 231
Iterations

Useful iterations: 2 (991.0ms)

IterNodesCost
030386869
178977540
2435074505
done500074505

prune1.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.3b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (+ z x) y)
0.1b
(fma (/ (+ z x) y) (- x z) y)
0.2b
(/ (fma (/ (+ z x) y) (- x z) y) 2.0)

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
21×times-frac
20×add-sqr-sqrt add-cube-cbrt
7×add-cbrt-cube add-exp-log associate-/l*
6×associate-/r*
4×distribute-lft-out
3×expm1-log1p-u pow1 log1p-expm1-u add-log-exp
2×cbrt-undiv clear-num frac-2neg div-exp div-inv associate-/l/
1×flip3-+ flip-+ fma-udef
Counts
3 → 74
Calls
3 calls:
24.0ms
(/ (+ z x) y)
0.0ms
(fma (/ (+ z x) y) (- x z) y)
4.0ms
(/ (fma (/ (+ z x) y) (- x z) y) 2.0)

series233.0ms

Counts
3 → 9
Calls
3 calls:
30.0ms
(/ (+ z x) y)
86.0ms
(fma (/ (+ z x) y) (- x z) y)
117.0ms
(/ (fma (/ (+ z x) y) (- x z) y) 2.0)

simplify914.0ms

Counts
83 → 83
Iterations

Useful iterations: 2 (227.0ms)

IterNodesCost
013124246
126321429
293221149
done500121149

prune438.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.3b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ y (- x z))
0.2b
(/ (+ y (/ 1 (/ (/ y (- x z)) (+ x z)))) 2.0)
0.2b
(/ (/ y (- x z)) (+ x z))
0.4b
(/ 1 (/ (/ y (- x z)) (+ x z)))

rewrite530.0ms

Algorithm
rewrite-expression-head
Rules
1035×times-frac
772×*-un-lft-identity
548×add-sqr-sqrt
414×add-cube-cbrt
114×distribute-lft-out
102×associate-/r*
67×distribute-lft-out-- difference-of-squares
55×associate-/r/
34×add-exp-log
33×div-inv
32×associate-/l*
22×flip3-- add-cbrt-cube flip--
20×div-exp
11×cbrt-undiv
6×flip3-+ flip-+
5×pow1
4×expm1-log1p-u clear-num frac-2neg log1p-expm1-u add-log-exp
3×rec-exp 1-exp associate-/l/
1×pow-flip inv-pow
Counts
4 → 596
Calls
4 calls:
10.0ms
(/ y (- x z))
401.0ms
(/ (+ y (/ 1 (/ (/ y (- x z)) (+ x z)))) 2.0)
29.0ms
(/ (/ y (- x z)) (+ x z))
42.0ms
(/ 1 (/ (/ y (- x z)) (+ x z)))

series320.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(/ y (- x z))
89.0ms
(/ (+ y (/ 1 (/ (/ y (- x z)) (+ x z)))) 2.0)
72.0ms
(/ (/ y (- x z)) (+ x z))
114.0ms
(/ 1 (/ (/ y (- x z)) (+ x z)))

simplify2.4s

Counts
608 → 608
Iterations

Useful iterations: done (2.3s)

IterNodesCost
0664306489
11864249363
done5001241647

prune2.3s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.3b

regimes161.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
010244
112244
done12244

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.6s13676×body80valid