Details

Time bar (total: 17.6s)

sample55.0ms

Algorithm
intervals
Results
36.0ms317×body80valid

simplify113.0ms

Counts
1 → 1
Iterations
IterNodes
done108
9108
8105
799
685
573
458
339
225
115
010

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.7b

localize18.0ms

Local error

Found 3 expressions with local error:

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

rewrite101.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/ insert-posit16 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 → 92
Calls
3 calls:
28.0ms
(- (/ y z) (/ t (- 1.0 z)))
7.0ms
(/ t (- 1.0 z))
63.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series153.0ms

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

simplify2.4s

Counts
101 → 101
Iterations
IterNodes
done5002
34842
21277
1412
0173

prune498.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
2.4b
(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (/ y z) (/ t (- 1.0 z)))))
2.6b
(* (cbrt x) (- (/ y z) (/ t (- 1.0 z))))

rewrite198.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
20×*-un-lft-identity
18×pow1 add-exp-log
11×add-cbrt-cube associate-*r*
10×cbrt-prod distribute-rgt-in distribute-lft-in
9×pow-prod-down prod-exp associate-*r/ add-cube-cbrt cbrt-unprod
8×times-frac
7×associate-*l*
6×sub-neg
4×insert-posit16 distribute-lft-out-- add-log-exp difference-of-squares
2×flip3-- pow1/3 *-commutative frac-sub flip-- unswap-sqr
Counts
4 → 95
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
105.0ms
(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (/ y z) (/ t (- 1.0 z)))))
86.0ms
(* (cbrt x) (- (/ y z) (/ t (- 1.0 z))))

series810.0ms

Counts
4 → 12
Calls
4 calls:
242.0ms
(cbrt x)
273.0ms
(cbrt x)
108.0ms
(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (/ y z) (/ t (- 1.0 z)))))
187.0ms
(* (cbrt x) (- (/ y z) (/ t (- 1.0 z))))

simplify1.9s

Counts
107 → 107
Iterations
IterNodes
done5001
21619
1462
0160

prune475.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite378.0ms

Algorithm
rewrite-expression-head
Rules
34×distribute-rgt-in distribute-lft-in
32×pow1 add-exp-log
29×add-sqr-sqrt
22×cbrt-prod *-un-lft-identity
19×pow-prod-down prod-exp cbrt-unprod
18×associate-*r/
16×add-cbrt-cube
14×sub-neg associate-*l*
12×associate-*r*
11×add-cube-cbrt
8×times-frac
4×insert-posit16 distribute-lft-out-- add-log-exp difference-of-squares
3×flip3-- *-commutative frac-sub flip-- unswap-sqr
1×pow1/3
Counts
4 → 135
Calls
4 calls:
1.0ms
(cbrt (cbrt x))
71.0ms
(* (cbrt (cbrt x)) (- (/ y z) (/ t (- 1.0 z))))
73.0ms
(* (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (cbrt x)) (- (/ y z) (/ t (- 1.0 z)))))
230.0ms
(* (* (cbrt x) (cbrt x)) (* (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (cbrt x)) (- (/ y z) (/ t (- 1.0 z))))))

series1.0s

Counts
4 → 12
Calls
4 calls:
387.0ms
(cbrt (cbrt x))
315.0ms
(* (cbrt (cbrt x)) (- (/ y z) (/ t (- 1.0 z))))
202.0ms
(* (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (cbrt x)) (- (/ y z) (/ t (- 1.0 z)))))
114.0ms
(* (* (cbrt x) (cbrt x)) (* (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (cbrt x)) (- (/ y z) (/ t (- 1.0 z))))))

simplify2.2s

Counts
147 → 147
Iterations
IterNodes
done5002
22383
1680
0234

prune872.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

localize49.0ms

Local error

Found 4 expressions with local error:

2.6b
(* (cbrt x) (- (/ y z) (/ t (- 1.0 z))))
5.3b
(cbrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (/ y z) (/ t (- 1.0 z))))))
5.3b
(cbrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (/ y z) (/ t (- 1.0 z))))))
5.3b
(cbrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (/ y z) (/ t (- 1.0 z))))))

rewrite299.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
21×associate-*r/
18×*-un-lft-identity
10×associate-*r*
9×cbrt-div
8×times-frac
7×cbrt-prod add-cube-cbrt
6×pow1 associate-*l* add-exp-log
5×add-cbrt-cube
4×flip3-- frac-sub insert-posit16 flip-- distribute-lft-out-- add-log-exp difference-of-squares
3×pow1/3
2×distribute-rgt-in sub-neg distribute-lft-in unswap-sqr
1×pow-prod-down prod-exp *-commutative cbrt-unprod
Counts
4 → 76
Calls
4 calls:
72.0ms
(* (cbrt x) (- (/ y z) (/ t (- 1.0 z))))
66.0ms
(cbrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (/ y z) (/ t (- 1.0 z))))))
102.0ms
(cbrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (/ y z) (/ t (- 1.0 z))))))
58.0ms
(cbrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (/ y z) (/ t (- 1.0 z))))))

series1.2s

Counts
4 → 12
Calls
4 calls:
205.0ms
(* (cbrt x) (- (/ y z) (/ t (- 1.0 z))))
372.0ms
(cbrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (/ y z) (/ t (- 1.0 z))))))
290.0ms
(cbrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (/ y z) (/ t (- 1.0 z))))))
319.0ms
(cbrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (/ y z) (/ t (- 1.0 z))))))

simplify1.8s

Counts
88 → 88
Iterations
IterNodes
done5001
21323
1426
0170

prune693.0ms

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 0.0b

regimes750.0ms

Accuracy

69.8% (1.4b remaining)

Error of 1.5b against oracle of 0.1b and baseline of 4.8b

bsearch3.0ms

simplify6.0ms

Iterations
IterNodes
done23
123
018

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.1s10007×body80valid