Details

Time bar (total: 17.6s)

sample44.0ms

Algorithm
intervals
Results
21.0ms343×body80valid

simplify1.9s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0911
12711
27611
316811
427211
540011
651011
775211
8178511
done500111

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.4b

localize8.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (* z z) (+ z 1.0))
11.1b
(/ (* x y) (* (* z z) (+ z 1.0)))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
28×add-exp-log add-cbrt-cube
12×prod-exp cbrt-unprod
7×pow1
6×cbrt-undiv div-exp
5×*-un-lft-identity
4×add-sqr-sqrt associate-*r/ associate-*r*
3×add-cube-cbrt pow-prod-down
2×flip3-+ associate-/r/ flip-+ add-log-exp
1×distribute-rgt-in frac-2neg distribute-lft-in times-frac associate-*l* clear-num associate-/r* *-commutative div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
2 → 51
Calls
2 calls:
31.0ms
(* (* z z) (+ z 1.0))
33.0ms
(/ (* x y) (* (* z z) (+ z 1.0)))

series132.0ms

Counts
2 → 6
Calls
2 calls:
55.0ms
(* (* z z) (+ z 1.0))
76.0ms
(/ (* x y) (* (* z z) (+ z 1.0)))

simplify2.6s

Counts
57 → 57
Iterations

Useful iterations: done (2.6s)

IterNodesCost
0112858
1389794
23604634
done5001626

prune102.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 7.5b

localize14.0ms

Local error

Found 2 expressions with local error:

0.5b
(/ (/ (* x y) (* z z)) (+ z 1.0))
11.3b
(/ (* x y) (* z z))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
32×add-exp-log add-cbrt-cube
26×times-frac
25×*-un-lft-identity
13×cbrt-undiv add-sqr-sqrt add-cube-cbrt div-exp
8×prod-exp cbrt-unprod
7×div-inv
6×distribute-lft-out associate-/l*
5×associate-/r*
2×pow1 frac-2neg clear-num associate-/r/ add-log-exp
1×flip3-+ flip-+ associate-/l/
Counts
2 → 73
Calls
2 calls:
31.0ms
(/ (/ (* x y) (* z z)) (+ z 1.0))
24.0ms
(/ (* x y) (* z z))

series128.0ms

Counts
2 → 6
Calls
2 calls:
94.0ms
(/ (/ (* x y) (* z z)) (+ z 1.0))
34.0ms
(/ (* x y) (* z z))

simplify2.1s

Counts
79 → 79
Iterations

Useful iterations: done (2.1s)

IterNodesCost
01401314
14371235
236691079
done50001071

prune152.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ (/ y z) (+ z 1.0))
3.4b
(* (/ x z) (/ (/ y z) (+ z 1.0)))

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
203×times-frac
154×*-un-lft-identity
121×add-sqr-sqrt
100×add-cube-cbrt
58×associate-*r*
28×add-exp-log add-cbrt-cube
27×distribute-lft-out
13×associate-*l* associate-/l*
12×cbrt-undiv div-exp div-inv
6×prod-exp cbrt-unprod unswap-sqr
4×pow1 associate-/r* associate-/r/
2×flip3-+ flip-+ add-log-exp
1×frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative associate-/l/
Counts
2 → 187
Calls
2 calls:
20.0ms
(/ (/ y z) (+ z 1.0))
61.0ms
(* (/ x z) (/ (/ y z) (+ z 1.0)))

series122.0ms

Counts
2 → 6
Calls
2 calls:
60.0ms
(/ (/ y z) (+ z 1.0))
61.0ms
(* (/ x z) (/ (/ y z) (+ z 1.0)))

simplify496.0ms

Counts
193 → 193
Iterations

Useful iterations: done (487.0ms)

IterNodesCost
02993046
19632846
done50002682

prune608.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 3 expressions with local error:

0.2b
(/ (/ 1 1) (/ (+ z 1.0) (/ y z)))
0.2b
(/ (+ z 1.0) (/ y z))
3.4b
(* (/ x z) (/ (/ 1 1) (/ (+ z 1.0) (/ y z))))

rewrite777.0ms

Algorithm
rewrite-expression-head
Rules
5099×times-frac
2753×*-un-lft-identity
2139×add-sqr-sqrt
1999×add-cube-cbrt
746×associate-*r*
365×distribute-lft-out
259×div-inv
256×add-exp-log
187×div-exp
94×add-cbrt-cube
70×associate-/r*
55×cbrt-undiv
45×1-exp
44×prod-exp
32×unswap-sqr
30×associate-/r/
18×rec-exp
17×associate-/l*
14×cbrt-unprod
13×associate-*l*
5×pow1
3×associate-/l/ add-log-exp
2×frac-2neg clear-num
1×frac-times flip3-+ associate-*r/ pow-prod-down associate-*l/ *-commutative flip-+
Counts
3 → 1797
Calls
3 calls:
69.0ms
(/ (/ 1 1) (/ (+ z 1.0) (/ y z)))
41.0ms
(/ (+ z 1.0) (/ y z))
407.0ms
(* (/ x z) (/ (/ 1 1) (/ (+ z 1.0) (/ y z))))

series195.0ms

Counts
3 → 9
Calls
3 calls:
49.0ms
(/ (/ 1 1) (/ (+ z 1.0) (/ y z)))
55.0ms
(/ (+ z 1.0) (/ y z))
92.0ms
(* (/ x z) (/ (/ 1 1) (/ (+ z 1.0) (/ y z))))

simplify2.3s

Counts
1806 → 1806
Iterations

Useful iterations: done (2.2s)

IterNodesCost
0189443716
done500035937

prune4.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

regimes206.0ms

Accuracy

-15% (3.0b remaining)

Error of 3.0b against oracle of 0.0b and baseline of 2.6b

bsearch107.0ms

Steps
ItersRangePoint
6
8.279266058261865e+86
8.985333161687988e+87
1.6572870124184713e+87
8
6.370292738682993e-93
2.2238042519166395e-90
2.145140342720879e-92

simplify9.0ms

Iterations

Useful iterations: 2 (6.0ms)

IterNodesCost
02852
13645
24043
34243
done4243

end0.0ms

sample1.2s

Algorithm
intervals
Results
632.0ms10814×body80valid