Details

Time bar (total: 46.5s)

sample33.0ms

Algorithm
intervals
Results
13.0ms342×body80valid

simplify135.0ms

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

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.0b

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite397.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:
18.0ms
(/ t (- 1.0 z))
63.0ms
(- (/ y z) (/ t (- 1.0 z)))
216.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series223.0ms

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

simplify2.2s

Counts
936 → 936
Iterations
IterNodes
done5002
12222
01009

prune4.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 1.1b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- t) (- 1.0 z))
0.0b
(/ t (- 1.0 z))
0.1b
(fma y (/ 1 z) (/ (- t) (- 1.0 z)))
5.7b
(* x (+ (fma y (/ 1 z) (/ (- t) (- 1.0 z))) (+ (/ (- t) (- 1.0 z)) (/ t (- 1.0 z)))))

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
80×*-un-lft-identity
77×add-sqr-sqrt
65×times-frac
45×add-cube-cbrt
18×distribute-lft-neg-in distribute-rgt-neg-in
15×distribute-lft-out-- difference-of-squares
13×associate-/l*
10×associate-/r* add-cbrt-cube add-exp-log
6×pow1 neg-mul-1
5×associate-*r*
4×expm1-log1p-u associate-/r/ log1p-expm1-u add-log-exp
3×associate-*l* distribute-lft-out
2×cbrt-undiv clear-num frac-2neg flip3-- div-exp associate-*r/ div-inv flip--
1×neg-sub0 distribute-rgt-in distribute-lft-in flip3-+ div-sub pow-prod-down prod-exp distribute-frac-neg *-commutative cbrt-unprod flip-+ fma-udef unswap-sqr
Counts
4 → 158
Calls
4 calls:
12.0ms
(/ (- t) (- 1.0 z))
10.0ms
(/ t (- 1.0 z))
0.0ms
(fma y (/ 1 z) (/ (- t) (- 1.0 z)))
1.5s
(* x (+ (fma y (/ 1 z) (/ (- t) (- 1.0 z))) (+ (/ (- t) (- 1.0 z)) (/ t (- 1.0 z)))))

series321.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(/ (- t) (- 1.0 z))
67.0ms
(/ t (- 1.0 z))
93.0ms
(fma y (/ 1 z) (/ (- t) (- 1.0 z)))
113.0ms
(* x (+ (fma y (/ 1 z) (/ (- t) (- 1.0 z))) (+ (/ (- t) (- 1.0 z)) (/ t (- 1.0 z)))))

simplify1.0s

Counts
170 → 170
Iterations
IterNodes
done5001
22312
1586
0236

prune1.1s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
0.0b
(/ (- 1.0 z) t)
0.9b
(/ 1 (/ (- 1.0 z) t))
5.7b
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
5831×times-frac
4016×add-sqr-sqrt
3970×*-un-lft-identity
3214×add-cube-cbrt
2418×prod-diff
808×distribute-rgt-in distribute-lft-in
387×difference-of-squares
373×distribute-lft-out--
351×div-inv
40×associate-/r/
22×associate-/r*
19×add-exp-log
16×associate-*r*
13×add-cbrt-cube fma-neg
8×div-exp associate-/l*
7×pow1
6×add-log-exp
4×expm1-log1p-u cbrt-undiv log1p-expm1-u
3×sub-neg flip3-- associate-*l* associate-*r/ flip--
2×rec-exp clear-num frac-2neg 1-exp frac-sub associate-/l/
1×diff-log div-sub pow-prod-down prod-exp *-commutative cbrt-unprod pow-flip inv-pow unswap-sqr
Counts
4 → 2641
Calls
4 calls:
125.0ms
(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
30.0ms
(/ (- 1.0 z) t)
26.0ms
(/ 1 (/ (- 1.0 z) t))
548.0ms
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

series238.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
62.0ms
(/ (- 1.0 z) t)
51.0ms
(/ 1 (/ (- 1.0 z) t))
74.0ms
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

simplify5.4s

Counts
2653 → 2653
Iterations
IterNodes
done5000
02671

prune18.8s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
2.9b
(* (* (cbrt x) (cbrt x)) (* (+ (- (/ t (- 1.0 z)) (/ t (- 1.0 z))) (- (/ y z) (/ t (- 1.0 z)))) (cbrt x)))
3.1b
(* (+ (- (/ t (- 1.0 z)) (/ t (- 1.0 z))) (- (/ y z) (/ t (- 1.0 z)))) (cbrt x))

rewrite3.7s

Algorithm
rewrite-expression-head
Rules
97×*-un-lft-identity
32×times-frac distribute-lft-out--
28×associate-*l/
24×frac-add
18×pow1 add-exp-log
16×associate-*l*
14×flip3-- associate-*r/ frac-sub flip--
13×add-sqr-sqrt
12×distribute-lft-out
11×add-cbrt-cube
10×cbrt-prod
9×pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
7×associate-*r*
6×sub-div
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×flip3-+ pow1/3 *-commutative flip-+ unswap-sqr
Counts
4 → 114
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.6s
(* (* (cbrt x) (cbrt x)) (* (+ (- (/ t (- 1.0 z)) (/ t (- 1.0 z))) (- (/ y z) (/ t (- 1.0 z)))) (cbrt x)))
2.1s
(* (+ (- (/ t (- 1.0 z)) (/ t (- 1.0 z))) (- (/ y z) (/ t (- 1.0 z)))) (cbrt x))

series963.0ms

Counts
4 → 12
Calls
4 calls:
313.0ms
(cbrt x)
301.0ms
(cbrt x)
133.0ms
(* (* (cbrt x) (cbrt x)) (* (+ (- (/ t (- 1.0 z)) (/ t (- 1.0 z))) (- (/ y z) (/ t (- 1.0 z)))) (cbrt x)))
216.0ms
(* (+ (- (/ t (- 1.0 z)) (/ t (- 1.0 z))) (- (/ y z) (/ t (- 1.0 z)))) (cbrt x))

simplify1.9s

Counts
126 → 126
Iterations
IterNodes
done5002
23768
1689
0217

prune753.0ms

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 0.0b

regimes757.0ms

Accuracy

84.6% (0.7b remaining)

Error of 0.8b against oracle of 0.0b and baseline of 4.7b

bsearch2.0ms

simplify9.0ms

Iterations
IterNodes
done66
366
265
162
047

end0.0ms

sample1.3s

Algorithm
intervals
Results
631.0ms10130×body80valid