Details

Time bar (total: 15.5s)

sample46.0ms

Algorithm
intervals
Results
27.0ms315×body80valid

simplify134.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.1b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite122.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:
9.0ms
(/ t (- 1.0 z))
18.0ms
(- (/ y z) (/ t (- 1.0 z)))
93.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series175.0ms

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

simplify2.4s

Counts
101 → 101
Iterations
IterNodes
done5000
34870
21273
1412
0173

prune553.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.4b

localize30.0ms

Local error

Found 3 expressions with local error:

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

rewrite164.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/ insert-posit16 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 → 88
Calls
3 calls:
9.0ms
(/ t (- 1.0 z))
24.0ms
(- (/ y z) (/ t (- 1.0 z)))
130.0ms
(* (- (/ y z) (/ t (- 1.0 z))) x)

series171.0ms

Counts
3 → 9
Calls
3 calls:
58.0ms
(/ t (- 1.0 z))
48.0ms
(- (/ y z) (/ t (- 1.0 z)))
65.0ms
(* (- (/ y z) (/ t (- 1.0 z))) x)

simplify2.1s

Counts
97 → 97
Iterations
IterNodes
done5000
34230
21116
1379
0170

prune543.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize26.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))
4.1b
(* x (- (/ y z) (/ (/ t (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (cbrt (- 1.0 z)))))

rewrite257.0ms

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
21×*-un-lft-identity
19×cbrt-prod times-frac
15×associate-*r*
13×difference-of-squares
9×add-cube-cbrt
6×pow1 cbrt-div add-cbrt-cube add-exp-log
5×distribute-lft-out--
4×flip3-- insert-posit16 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 → 86
Calls
4 calls:
5.0ms
(cbrt (- 1.0 z))
5.0ms
(cbrt (- 1.0 z))
6.0ms
(cbrt (- 1.0 z))
238.0ms
(* x (- (/ y z) (/ (/ t (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (cbrt (- 1.0 z)))))

series510.0ms

Counts
4 → 12
Calls
4 calls:
119.0ms
(cbrt (- 1.0 z))
156.0ms
(cbrt (- 1.0 z))
144.0ms
(cbrt (- 1.0 z))
91.0ms
(* x (- (/ y z) (/ (/ t (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (cbrt (- 1.0 z)))))

simplify1.5s

Counts
98 → 98
Iterations
IterNodes
done5000
21345
1457
0177

prune627.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.0b

localize47.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))
4.1b
(* x (- (/ y z) (/ (/ t (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (* (* (cbrt (cbrt (- 1.0 z))) (cbrt (cbrt (- 1.0 z)))) (cbrt (cbrt (- 1.0 z)))))))

rewrite381.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
17×*-un-lft-identity
15×cbrt-prod
9×add-cube-cbrt
6×pow1 cbrt-div add-cbrt-cube associate-*r* add-exp-log
5×difference-of-squares
4×flip3-- insert-posit16 flip-- distribute-lft-out-- add-log-exp
3×pow1/3 associate-*l* associate-*r/
2×distribute-rgt-in sub-neg distribute-lft-in
1×times-frac pow-prod-down prod-exp *-commutative frac-sub cbrt-unprod unswap-sqr
Counts
4 → 77
Calls
4 calls:
5.0ms
(cbrt (- 1.0 z))
5.0ms
(cbrt (- 1.0 z))
5.0ms
(cbrt (- 1.0 z))
364.0ms
(* x (- (/ y z) (/ (/ t (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (* (* (cbrt (cbrt (- 1.0 z))) (cbrt (cbrt (- 1.0 z)))) (cbrt (cbrt (- 1.0 z)))))))

series439.0ms

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

simplify2.6s

Counts
89 → 89
Iterations
IterNodes
done5032
33782
21039
1371
0153

prune601.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes545.0ms

Accuracy

95.4% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 4.3b

bsearch3.0ms

simplify21.0ms

Iterations
IterNodes
done56
156
043

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.2s10093×body80valid