Details

Time bar (total: 14.8s)

sample38.0ms

Algorithm
intervals
Results
25.0ms315×body80valid

simplify79.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

localize17.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))))

rewrite103.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))
26.0ms
(- (/ y z) (/ t (- 1.0 z)))
66.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series166.0ms

Counts
3 → 9
Calls
3 calls:
52.0ms
(/ t (- 1.0 z))
54.0ms
(- (/ y z) (/ t (- 1.0 z)))
60.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify2.3s

Counts
101 → 101
Iterations
IterNodes
done5000
34870
21273
1412
0173

prune464.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.4b

localize27.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)

rewrite130.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:
7.0ms
(/ t (- 1.0 z))
28.0ms
(- (/ y z) (/ t (- 1.0 z)))
93.0ms
(* (- (/ y z) (/ t (- 1.0 z))) x)

series160.0ms

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

simplify1.9s

Counts
97 → 97
Iterations
IterNodes
done5000
34230
21116
1379
0170

prune484.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize35.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)))))

rewrite156.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:
4.0ms
(cbrt (- 1.0 z))
4.0ms
(cbrt (- 1.0 z))
4.0ms
(cbrt (- 1.0 z))
139.0ms
(* x (- (/ y z) (/ (/ t (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (cbrt (- 1.0 z)))))

series408.0ms

Counts
4 → 12
Calls
4 calls:
113.0ms
(cbrt (- 1.0 z))
117.0ms
(cbrt (- 1.0 z))
101.0ms
(cbrt (- 1.0 z))
76.0ms
(* x (- (/ y z) (/ (/ t (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (cbrt (- 1.0 z)))))

simplify1.3s

Counts
98 → 98
Iterations
IterNodes
done5000
21345
1457
0177

prune708.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.0b

localize64.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)))))))

rewrite368.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:
3.0ms
(cbrt (- 1.0 z))
5.0ms
(cbrt (- 1.0 z))
5.0ms
(cbrt (- 1.0 z))
354.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)))))))

series421.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(cbrt (- 1.0 z))
93.0ms
(cbrt (- 1.0 z))
139.0ms
(cbrt (- 1.0 z))
58.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.7s

Counts
89 → 89
Iterations
IterNodes
done5032
33782
21039
1371
0153

prune676.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes723.0ms

Accuracy

95.4% (0.2b remaining)

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

bsearch2.0ms

simplify10.0ms

Iterations
IterNodes
done56
156
043

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.1s10093×body80valid