Details

Time bar (total: 39.0s)

sample25.0ms

Algorithm
intervals
Results
11.0ms308×body80valid

simplify97.0ms

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.6b

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

rewrite414.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:
59.0ms
(- (/ y z) (/ t (- 1.0 z)))
9.0ms
(/ t (- 1.0 z))
248.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series163.0ms

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

simplify4.7s

Counts
936 → 936
Iterations
IterNodes
done5000
24546
11778
01009

prune5.7s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize90.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (- 1.0 z))
0.3b
(cbrt (- 1.0 z))
3.4b
(* (fma y (/ 1 z) (- (* (/ t (cbrt (- 1.0 z))) (/ 1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))) x)
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))))))

rewrite14.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*
2×flip3-- pow1/3 flip-- distribute-lft-out-- difference-of-squares
1×pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef unswap-sqr
Counts
4 → 64
Calls
4 calls:
3.0ms
(cbrt (- 1.0 z))
4.0ms
(cbrt (- 1.0 z))
5.0ms
(* (fma y (/ 1 z) (- (* (/ t (cbrt (- 1.0 z))) (/ 1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))) x)
0.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))))))

series473.0ms

Counts
4 → 12
Calls
4 calls:
135.0ms
(cbrt (- 1.0 z))
136.0ms
(cbrt (- 1.0 z))
58.0ms
(* (fma y (/ 1 z) (- (* (/ t (cbrt (- 1.0 z))) (/ 1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))) x)
143.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.5s

Counts
76 → 76
Iterations
IterNodes
done5008
33263
2851
1314
0143

prune784.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

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

rewrite135.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:
101.0ms
(* x (- (/ y z) (* (* (cbrt (/ t (- 1.0 z))) (cbrt (/ t (- 1.0 z)))) (cbrt (/ t (- 1.0 z))))))
14.0ms
(cbrt (/ t (- 1.0 z)))
6.0ms
(cbrt (/ t (- 1.0 z)))
5.0ms
(cbrt (/ t (- 1.0 z)))

series577.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(* x (- (/ y z) (* (* (cbrt (/ t (- 1.0 z))) (cbrt (/ t (- 1.0 z)))) (cbrt (/ t (- 1.0 z))))))
155.0ms
(cbrt (/ t (- 1.0 z)))
149.0ms
(cbrt (/ t (- 1.0 z)))
188.0ms
(cbrt (/ t (- 1.0 z)))

simplify1.6s

Counts
167 → 167
Iterations
IterNodes
done5000
21505
1626
0296

prune985.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

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

rewrite972.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)
31.0ms
(* x (/ t (- 1.0 z)))
26.0ms
(* x (/ t (- 1.0 z)))
750.0ms
(* x (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ t (- 1.0 z))))

series566.0ms

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

simplify7.6s

Counts
1237 → 1237
Iterations
IterNodes
done5001
12997
01793

prune9.8s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes487.0ms

Accuracy

0.2% (5.0b remaining)

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

bsearch108.0ms

Steps
ItersRangePoint
6
4.0552326818044336e-299
6.205704365274695e-298
6.088454965275129e-298
10
-1.1963497052112714e+106
-1.0713785531950437e+91
-1.091267182572035e+91

simplify16.0ms

Iterations
IterNodes
done34
134
025

end0.0ms

sample1.0s

Algorithm
intervals
Results
633.0ms10045×body80valid