Details

Time bar (total: 21.6s)

sample22.0ms

Algorithm
intervals
Results
9.0ms322×body80valid

simplify88.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01011
11511
22511
34011
46011
57811
69311
710911
811611
911911
done11911

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ y z) (/ t (- 1.0 z)))
4.7b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite295.0ms

Algorithm
rewrite-expression-head
Rules
1177×times-frac
1063×add-sqr-sqrt
1059×*-un-lft-identity
819×prod-diff
803×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
125×distribute-lft-out-- difference-of-squares
103×div-inv
78×associate-/r/
41×flip3-- flip--
13×fma-neg
10×associate-*r*
4×pow1 add-exp-log add-cbrt-cube add-log-exp
3×sub-neg associate-*r/ associate-*l*
2×expm1-log1p-u frac-sub log1p-expm1-u
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 888
Calls
2 calls:
42.0ms
(- (/ y z) (/ t (- 1.0 z)))
153.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series110.0ms

Counts
2 → 6
Calls
2 calls:
42.0ms
(- (/ y z) (/ t (- 1.0 z)))
68.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify2.8s

Counts
894 → 894
Iterations

Useful iterations: done (2.7s)

IterNodesCost
098149540
1157644457
2362134322
done500034079

prune1.3s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (cbrt t) 3)
0.7b
(pow (cbrt t) 3)
0.7b
(pow (cbrt t) 3)
4.7b
(* x (+ (- (/ y z) (/ (pow (cbrt t) 3) (- 1.0 z))) (- (/ (pow (cbrt t) 3) (- 1.0 z)) (/ (pow (cbrt t) 3) (- 1.0 z)))))

rewrite7.4s

Algorithm
rewrite-expression-head
Rules
109×*-un-lft-identity
32×times-frac distribute-lft-out--
23×add-sqr-sqrt
21×add-cube-cbrt
18×cbrt-prod unpow-prod-down cube-prod
15×associate-*r*
14×associate-*r/
12×frac-add distribute-lft-out
9×pow1 add-exp-log pow-unpow
7×flip3-- frac-sub flip--
6×pow-pow add-cbrt-cube
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cube-mult pow-to-exp pow1/3 unpow3 associate-*l* pow-exp sub-div rem-cube-cbrt sqr-pow
1×distribute-rgt-in distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 144
Calls
4 calls:
2.0ms
(pow (cbrt t) 3)
2.0ms
(pow (cbrt t) 3)
2.0ms
(pow (cbrt t) 3)
7.4s
(* x (+ (- (/ y z) (/ (pow (cbrt t) 3) (- 1.0 z))) (- (/ (pow (cbrt t) 3) (- 1.0 z)) (/ (pow (cbrt t) 3) (- 1.0 z)))))

series903.0ms

Counts
4 → 12
Calls
4 calls:
271.0ms
(pow (cbrt t) 3)
268.0ms
(pow (cbrt t) 3)
268.0ms
(pow (cbrt t) 3)
95.0ms
(* x (+ (- (/ y z) (/ (pow (cbrt t) 3) (- 1.0 z))) (- (/ (pow (cbrt t) 3) (- 1.0 z)) (/ (pow (cbrt t) 3) (- 1.0 z)))))

simplify1.3s

Counts
156 → 156
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01772795
15791383
216921032
done50021021

prune432.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
0.6b
(cbrt z)
4.7b
(* x (+ (- (* (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z))) (/ t (- 1.0 z))) (* (/ 1 (- 1.0 z)) (+ (- t) t))))

rewrite580.0ms

Algorithm
rewrite-expression-head
Rules
42×associate-*r/
25×frac-add
15×frac-times frac-sub
11×add-sqr-sqrt flip3-+ flip-+
10×associate-*l/
9×cbrt-prod add-cube-cbrt *-un-lft-identity
6×pow1 add-exp-log add-cbrt-cube
5×flip3-- flip--
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*r* associate-*l*
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 88
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)
574.0ms
(* x (+ (- (* (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z))) (/ t (- 1.0 z))) (* (/ 1 (- 1.0 z)) (+ (- t) t))))

series724.0ms

Counts
4 → 12
Calls
4 calls:
206.0ms
(cbrt z)
212.0ms
(cbrt z)
207.0ms
(cbrt z)
97.0ms
(* x (+ (- (* (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z))) (/ t (- 1.0 z))) (* (/ 1 (- 1.0 z)) (+ (- t) t))))

simplify1.8s

Counts
100 → 100
Iterations

Useful iterations: 2 (625.0ms)

IterNodesCost
02352932
18872525
240672001
done50002001

prune763.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)
4.7b
(* x (+ (fma (* (cbrt y) (cbrt y)) (/ (cbrt y) z) (/ (- (/ t (cbrt (- 1.0 z)))) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))) (* (/ 1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (+ (- (/ t (cbrt (- 1.0 z)))) (/ t (cbrt (- 1.0 z)))))))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
9×cbrt-prod add-cube-cbrt *-un-lft-identity
6×pow1 add-exp-log add-cbrt-cube
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*r* associate-*l*
2×associate-*r/
1×distribute-rgt-in distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 63
Calls
4 calls:
0.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
7.0ms
(* x (+ (fma (* (cbrt y) (cbrt y)) (/ (cbrt y) z) (/ (- (/ t (cbrt (- 1.0 z)))) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))) (* (/ 1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (+ (- (/ t (cbrt (- 1.0 z)))) (/ t (cbrt (- 1.0 z)))))))

series823.0ms

Counts
4 → 12
Calls
4 calls:
210.0ms
(cbrt y)
202.0ms
(cbrt y)
196.0ms
(cbrt y)
215.0ms
(* x (+ (fma (* (cbrt y) (cbrt y)) (/ (cbrt y) z) (/ (- (/ t (cbrt (- 1.0 z)))) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))) (* (/ 1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (+ (- (/ t (cbrt (- 1.0 z)))) (/ t (cbrt (- 1.0 z)))))))

simplify833.0ms

Counts
75 → 75
Iterations

Useful iterations: done (830.0ms)

IterNodesCost
0971980
12561961
29431537
done50011217

prune363.0ms

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.0b

regimes241.0ms

Accuracy

21.4% (4.0b remaining)

Error of 4.0b against oracle of 0.0b and baseline of 5.1b

bsearch90.0ms

Steps
ItersRangePoint
6
3.630095415212124e+18
2.541496474533319e+19
9.213813770804898e+18
7
-4.8145694549912115e-155
-6.28281233062061e-157
-2.3260702119543115e-155

simplify10.0ms

Iterations

Useful iterations: 1 (9.0ms)

IterNodesCost
02789
13658
done3658

end0.0ms

sample575.0ms

Algorithm
intervals
Results
316.0ms10075×body80valid