Details

Time bar (total: 15.1s)

sample53.0ms

Algorithm
intervals
Results
27.0ms441×body80valid

simplify1.9s

Counts
1 → 1
Iterations

Useful iterations: 7 (757.0ms)

IterNodesCost
01115
12215
25515
310115
418215
534615
689815
7396113
done500013

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.4b

localize11.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))
14.9b
(/ (- (* x x) (* z z)) y)

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
32×*-un-lft-identity
24×times-frac
22×add-sqr-sqrt add-cube-cbrt
8×add-exp-log add-cbrt-cube associate-/l* add-log-exp
6×associate-/r*
5×distribute-lft-out difference-of-squares
4×pow1 div-sub associate-/l/
2×cbrt-undiv associate-+r- flip3-- frac-2neg flip3-+ div-exp clear-num flip-- flip-+ div-inv
1×+-commutative sub-neg diff-log sum-log
Counts
4 → 94
Calls
4 calls:
24.0ms
(+ y (/ (- (* x x) (* z z)) y))
83.0ms
(/ (+ y (/ (- (* x x) (* z z)) y)) 2.0)
9.0ms
(- (* x x) (* z z))
28.0ms
(/ (- (* x x) (* z z)) y)

series214.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(+ y (/ (- (* x x) (* z z)) y))
62.0ms
(/ (+ y (/ (- (* x x) (* z z)) y)) 2.0)
36.0ms
(- (* x x) (* z z))
53.0ms
(/ (- (* x x) (* z z)) y)

simplify1.1s

Counts
106 → 106
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01601778
14161700
217941572
done50001570

prune291.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.3b

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
51×add-sqr-sqrt
48×*-un-lft-identity
40×times-frac
32×add-cube-cbrt
19×associate-*r*
13×add-exp-log add-cbrt-cube
8×associate-/l*
7×distribute-lft-out-- difference-of-squares
6×pow1 associate-/r* add-log-exp
4×flip3-+ associate-*l* flip-+ associate-/l/
3×cbrt-undiv div-exp div-inv
2×frac-times frac-2neg associate-*l/ prod-exp clear-num cbrt-unprod unswap-sqr
1×+-commutative flip3-- div-sub associate-*r/ pow-prod-down sum-log *-commutative flip-- distribute-lft-out
Counts
4 → 121
Calls
4 calls:
12.0ms
(+ y (* (+ x z) (/ (- x z) y)))
28.0ms
(/ (- x z) y)
63.0ms
(* (+ x z) (/ (- x z) y))
41.0ms
(/ (+ y (* (+ x z) (/ (- x z) y))) 2.0)

series246.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(+ y (* (+ x z) (/ (- x z) y)))
31.0ms
(/ (- x z) y)
63.0ms
(* (+ x z) (/ (- x z) y))
86.0ms
(/ (+ y (* (+ x z) (/ (- x z) y))) 2.0)

simplify1.9s

Counts
133 → 133
Iterations

Useful iterations: done (1.9s)

IterNodesCost
01971948
15141848
229791716
done50001690

prune409.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.3b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite362.0ms

Algorithm
rewrite-expression-head
Rules
186×times-frac
182×*-un-lft-identity
128×add-sqr-sqrt
90×add-cube-cbrt
29×associate-/r*
27×distribute-lft-out
19×distribute-lft-out-- difference-of-squares
13×add-exp-log associate-/r/ add-cbrt-cube
11×associate-/l*
8×div-inv
6×flip3-- flip-- add-log-exp
5×cbrt-undiv div-exp
4×pow1 associate-/l/
3×frac-2neg flip3-+ clear-num flip-+
1×+-commutative sum-log
Counts
4 → 208
Calls
4 calls:
13.0ms
(/ y (- x z))
55.0ms
(+ y (/ (+ x z) (/ y (- x z))))
226.0ms
(/ (+ y (/ (+ x z) (/ y (- x z)))) 2.0)
58.0ms
(/ (+ x z) (/ y (- x z)))

series198.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(/ y (- x z))
46.0ms
(+ y (/ (+ x z) (/ y (- x z))))
59.0ms
(/ (+ y (/ (+ x z) (/ y (- x z)))) 2.0)
58.0ms
(/ (+ x z) (/ y (- x z)))

simplify1.7s

Counts
220 → 220
Iterations

Useful iterations: done (1.7s)

IterNodesCost
02953881
17693665
242513483
done50013479

prune622.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.3b

localize23.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (/ y (- x z))) (cbrt (/ y (- x z))))
4.9b
(cbrt (/ y (- x z)))
4.9b
(cbrt (/ y (- x z)))
4.9b
(cbrt (/ y (- x z)))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
171×cbrt-prod
141×add-sqr-sqrt
135×*-un-lft-identity
123×times-frac
75×add-cube-cbrt
30×swap-sqr
27×distribute-lft-out--
24×associate-*r* associate-*l*
21×difference-of-squares
14×associate-/r/
11×pow1
9×pow1/3 unswap-sqr
7×cbrt-div flip3-- flip-- div-inv
6×add-exp-log
4×add-cbrt-cube add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-times pow-plus associate-*r/ associate-*l/ prod-exp *-commutative cbrt-unprod
Counts
4 → 198
Calls
4 calls:
79.0ms
(* (cbrt (/ y (- x z))) (cbrt (/ y (- x z))))
6.0ms
(cbrt (/ y (- x z)))
6.0ms
(cbrt (/ y (- x z)))
6.0ms
(cbrt (/ y (- x z)))

series978.0ms

Counts
4 → 12
Calls
4 calls:
271.0ms
(* (cbrt (/ y (- x z))) (cbrt (/ y (- x z))))
240.0ms
(cbrt (/ y (- x z)))
248.0ms
(cbrt (/ y (- x z)))
219.0ms
(cbrt (/ y (- x z)))

simplify1.4s

Counts
210 → 210
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02243566
14003331
215343235
done50003153

prune987.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.2b

regimes146.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
01013
11313
done1313

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.5s13585×body80valid