Details

Time bar (total: 20.3s)

sample244.0ms

Algorithm
intervals
Results
97.0ms48×body1280valid
50.0ms60×body10240exit
30.0ms299×body80valid
13.0ms32×body640valid
7.0ms23×body320valid
2.0ms10×body160valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5001
42356
3395
2124
147
019

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.3b

localize64.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- 1.0 eps) x)
0.1b
(exp (- (* (- 1.0 eps) x)))
0.1b
(exp (- (* (+ 1.0 eps) x)))
2.2b
(- (* (+ 1.0 (/ 1.0 eps)) (exp (- (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (- (* (+ 1.0 eps) x)))))

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
81×frac-sub
74×exp-neg
72×frac-times
56×neg-sub0 exp-diff
38×associate-*l/
36×associate-*r/
29×flip3-- flip--
27×flip3-+ flip-+
18×un-div-inv
12×add-sqr-sqrt exp-prod
10×*-un-lft-identity add-log-exp
8×add-cube-cbrt
6×pow1 add-cbrt-cube add-exp-log
5×associate-*l*
4×expm1-log1p-u log1p-expm1-u rem-exp-log
3×associate-*r*
2×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in neg-log
1×sub-neg fma-neg diff-log prod-diff pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 159
Calls
4 calls:
35.0ms
(* (- 1.0 eps) x)
18.0ms
(exp (- (* (- 1.0 eps) x)))
11.0ms
(exp (- (* (+ 1.0 eps) x)))
48.0ms
(- (* (+ 1.0 (/ 1.0 eps)) (exp (- (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (- (* (+ 1.0 eps) x)))))

series481.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(* (- 1.0 eps) x)
53.0ms
(exp (- (* (- 1.0 eps) x)))
58.0ms
(exp (- (* (+ 1.0 eps) x)))
314.0ms
(- (* (+ 1.0 (/ 1.0 eps)) (exp (- (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (- (* (+ 1.0 eps) x)))))

simplify657.0ms

Counts
171 → 171
Iterations
IterNodes
done5000
11328
0389

prune798.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize27.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma (pow x 3) 0.6666666666666667 2.0)
6.6b
(- (fma (pow x 3) 0.6666666666666667 2.0) (* (* 1.0 x) x))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
3×fma-neg prod-diff
2×expm1-log1p-u pow1 add-cbrt-cube add-exp-log fma-udef log1p-expm1-u
1×sub-neg flip3-- diff-log associate--l+ flip--
Counts
2 → 31
Calls
2 calls:
0.0ms
(fma (pow x 3) 0.6666666666666667 2.0)
10.0ms
(- (fma (pow x 3) 0.6666666666666667 2.0) (* (* 1.0 x) x))

series201.0ms

Counts
2 → 6
Calls
2 calls:
144.0ms
(fma (pow x 3) 0.6666666666666667 2.0)
57.0ms
(- (fma (pow x 3) 0.6666666666666667 2.0) (* (* 1.0 x) x))

simplify607.0ms

Counts
37 → 37
Iterations
IterNodes
done5000
2635
1127
056

prune260.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(expm1 (+ 2.0 (* (pow x 2) (- (* 0.6666666666666667 x) 1.0))))
0.0b
(* (pow x 2) (- (* 0.6666666666666667 x) 1.0))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
8×associate-*l*
7×*-un-lft-identity add-exp-log add-cube-cbrt
6×prod-diff
5×distribute-rgt-in distribute-lft-in
4×unpow-prod-down add-cbrt-cube unswap-sqr
3×associate-*r* prod-exp log1p-expm1-u
2×expm1-log1p-u pow1 sub-neg associate-*r/ unpow2 add-log-exp sqr-pow
1×pow-to-exp expm1-log1p flip3-- pow-exp *-commutative cbrt-unprod flip-- expm1-udef
Counts
2 → 52
Calls
2 calls:
0.0ms
(expm1 (+ 2.0 (* (pow x 2) (- (* 0.6666666666666667 x) 1.0))))
42.0ms
(* (pow x 2) (- (* 0.6666666666666667 x) 1.0))

series217.0ms

Counts
2 → 6
Calls
2 calls:
75.0ms
(expm1 (+ 2.0 (* (pow x 2) (- (* 0.6666666666666667 x) 1.0))))
142.0ms
(* (pow x 2) (- (* 0.6666666666666667 x) 1.0))

simplify1.3s

Counts
58 → 58
Iterations
IterNodes
done5002
21399
1291
0125

prune323.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize60.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (* x (- eps 1.0)))
0.1b
(exp (- (* x (+ eps 1.0))))
0.1b
(exp (- (* x (+ eps 1.0))))
2.2b
(- (+ (exp (- (* x (+ eps 1.0)))) (/ (exp (* x (- eps 1.0))) eps)) (/ (exp (- (* x (+ eps 1.0)))) eps))

rewrite898.0ms

Algorithm
rewrite-expression-head
Rules
119×*-un-lft-identity
94×prod-diff
79×add-sqr-sqrt
74×add-cube-cbrt
61×times-frac
50×exp-sum
28×distribute-neg-in
25×distribute-rgt-in distribute-lft-in
21×distribute-lft-out
15×add-log-exp
13×exp-prod
5×rem-exp-log
4×expm1-log1p-u pow1 add-cbrt-cube fma-neg add-exp-log frac-sub log1p-expm1-u div-inv
3×neg-sub0 exp-neg sub-neg exp-diff
2×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in diff-log neg-log frac-add distribute-lft-out-- difference-of-squares
1×sum-log flip3-+ flip3-- exp-to-pow associate--l+ flip-+ flip--
Counts
4 → 180
Calls
4 calls:
16.0ms
(exp (* x (- eps 1.0)))
10.0ms
(exp (- (* x (+ eps 1.0))))
10.0ms
(exp (- (* x (+ eps 1.0))))
847.0ms
(- (+ (exp (- (* x (+ eps 1.0)))) (/ (exp (* x (- eps 1.0))) eps)) (/ (exp (- (* x (+ eps 1.0)))) eps))

series220.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(exp (* x (- eps 1.0)))
37.0ms
(exp (- (* x (+ eps 1.0))))
40.0ms
(exp (- (* x (+ eps 1.0))))
112.0ms
(- (+ (exp (- (* x (+ eps 1.0)))) (/ (exp (* x (- eps 1.0))) eps)) (/ (exp (- (* x (+ eps 1.0)))) eps))

simplify1.8s

Counts
192 → 192
Iterations
IterNodes
done5001
23733
1945
0393

prune1.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.2b

regimes174.0ms

Accuracy

0% (0.8b remaining)

Error of 1.2b against oracle of 0.4b and baseline of 1.2b

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done41
341
239
135
023

end0.0ms

sample8.9s

Algorithm
intervals
Results
2.8s1969×body10240exit
2.3s10037×body80valid
2.1s1725×body1280valid
775.0ms1244×body640valid
250.0ms611×body320valid
73.0ms328×body160valid