Details

Time bar (total: 15.1s)

sample31.0ms

Algorithm
intervals
Results
13.0ms328×body80valid

simplify145.0ms

Counts
1 → 1
Iterations
IterNodes
done110
9110
8108
7102
687
573
458
339
225
115
010

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.9b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite272.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
45×*-un-lft-identity
31×times-frac
15×add-cube-cbrt
12×distribute-lft-out-- difference-of-squares
10×associate-*r*
7×add-cbrt-cube add-exp-log
5×pow1 associate-/r* add-log-exp
3×sub-neg flip3-- associate-*l* associate-*r/ flip-- associate-/l*
2×distribute-rgt-in distribute-lft-in associate-/r/ frac-sub
1×cbrt-undiv clear-num frac-2neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv unswap-sqr
Counts
3 → 89
Calls
3 calls:
17.0ms
(/ t (- 1.0 z))
67.0ms
(- (/ y z) (/ t (- 1.0 z)))
182.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series187.0ms

Counts
3 → 9
Calls
3 calls:
66.0ms
(/ t (- 1.0 z))
53.0ms
(- (/ y z) (/ t (- 1.0 z)))
68.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify728.0ms

Counts
98 → 98
Iterations
IterNodes
done5001
21405
1420
0170

prune552.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (- 1.0 z))
0.3b
(cbrt (- 1.0 z))
0.3b
(* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))
3.7b
(* x (- (/ y z) (/ (/ t (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (cbrt (- 1.0 z)))))

rewrite673.0ms

Algorithm
rewrite-expression-head
Rules
71×add-sqr-sqrt
42×cbrt-prod
40×*-un-lft-identity
23×associate-*r*
19×times-frac
16×cbrt-div add-cube-cbrt difference-of-squares
13×pow1
11×associate-*l*
10×swap-sqr distribute-lft-out--
9×flip3-- flip--
8×pow1/3 add-exp-log
6×add-cbrt-cube
5×associate-*r/ unswap-sqr
4×frac-times add-log-exp
3×pow-prod-down
2×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod
1×pow2 pow-plus frac-sub
Counts
4 → 123
Calls
4 calls:
3.0ms
(cbrt (- 1.0 z))
3.0ms
(cbrt (- 1.0 z))
43.0ms
(* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))
619.0ms
(* x (- (/ y z) (/ (/ t (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (cbrt (- 1.0 z)))))

series509.0ms

Counts
4 → 12
Calls
4 calls:
140.0ms
(cbrt (- 1.0 z))
133.0ms
(cbrt (- 1.0 z))
167.0ms
(* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))
69.0ms
(* x (- (/ y z) (/ (/ t (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (cbrt (- 1.0 z)))))

simplify1.3s

Counts
135 → 135
Iterations
IterNodes
done5000
22327
1622
0240

prune974.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 3 expressions with local error:

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

rewrite261.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
45×*-un-lft-identity
31×times-frac
15×add-cube-cbrt
12×distribute-lft-out-- difference-of-squares
10×associate-*l*
7×add-cbrt-cube add-exp-log
5×pow1 associate-/r* add-log-exp
3×flip3-- associate-*r* associate-*l/ flip-- associate-/l*
2×associate-/r/ frac-sub
1×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv unswap-sqr
Counts
3 → 85
Calls
3 calls:
17.0ms
(/ t (- 1.0 z))
67.0ms
(- (/ y z) (/ t (- 1.0 z)))
171.0ms
(* (- (/ y z) (/ t (- 1.0 z))) x)

series179.0ms

Counts
3 → 9
Calls
3 calls:
55.0ms
(/ t (- 1.0 z))
61.0ms
(- (/ y z) (/ t (- 1.0 z)))
63.0ms
(* (- (/ y z) (/ t (- 1.0 z))) x)

simplify609.0ms

Counts
94 → 94
Iterations
IterNodes
done5000
21273
1376
0167

prune544.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.4b
(cbrt (cbrt (- 1.0 z)))
0.4b
(cbrt (cbrt (- 1.0 z)))
0.4b
(cbrt (cbrt (- 1.0 z)))
3.7b
(* x (- (/ y z) (/ (/ t (* (cbrt (- 1.0 z)) (* (* (cbrt (cbrt (- 1.0 z))) (cbrt (cbrt (- 1.0 z)))) (cbrt (cbrt (- 1.0 z)))))) (cbrt (- 1.0 z)))))

rewrite2.8s

Algorithm
rewrite-expression-head
Rules
41×cbrt-prod
39×add-sqr-sqrt
24×*-un-lft-identity
12×cbrt-div add-cube-cbrt
11×associate-*r*
9×times-frac difference-of-squares
6×pow1 add-cbrt-cube add-exp-log
5×distribute-lft-out--
4×flip3-- flip-- add-log-exp
3×pow1/3 associate-*l* associate-*r/
2×distribute-rgt-in sub-neg distribute-lft-in
1×pow-prod-down prod-exp *-commutative frac-sub cbrt-unprod unswap-sqr
Counts
4 → 87
Calls
4 calls:
7.0ms
(cbrt (cbrt (- 1.0 z)))
7.0ms
(cbrt (cbrt (- 1.0 z)))
7.0ms
(cbrt (cbrt (- 1.0 z)))
2.8s
(* x (- (/ y z) (/ (/ t (* (cbrt (- 1.0 z)) (* (* (cbrt (cbrt (- 1.0 z))) (cbrt (cbrt (- 1.0 z)))) (cbrt (cbrt (- 1.0 z)))))) (cbrt (- 1.0 z)))))

series494.0ms

Counts
4 → 12
Calls
4 calls:
142.0ms
(cbrt (cbrt (- 1.0 z)))
124.0ms
(cbrt (cbrt (- 1.0 z)))
137.0ms
(cbrt (cbrt (- 1.0 z)))
91.0ms
(* x (- (/ y z) (/ (/ t (* (cbrt (- 1.0 z)) (* (* (cbrt (cbrt (- 1.0 z))) (cbrt (cbrt (- 1.0 z)))) (cbrt (cbrt (- 1.0 z)))))) (cbrt (- 1.0 z)))))

simplify712.0ms

Counts
99 → 99
Iterations
IterNodes
done5000
21460
1438
0180

prune689.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

regimes415.0ms

Accuracy

79.5% (0.9b remaining)

Error of 1.0b against oracle of 0.0b and baseline of 4.5b

bsearch1.0ms

simplify1.2s

Iterations
IterNodes
done5002
142981
131844
12707
11472
10235
9177
8120
796
680
567
461
358
252
144
030

end0.0ms

sample1.7s

Algorithm
intervals
Results
708.0ms10152×body80valid