Details

Time bar (total: 13.9s)

sample51.0ms

Algorithm
intervals
Results
21.0ms357×body80valid

simplify3.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1149
2319
3579
4959
51309
61619
71869
83989
910549
1049929
done50009

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.8b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (/ x y) (- z t)) t)
8.2b
(* (/ x y) (- z t))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×associate-*l*
12×*-un-lft-identity
10×add-cube-cbrt times-frac
7×add-exp-log add-cbrt-cube
5×associate-*r*
4×pow1 distribute-rgt-in sub-neg associate-+l+ distribute-lft-in add-log-exp
2×frac-times flip3-- associate-*r/ prod-exp flip-- cbrt-unprod unswap-sqr
1×cbrt-undiv +-commutative flip3-+ div-exp pow-prod-down associate-*l/ sum-log *-commutative flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 57
Calls
2 calls:
32.0ms
(+ (* (/ x y) (- z t)) t)
70.0ms
(* (/ x y) (- z t))

series145.0ms

Counts
2 → 6
Calls
2 calls:
58.0ms
(+ (* (/ x y) (- z t)) t)
87.0ms
(* (/ x y) (- z t))

simplify1.2s

Counts
63 → 63
Iterations

Useful iterations: done (1.2s)

IterNodesCost
0120727
1322701
21412649
done5001643

prune213.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
1.7b
(* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
73×add-exp-log
39×add-cbrt-cube
37×prod-exp cbrt-unprod
17×cbrt-undiv div-exp
9×pow1 cbrt-prod frac-times associate-*r/
8×distribute-rgt-in add-sqr-sqrt add-cube-cbrt *-un-lft-identity distribute-lft-in
5×associate-*l*
4×sub-neg flip3-- flip-- add-log-exp
3×pow1/3 pow-prod-down associate-*l/
1×times-frac associate-*r* *-commutative div-inv
Counts
4 → 98
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
111.0ms
(* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))

series868.0ms

Counts
4 → 12
Calls
4 calls:
236.0ms
(cbrt x)
310.0ms
(cbrt x)
263.0ms
(cbrt x)
59.0ms
(* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))

simplify2.0s

Counts
110 → 110
Iterations

Useful iterations: done (2.0s)

IterNodesCost
01682312
16222242
236351256
done5000845

prune284.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
2.9b
(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) (- z t)))
3.4b
(* (/ (cbrt x) y) (- z t))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
66×add-exp-log
35×add-cbrt-cube
33×prod-exp
32×add-sqr-sqrt
29×associate-*l*
24×*-un-lft-identity
23×times-frac
22×add-cube-cbrt
20×cbrt-unprod
18×div-exp
16×cbrt-prod
11×pow1 frac-times associate-*r/
10×cbrt-undiv distribute-rgt-in distribute-lft-in
6×sub-neg flip3-- 1-exp associate-*r* flip--
4×pow-prod-down associate-*l/ add-log-exp
3×unswap-sqr
2×pow1/3 *-commutative div-inv
1×distribute-lft-out-- difference-of-squares
Counts
4 → 135
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
68.0ms
(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) (- z t)))
47.0ms
(* (/ (cbrt x) y) (- z t))

series801.0ms

Counts
4 → 12
Calls
4 calls:
228.0ms
(cbrt x)
245.0ms
(cbrt x)
94.0ms
(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) (- z t)))
233.0ms
(* (/ (cbrt x) y) (- z t))

simplify454.0ms

Counts
147 → 147
Iterations

Useful iterations: done (449.0ms)

IterNodesCost
02242272
17442031
done50001518

prune519.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
2.9b
(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))) (* (/ (cbrt (cbrt x)) (cbrt y)) (- z t))))

rewrite326.0ms

Algorithm
rewrite-expression-head
Rules
279×add-exp-log
160×prod-exp
101×add-cbrt-cube
94×cbrt-unprod
85×div-exp
47×cbrt-undiv
29×frac-times associate-*r/
24×distribute-rgt-in distribute-lft-in
20×1-exp
13×pow1
9×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×sub-neg flip3-- flip--
7×associate-*l* associate-*l/
6×pow-prod-down
4×add-log-exp
3×times-frac pow1/3
1×associate-*r* *-commutative div-inv
Counts
4 → 171
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
304.0ms
(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))) (* (/ (cbrt (cbrt x)) (cbrt y)) (- z t))))

series832.0ms

Counts
4 → 12
Calls
4 calls:
259.0ms
(cbrt x)
227.0ms
(cbrt x)
258.0ms
(cbrt x)
87.0ms
(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))) (* (/ (cbrt (cbrt x)) (cbrt y)) (- z t))))

simplify631.0ms

Counts
183 → 183
Iterations

Useful iterations: done (624.0ms)

IterNodesCost
03086582
113125925
done50004782

prune523.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes234.0ms

Accuracy

9.9% (1.7b remaining)

Error of 1.7b against oracle of 0.0b and baseline of 1.9b

bsearch124.0ms

Steps
ItersRangePoint
8
-2.801889466383081e-303
-1.0345672052037073e-307
-5.330647358840706e-307
8
-1.7860205002943532e+77
-9.029039785599943e+73
-4.8763260456976e+75

simplify5.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
02039
12831
done2831

end0.0ms

sample1.2s

Algorithm
intervals
Results
518.0ms10661×body80valid