Details

Time bar (total: 5.2s)

sample32.0ms

Algorithm
intervals
Results
15.0ms327×body80valid

simplify7.0ms

Counts
1 → 1

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.7b

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite195.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-exp-log add-cbrt-cube
5×pow1 associate-/r* add-log-exp
3×sub-neg flip3-- associate-*r/ associate-*l* flip-- associate-/l*
2×distribute-rgt-in distribute-lft-in associate-/r/ frac-sub
1×cbrt-undiv frac-2neg diff-log div-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
3 → 89
Calls
3 calls:
39.0ms
(- (/ y z) (/ t (- 1.0 z)))
11.0ms
(/ t (- 1.0 z))
142.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series137.0ms

Counts
3 → 9
Calls
3 calls:
41.0ms
(- (/ y z) (/ t (- 1.0 z)))
39.0ms
(/ t (- 1.0 z))
57.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify41.0ms

Counts
98 → 98

prune245.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.5b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ t (- 1.0 z))
0.0b
(+ (* x (/ y z)) (* x (- (/ t (- 1.0 z)))))
1.6b
(* x (- (/ t (- 1.0 z))))
6.5b
(* x (/ y z))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
69×add-sqr-sqrt
62×*-un-lft-identity
59×associate-*r*
55×times-frac
42×add-cube-cbrt
21×distribute-lft-neg-in distribute-rgt-neg-in
13×add-exp-log add-cbrt-cube
10×distribute-lft-out-- difference-of-squares
8×pow1
6×associate-*l* associate-/r/ add-log-exp
5×associate-/r*
4×associate-*r/ div-inv
3×flip3-- prod-exp distribute-rgt-neg-out flip-- cbrt-unprod associate-/l* unswap-sqr
2×cbrt-undiv div-exp pow-prod-down *-commutative distribute-neg-frac
1×+-commutative neg-mul-1 frac-2neg flip3-+ unsub-neg frac-add clear-num sum-log flip-+ distribute-lft-out
Counts
4 → 147
Calls
4 calls:
15.0ms
(/ t (- 1.0 z))
12.0ms
(+ (* x (/ y z)) (* x (- (/ t (- 1.0 z)))))
59.0ms
(* x (- (/ t (- 1.0 z))))
14.0ms
(* x (/ y z))

series205.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(/ t (- 1.0 z))
72.0ms
(+ (* x (/ y z)) (* x (- (/ t (- 1.0 z)))))
66.0ms
(* x (- (/ t (- 1.0 z))))
23.0ms
(* x (/ y z))

simplify80.0ms

Counts
159 → 159

prune436.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
1.6b
(* x (- (/ t (- 1.0 z))))
1.8b
(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
51×associate-*r*
45×add-sqr-sqrt
40×*-un-lft-identity
32×times-frac
28×add-cube-cbrt
24×add-exp-log
21×distribute-lft-neg-in distribute-rgt-neg-in
16×add-cbrt-cube
10×prod-exp cbrt-unprod
8×pow1
6×cbrt-prod associate-*l* distribute-lft-out-- difference-of-squares
4×cbrt-undiv div-exp associate-/r/ add-log-exp
3×div-inv unswap-sqr
2×flip3-- pow1/3 associate-*r/ pow-prod-down *-commutative flip--
1×neg-mul-1 distribute-rgt-neg-out distribute-neg-frac
Counts
4 → 115
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
56.0ms
(* x (- (/ t (- 1.0 z))))
38.0ms
(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

series577.0ms

Counts
4 → 12
Calls
4 calls:
208.0ms
(cbrt z)
204.0ms
(cbrt z)
68.0ms
(* x (- (/ t (- 1.0 z))))
96.0ms
(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

simplify73.0ms

Counts
127 → 127

prune481.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

1.8b
(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
10.3b
(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
10.3b
(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
10.3b
(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
22×add-exp-log
14×add-cbrt-cube
9×add-sqr-sqrt prod-exp cbrt-unprod
6×pow1 add-cube-cbrt *-un-lft-identity
5×associate-*r*
4×cbrt-undiv associate-*r/ div-exp add-log-exp
3×cbrt-prod cbrt-div pow1/3 associate-*l*
2×times-frac unswap-sqr
1×pow-prod-down *-commutative div-inv
Counts
4 → 60
Calls
4 calls:
39.0ms
(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
29.0ms
(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
28.0ms
(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
34.0ms
(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))

series551.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
157.0ms
(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
148.0ms
(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
154.0ms
(cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))

simplify39.0ms

Counts
72 → 72

prune303.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.0b

regimes212.0ms

Accuracy

0% (2.0b remaining)

Error of 2.0b against oracle of 0.0b and baseline of 2.0b

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.2s

Algorithm
intervals
Results
485.0ms10165×body80valid