Details

Time bar (total: 16.3s)

sample44.0ms

Algorithm
intervals
Results
21.0ms273×body80valid

simplify114.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0911
12111
23711
35911
48811
511111
done11111

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.5b

localize21.0ms

Local error

Found 2 expressions with local error:

2.7b
(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))
5.3b
(* y (+ 1.0 (* z z)))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
31×times-frac
20×add-sqr-sqrt
18×add-cube-cbrt *-un-lft-identity
16×add-exp-log add-cbrt-cube
13×associate-/l*
6×cbrt-undiv div-exp
4×pow1 associate-*r/
3×associate-*r* associate-*l* prod-exp cbrt-unprod div-inv
2×flip3-+ associate-/r/ flip-+ add-log-exp
1×distribute-rgt-in frac-2neg distribute-lft-in pow-prod-down clear-num associate-/r* *-commutative associate-/l/ unswap-sqr
Counts
2 → 70
Calls
2 calls:
35.0ms
(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))
28.0ms
(* y (+ 1.0 (* z z)))

series197.0ms

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

simplify1.4s

Counts
76 → 76
Iterations

Useful iterations: 2 (489.0ms)

IterNodesCost
01561062
14391035
22200897
done5002897

prune512.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 4.5b

localize38.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (/ 1.0 x))
0.5b
(cbrt (/ 1.0 x))
1.9b
(/ (cbrt (/ 1.0 x)) (+ 1.0 (* z z)))
4.3b
(* (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) y) (/ (cbrt (/ 1.0 x)) (+ 1.0 (* z z))))

rewrite203.0ms

Algorithm
rewrite-expression-head
Rules
192×times-frac
134×add-sqr-sqrt
121×cbrt-prod
110×add-cube-cbrt *-un-lft-identity
54×associate-*r*
27×add-exp-log
19×add-cbrt-cube
16×associate-/l*
12×div-inv
8×cbrt-undiv div-exp prod-exp cbrt-unprod unswap-sqr
7×associate-*l*
6×pow1
4×associate-/r/ add-log-exp
3×cbrt-div associate-/r*
2×flip3-+ pow1/3 flip-+
1×frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative associate-/l/
Counts
4 → 219
Calls
4 calls:
4.0ms
(cbrt (/ 1.0 x))
4.0ms
(cbrt (/ 1.0 x))
28.0ms
(/ (cbrt (/ 1.0 x)) (+ 1.0 (* z z)))
146.0ms
(* (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) y) (/ (cbrt (/ 1.0 x)) (+ 1.0 (* z z))))

series1.3s

Counts
4 → 12
Calls
4 calls:
371.0ms
(cbrt (/ 1.0 x))
373.0ms
(cbrt (/ 1.0 x))
345.0ms
(/ (cbrt (/ 1.0 x)) (+ 1.0 (* z z)))
243.0ms
(* (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) y) (/ (cbrt (/ 1.0 x)) (+ 1.0 (* z z))))

simplify782.0ms

Counts
231 → 231
Iterations

Useful iterations: done (769.0ms)

IterNodesCost
03394905
19594720
done50004416

prune1.9s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 4.5b

localize54.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (/ 1.0 x))
0.7b
(pow (cbrt (/ 1.0 x)) 3)
1.9b
(/ (cbrt (/ 1.0 x)) (+ 1.0 (* z z)))
4.3b
(* (/ (* (cbrt (/ 1.0 x)) (cbrt (pow (cbrt (/ 1.0 x)) 3))) y) (/ (cbrt (/ 1.0 x)) (+ 1.0 (* z z))))

rewrite241.0ms

Algorithm
rewrite-expression-head
Rules
193×times-frac
132×cbrt-prod add-sqr-sqrt
120×add-cube-cbrt *-un-lft-identity
54×associate-*r*
28×add-exp-log
19×add-cbrt-cube
16×unpow-prod-down cube-prod associate-/l*
13×div-inv
8×cbrt-undiv div-exp prod-exp cbrt-unprod
7×pow1 associate-*l*
4×associate-/r/ add-log-exp unswap-sqr
3×pow-unpow cbrt-div associate-/r*
2×pow-pow flip3-+ pow1/3 flip-+
1×cube-div cube-mult frac-times pow-to-exp frac-2neg unpow3 associate-*r/ pow-prod-down associate-*l/ pow-exp clear-num *-commutative associate-/l/ rem-cube-cbrt sqr-pow
Counts
4 → 244
Calls
4 calls:
4.0ms
(cbrt (/ 1.0 x))
14.0ms
(pow (cbrt (/ 1.0 x)) 3)
29.0ms
(/ (cbrt (/ 1.0 x)) (+ 1.0 (* z z)))
171.0ms
(* (/ (* (cbrt (/ 1.0 x)) (cbrt (pow (cbrt (/ 1.0 x)) 3))) y) (/ (cbrt (/ 1.0 x)) (+ 1.0 (* z z))))

series1.4s

Counts
4 → 12
Calls
4 calls:
364.0ms
(cbrt (/ 1.0 x))
474.0ms
(pow (cbrt (/ 1.0 x)) 3)
342.0ms
(/ (cbrt (/ 1.0 x)) (+ 1.0 (* z z)))
226.0ms
(* (/ (* (cbrt (/ 1.0 x)) (cbrt (pow (cbrt (/ 1.0 x)) 3))) y) (/ (cbrt (/ 1.0 x)) (+ 1.0 (* z z))))

simplify977.0ms

Counts
256 → 256
Iterations

Useful iterations: done (962.0ms)

IterNodesCost
03835478
112424753
done50004206

prune2.2s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 4.5b

localize33.0ms

Local error

Found 3 expressions with local error:

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

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
174×times-frac
125×add-sqr-sqrt
98×*-un-lft-identity
95×add-cube-cbrt
51×add-exp-log
43×associate-*l*
31×add-cbrt-cube
23×div-exp
16×associate-/l*
15×associate-*r*
13×cbrt-undiv
12×prod-exp
11×div-inv
9×unswap-sqr
6×pow1 associate-/r* cbrt-unprod
4×rec-exp 1-exp associate-/r/
3×add-log-exp
2×frac-2neg flip3-+ clear-num flip-+
1×frac-times pow-flip associate-*r/ pow-prod-down associate-*l/ un-div-inv *-commutative associate-/l/ inv-pow
Counts
3 → 201
Calls
3 calls:
19.0ms
(/ (/ 1.0 x) y)
17.0ms
(/ 1 (+ 1.0 (* z z)))
97.0ms
(* (/ (/ 1.0 x) y) (/ 1 (+ 1.0 (* z z))))

series199.0ms

Counts
3 → 9
Calls
3 calls:
36.0ms
(/ (/ 1.0 x) y)
64.0ms
(/ 1 (+ 1.0 (* z z)))
99.0ms
(* (/ (/ 1.0 x) y) (/ 1 (+ 1.0 (* z z))))

simplify740.0ms

Counts
210 → 210
Iterations

Useful iterations: done (725.0ms)

IterNodesCost
03213120
110192912
done50012545

prune1.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 4.5b

regimes963.0ms

Accuracy

82.4% (0.3b remaining)

Error of 5.2b against oracle of 4.9b and baseline of 6.5b

bsearch118.0ms

Steps
ItersRangePoint
5
4192350232.4828157
9123861936.510769
7441646126.591238
9
-4.829208015252428e+98
-2.6241713405550653e+92
-1.0361915026416111e+98

simplify28.0ms

Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
02547
13345
23945
34445
done4445

end0.0ms

sample1.2s

Algorithm
intervals
Results
710.0ms8644×body80valid