Details

Time bar (total: 15.0s)

sample52.0ms

Algorithm
intervals
Results
27.0ms433×body80valid

simplify2.1s

Counts
1 → 1
Iterations

Useful iterations: 7 (817.0ms)

IterNodesCost
01115
12215
25515
310115
418215
534615
689815
7396113
done500013

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 15.3b

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

rewrite161.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:
20.0ms
(+ y (/ (- (* x x) (* z z)) y))
83.0ms
(/ (+ y (/ (- (* x x) (* z z)) y)) 2.0)
16.0ms
(- (* x x) (* z z))
39.0ms
(/ (- (* x x) (* z z)) y)

series203.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(+ y (/ (- (* x x) (* z z)) y))
69.0ms
(/ (+ y (/ (- (* x x) (* z z)) y)) 2.0)
33.0ms
(- (* x x) (* z z))
55.0ms
(/ (- (* x x) (* z z)) y)

simplify1.2s

Counts
106 → 106
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01601778
14161700
217941572
done50001570

prune324.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize12.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)))

rewrite395.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:
17.0ms
(/ y (- x z))
82.0ms
(+ y (/ (+ x z) (/ y (- x z))))
247.0ms
(/ (+ y (/ (+ x z) (/ y (- x z)))) 2.0)
33.0ms
(/ (+ x z) (/ y (- x z)))

series233.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(/ y (- x z))
54.0ms
(+ y (/ (+ x z) (/ y (- x z))))
79.0ms
(/ (+ y (/ (+ x z) (/ y (- x z)))) 2.0)
63.0ms
(/ (+ x z) (/ y (- x z)))

simplify1.8s

Counts
220 → 220
Iterations

Useful iterations: done (1.8s)

IterNodesCost
02953881
17693665
242513483
done50013479

prune591.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite156.0ms

Algorithm
rewrite-expression-head
Rules
46×*-un-lft-identity
37×add-sqr-sqrt
34×times-frac
30×add-cube-cbrt
16×associate-*l*
13×add-exp-log add-cbrt-cube
7×distribute-lft-out associate-/l*
6×pow1 associate-/r* add-log-exp
5×associate-*r*
4×distribute-rgt-in sub-neg associate-+r+ distribute-lft-in associate-/l/
3×cbrt-undiv flip3-+ div-exp flip-+ div-inv
2×frac-times flip3-- frac-2neg associate-*r/ prod-exp clear-num flip-- cbrt-unprod unswap-sqr
1×+-commutative pow-prod-down associate-*l/ sum-log *-commutative distribute-lft-out-- difference-of-squares
Counts
4 → 122
Calls
4 calls:
13.0ms
(+ y (* (/ (+ x z) y) (- x z)))
30.0ms
(/ (+ x z) y)
39.0ms
(/ (+ y (* (/ (+ x z) y) (- x z))) 2.0)
68.0ms
(* (/ (+ x z) y) (- x z))

series245.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(+ y (* (/ (+ x z) y) (- x z)))
33.0ms
(/ (+ x z) y)
78.0ms
(/ (+ y (* (/ (+ x z) y) (- x z))) 2.0)
75.0ms
(* (/ (+ x z) y) (- x z))

simplify1.4s

Counts
134 → 134
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01951938
15111858
225631730
done50011706

prune331.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
30×add-exp-log add-sqr-sqrt
26×*-un-lft-identity
21×add-cube-cbrt
20×frac-times times-frac add-cbrt-cube
18×associate-*r*
14×associate-*l/
13×prod-exp
11×pow1
10×flip3-+ flip-+
7×flip3-- flip-- cbrt-unprod
6×associate-*r/ add-log-exp
5×div-exp associate-*l*
4×distribute-rgt-in sub-neg associate-+r+ distribute-lft-in pow-prod-down un-div-inv
3×cbrt-undiv associate-/r* associate-/l* unswap-sqr
2×rec-exp 1-exp *-commutative div-inv associate-/l/
1×+-commutative frac-2neg clear-num sum-log distribute-lft-out distribute-lft-out-- difference-of-squares
Counts
4 → 133
Calls
4 calls:
9.0ms
(+ y (* (* (+ x z) (/ 1 y)) (- x z)))
39.0ms
(/ (+ y (* (* (+ x z) (/ 1 y)) (- x z))) 2.0)
68.0ms
(* (* (+ x z) (/ 1 y)) (- x z))
28.0ms
(* (+ x z) (/ 1 y))

series190.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(+ y (* (* (+ x z) (/ 1 y)) (- x z)))
62.0ms
(/ (+ y (* (* (+ x z) (/ 1 y)) (- x z))) 2.0)
57.0ms
(* (* (+ x z) (/ 1 y)) (- x z))
23.0ms
(* (+ x z) (/ 1 y))

simplify3.0s

Counts
145 → 145
Iterations

Useful iterations: done (3.0s)

IterNodesCost
02382531
17102356
246611917
done50001915

prune368.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes231.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
11213
done1213

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.3s13813×body80valid