Details

Time bar (total: 16.6s)

sample60.0ms

Algorithm
intervals
Results
23.0ms321×body80valid

simplify147.0ms

Counts
1 → 1
Iterations
IterNodes
done123
9123
8120
7112
695
579
462
341
225
115
010

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.9b

localize15.0ms

Local error

Found 2 expressions with local error:

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

rewrite281.0ms

Algorithm
rewrite-expression-head
Rules
791×times-frac
720×add-sqr-sqrt
717×*-un-lft-identity
546×prod-diff
542×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
86×distribute-lft-out-- difference-of-squares
69×div-inv
54×associate-/r/
28×flip3-- flip--
10×associate-*r*
6×add-cbrt-cube add-exp-log
5×associate-/r*
4×pow1
3×associate-*l* associate-*r/ associate-/l*
2×expm1-log1p-u sub-neg log1p-expm1-u add-log-exp
1×cbrt-undiv clear-num frac-2neg div-exp pow-prod-down prod-exp *-commutative frac-sub cbrt-unprod unswap-sqr
Counts
2 → 619
Calls
2 calls:
9.0ms
(/ t (- 1.0 z))
201.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series113.0ms

Counts
2 → 6
Calls
2 calls:
48.0ms
(/ t (- 1.0 z))
65.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify2.9s

Counts
625 → 625
Iterations
IterNodes
done5001
12176
0992

prune4.0s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt
33×*-un-lft-identity
23×times-frac
14×add-cube-cbrt
10×associate-*l*
8×distribute-lft-out-- difference-of-squares
6×add-cbrt-cube add-exp-log
5×associate-/r*
4×pow1
3×associate-*r* associate-*l/ associate-/l*
2×expm1-log1p-u flip3-- associate-/r/ log1p-expm1-u flip-- add-log-exp
1×cbrt-undiv clear-num frac-2neg div-exp pow-prod-down prod-exp *-commutative frac-sub cbrt-unprod div-inv unswap-sqr
Counts
2 → 69
Calls
2 calls:
8.0ms
(/ t (- 1.0 z))
120.0ms
(* (- (/ y z) (/ t (- 1.0 z))) x)

series80.0ms

Counts
2 → 6
Calls
2 calls:
38.0ms
(/ t (- 1.0 z))
42.0ms
(* (- (/ y z) (/ t (- 1.0 z))) x)

simplify781.0ms

Counts
75 → 75
Iterations
IterNodes
done5000
21218
1347
0154

prune418.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize62.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt z)
0.5b
(cbrt z)
4.6b
(* x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ 1 (- 1.0 z)) t))))
27.6b
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
6×cbrt-prod pow1 add-cbrt-cube add-exp-log
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*r* associate-*l* fma-udef
2×pow1/3
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 58
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
11.0ms
(* x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ 1 (- 1.0 z)) t))))
0.0ms
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

series834.0ms

Counts
4 → 12
Calls
4 calls:
236.0ms
(cbrt z)
282.0ms
(cbrt z)
243.0ms
(* x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ 1 (- 1.0 z)) t))))
73.0ms
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

simplify1.1s

Counts
70 → 70
Iterations
IterNodes
done5001
2713
1195
094

prune534.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize60.0ms

Local error

Found 4 expressions with local error:

4.6b
(* x (fma y (/ 1 z) (- (* (cbrt (/ t (- 1.0 z))) (* (cbrt (/ t (- 1.0 z))) (cbrt (/ t (- 1.0 z))))))))
7.0b
(cbrt (/ t (- 1.0 z)))
7.0b
(cbrt (/ t (- 1.0 z)))
7.0b
(cbrt (/ t (- 1.0 z)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
63×cbrt-prod
53×add-sqr-sqrt
51×*-un-lft-identity
45×times-frac
33×add-cube-cbrt
9×distribute-lft-out-- difference-of-squares
6×pow1 add-cbrt-cube add-exp-log associate-/r/
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-div flip3-- pow1/3 associate-*r* associate-*l* div-inv flip--
2×fma-udef
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 118
Calls
4 calls:
16.0ms
(* x (fma y (/ 1 z) (- (* (cbrt (/ t (- 1.0 z))) (* (cbrt (/ t (- 1.0 z))) (cbrt (/ t (- 1.0 z))))))))
7.0ms
(cbrt (/ t (- 1.0 z)))
7.0ms
(cbrt (/ t (- 1.0 z)))
7.0ms
(cbrt (/ t (- 1.0 z)))

series716.0ms

Counts
4 → 12
Calls
4 calls:
114.0ms
(* x (fma y (/ 1 z) (- (* (cbrt (/ t (- 1.0 z))) (* (cbrt (/ t (- 1.0 z))) (cbrt (/ t (- 1.0 z))))))))
208.0ms
(cbrt (/ t (- 1.0 z)))
193.0ms
(cbrt (/ t (- 1.0 z)))
201.0ms
(cbrt (/ t (- 1.0 z)))

simplify1.1s

Counts
130 → 130
Iterations
IterNodes
done5001
21110
1376
0187

prune1.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

regimes607.0ms

Accuracy

70.1% (1.3b remaining)

Error of 1.4b against oracle of 0.0b and baseline of 4.5b

bsearch2.0ms

simplify13.0ms

Iterations
IterNodes
done52
352
251
144
029

end0.0ms

sample1.5s

Algorithm
intervals
Results
869.0ms10114×body80valid