Details

Time bar (total: 16.2s)

sample108.0ms

Algorithm
intervals
Results
67.0ms175×body1280valid
10.0ms46×body640valid
9.0ms251×body80valid
2.0ms17×body320valid
1.0ms12×body160valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
done5000
102899
9809
8249
788
671
562
456
340
226
114
07

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.7b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (exp (- x)) 2.0)
4.2b
(+ (- (exp (- x)) 2.0) (exp x))

rewrite169.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
20×add-sqr-sqrt
18×prod-diff
16×add-cube-cbrt
11×associate-+l+
9×add-log-exp
5×fma-def
3×fma-neg distribute-lft-out--
2×expm1-log1p-u pow1 sum-log sub-neg add-cbrt-cube diff-log add-exp-log log1p-expm1-u distribute-lft-out difference-of-squares
1×+-commutative flip3-+ flip3-- associate-+l- flip-+ flip--
Counts
2 → 61
Calls
2 calls:
32.0ms
(- (exp (- x)) 2.0)
134.0ms
(+ (- (exp (- x)) 2.0) (exp x))

series88.0ms

Counts
2 → 6
Calls
2 calls:
24.0ms
(- (exp (- x)) 2.0)
64.0ms
(+ (- (exp (- x)) 2.0) (exp x))

simplify731.0ms

Counts
67 → 67
Iterations
IterNodes
done5001
21104
1278
0111

prune335.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x)))
0.0b
(fma (pow x 4) 1/12 (* x x))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
2×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef log1p-expm1-u add-log-exp
Counts
2 → 20
Calls
2 calls:
0.0ms
(fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x)))
0.0ms
(fma (pow x 4) 1/12 (* x x))

series253.0ms

Counts
2 → 6
Calls
2 calls:
103.0ms
(fma (pow x 6) 1/360 (fma (pow x 4) 1/12 (* x x)))
150.0ms
(fma (pow x 4) 1/12 (* x x))

simplify1.1s

Counts
26 → 26
Iterations
IterNodes
done5002
31140
2217
157
037

prune167.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (pow x 6) 1/360 (exp (log (fma (pow x 4) 1/12 (pow x 2)))))
0.0b
(fma (pow x 4) 1/12 (pow x 2))
3.1b
(exp (log (fma (pow x 4) 1/12 (pow x 2))))
27.2b
(log (fma (pow x 4) 1/12 (pow x 2)))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow1 log-prod
5×add-exp-log
4×expm1-log1p-u exp-prod add-cbrt-cube log1p-expm1-u add-log-exp
3×exp-sum
2×log-pow fma-udef
1×rem-log-exp rem-exp-log
Counts
4 → 51
Calls
4 calls:
0.0ms
(fma (pow x 6) 1/360 (exp (log (fma (pow x 4) 1/12 (pow x 2)))))
0.0ms
(fma (pow x 4) 1/12 (pow x 2))
3.0ms
(exp (log (fma (pow x 4) 1/12 (pow x 2))))
1.0ms
(log (fma (pow x 4) 1/12 (pow x 2)))

series481.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(fma (pow x 6) 1/360 (exp (log (fma (pow x 4) 1/12 (pow x 2)))))
138.0ms
(fma (pow x 4) 1/12 (pow x 2))
167.0ms
(exp (log (fma (pow x 4) 1/12 (pow x 2))))
89.0ms
(log (fma (pow x 4) 1/12 (pow x 2)))

simplify2.4s

Counts
63 → 63
Iterations
IterNodes
done5001
32848
2520
1166
092

prune360.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (exp (- x)) (+ (exp x) 2.0))
0.0b
(- (exp (- x)) 2.0)
0.0b
(- (exp (- x)) 2.0)
4.9b
(- (* (- (exp (- x)) 2.0) (- (exp (- x)) 2.0)) (exp (+ x x)))

rewrite237.0ms

Algorithm
rewrite-expression-head
Rules
54×*-un-lft-identity
52×prod-diff
46×add-sqr-sqrt
39×add-cube-cbrt
22×associate--l+
15×add-log-exp
11×distribute-rgt-in distribute-lft-in
10×fma-neg
6×sub-neg
5×diff-log difference-of-squares
4×expm1-log1p-u pow1 flip3-- add-cbrt-cube add-exp-log frac-sub log1p-expm1-u flip-- distribute-lft-out distribute-lft-out--
2×neg-sub0 exp-neg flip3-+ exp-diff exp-sum flip-+
1×sum-log associate--r+
Counts
4 → 137
Calls
4 calls:
66.0ms
(- (exp (- x)) (+ (exp x) 2.0))
28.0ms
(- (exp (- x)) 2.0)
26.0ms
(- (exp (- x)) 2.0)
109.0ms
(- (* (- (exp (- x)) 2.0) (- (exp (- x)) 2.0)) (exp (+ x x)))

series189.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(- (exp (- x)) (+ (exp x) 2.0))
22.0ms
(- (exp (- x)) 2.0)
16.0ms
(- (exp (- x)) 2.0)
123.0ms
(- (* (- (exp (- x)) 2.0) (- (exp (- x)) 2.0)) (exp (+ x x)))

simplify1.7s

Counts
149 → 149
Iterations
IterNodes
done5000
23541
1648
0239

prune641.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes39.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done10
010

end0.0ms

sample4.8s

Algorithm
intervals
Results
3.5s5687×body1280valid
424.0ms7897×body80valid
372.0ms1226×body640valid
103.0ms603×body320valid
34.0ms309×body160valid