Details

Time bar (total: 39.2s)

sample35.0ms

Algorithm
intervals
Results
12.0ms308×body80valid

simplify140.0ms

Counts
1 → 1
Iterations
IterNodes
done114
9114
8111
7105
691
579
462
341
225
115
010

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.6b

localize33.0ms

Local error

Found 3 expressions with local error:

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

rewrite419.0ms

Algorithm
rewrite-expression-head
Rules
1192×times-frac
1082×add-sqr-sqrt
1078×*-un-lft-identity
819×prod-diff
814×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
129×distribute-lft-out-- difference-of-squares
104×div-inv
80×associate-/r/
42×flip3-- flip--
13×fma-neg
10×associate-*r*
7×add-cbrt-cube add-exp-log
5×pow1 associate-/r* add-log-exp
3×expm1-log1p-u sub-neg associate-*l* associate-*r/ log1p-expm1-u associate-/l*
2×frac-sub
1×cbrt-undiv clear-num frac-2neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 927
Calls
3 calls:
61.0ms
(- (/ y z) (/ t (- 1.0 z)))
13.0ms
(/ t (- 1.0 z))
223.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series223.0ms

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

simplify4.8s

Counts
936 → 936
Iterations
IterNodes
done5000
24546
11778
01009

prune4.8s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize93.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (- 1.0 z))
0.3b
(cbrt (- 1.0 z))
3.4b
(* x (fma y (/ 1 z) (- (* (/ t (cbrt (- 1.0 z))) (/ 1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))))
28.2b
(fma (- (/ t (cbrt (- 1.0 z)))) (/ 1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (* (/ t (cbrt (- 1.0 z))) (/ 1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
12×*-un-lft-identity
10×cbrt-prod
8×add-cube-cbrt
6×pow1 add-cbrt-cube add-exp-log
4×expm1-log1p-u cbrt-div log1p-expm1-u add-log-exp
3×associate-*r* associate-*l* fma-udef
2×flip3-- pow1/3 flip-- distribute-lft-out-- difference-of-squares
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 66
Calls
4 calls:
3.0ms
(cbrt (- 1.0 z))
8.0ms
(cbrt (- 1.0 z))
10.0ms
(* x (fma y (/ 1 z) (- (* (/ t (cbrt (- 1.0 z))) (/ 1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))))
1.0ms
(fma (- (/ t (cbrt (- 1.0 z)))) (/ 1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (* (/ t (cbrt (- 1.0 z))) (/ 1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))

series453.0ms

Counts
4 → 12
Calls
4 calls:
143.0ms
(cbrt (- 1.0 z))
109.0ms
(cbrt (- 1.0 z))
70.0ms
(* x (fma y (/ 1 z) (- (* (/ t (cbrt (- 1.0 z))) (/ 1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))))
131.0ms
(fma (- (/ t (cbrt (- 1.0 z)))) (/ 1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (* (/ t (cbrt (- 1.0 z))) (/ 1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))

simplify2.6s

Counts
78 → 78
Iterations
IterNodes
done5004
33633
2894
1331
0148

prune857.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

3.4b
(* x (- (/ y z) (* (* (cbrt (/ t (- 1.0 z))) (cbrt (/ t (- 1.0 z)))) (cbrt (/ t (- 1.0 z))))))
8.2b
(cbrt (/ t (- 1.0 z)))
8.2b
(cbrt (/ t (- 1.0 z)))
8.2b
(cbrt (/ t (- 1.0 z)))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
67×add-sqr-sqrt
65×*-un-lft-identity
63×cbrt-prod times-frac
47×add-cube-cbrt
26×prod-diff
15×distribute-rgt-in cbrt-div distribute-lft-in
12×associate-*r/
9×distribute-lft-out-- difference-of-squares
7×frac-sub
6×pow1 add-cbrt-cube add-exp-log associate-/r/
5×frac-times associate-*l/ div-inv
4×expm1-log1p-u flip3-- log1p-expm1-u flip-- add-log-exp
3×pow1/3 associate-*r* associate-*l*
2×sub-neg
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 155
Calls
4 calls:
87.0ms
(* x (- (/ y z) (* (* (cbrt (/ t (- 1.0 z))) (cbrt (/ t (- 1.0 z)))) (cbrt (/ t (- 1.0 z))))))
9.0ms
(cbrt (/ t (- 1.0 z)))
9.0ms
(cbrt (/ t (- 1.0 z)))
5.0ms
(cbrt (/ t (- 1.0 z)))

series671.0ms

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

simplify1.6s

Counts
167 → 167
Iterations
IterNodes
done5000
21505
1626
0296

prune1.1s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
3.0b
(* x (/ t (- 1.0 z)))
3.0b
(* x (/ t (- 1.0 z)))
3.4b
(* x (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ t (- 1.0 z))))

rewrite789.0ms

Algorithm
rewrite-expression-head
Rules
2506×times-frac
1443×add-sqr-sqrt
1409×*-un-lft-identity
1092×prod-diff
1083×add-cube-cbrt
548×distribute-rgt-in distribute-lft-in
383×cbrt-prod
170×difference-of-squares
163×distribute-lft-out--
138×div-inv
108×associate-/r/
55×flip3-- flip--
54×associate-*r*
16×add-cbrt-cube add-exp-log
10×pow1
9×associate-*l*
5×prod-exp associate-*r/ cbrt-unprod unswap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-prod-down *-commutative
2×cbrt-undiv sub-neg div-exp
1×pow1/3 frac-sub
Counts
4 → 1225
Calls
4 calls:
1.0ms
(cbrt z)
26.0ms
(* x (/ t (- 1.0 z)))
37.0ms
(* x (/ t (- 1.0 z)))
494.0ms
(* x (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ t (- 1.0 z))))

series565.0ms

Counts
4 → 12
Calls
4 calls:
296.0ms
(cbrt z)
85.0ms
(* x (/ t (- 1.0 z)))
76.0ms
(* x (/ t (- 1.0 z)))
108.0ms
(* x (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ t (- 1.0 z))))

simplify7.9s

Counts
1237 → 1237
Iterations
IterNodes
done5001
12997
01793

prune9.9s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

regimes426.0ms

Accuracy

11.1% (4.4b remaining)

Error of 4.4b against oracle of 0.0b and baseline of 4.9b

bsearch132.0ms

Steps
ItersRangePoint
6
4.0552326818044336e-299
6.205704365274695e-298
1.4988225320205495e-298
7
-1.5576851510953568e+65
-2.178231513432118e+63
-2.2177966653035308e+63

simplify21.0ms

Iterations
IterNodes
done74
274
166
043

end0.0ms

sample1.3s

Algorithm
intervals
Results
684.0ms10045×body80valid