Details

Time bar (total: 19.7s)

sample107.0ms

Algorithm
intervals
Results
54.0ms61×body1280valid
17.0ms39×body640valid
12.0ms122×body80valid
9.0ms25×body320valid
2.0ms9×body160valid

simplify2.6s

Counts
1 → 1
Iterations
IterNodes
done5002
71177
6317
5136
459
333
223
118
09

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.7b

localize25.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ 2 (+ 1 (exp (* -2 x))))
2.7b
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
97×*-un-lft-identity
72×add-sqr-sqrt
63×times-frac
61×add-cube-cbrt
54×prod-diff
18×fma-neg
16×distribute-lft-out
10×associate-/r/
7×add-exp-log
5×flip3-+ flip-+ div-inv
4×associate-/r* add-cbrt-cube add-log-exp difference-of-squares
3×associate-/l*
2×expm1-log1p-u pow1 expm1-def difference-of-sqr-1 div-exp insert-posit16 log1p-expm1-u
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-- diff-log flip-- distribute-lft-out--
Counts
2 → 132
Calls
2 calls:
23.0ms
(/ 2 (+ 1 (exp (* -2 x))))
97.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

series118.0ms

Counts
2 → 6
Calls
2 calls:
27.0ms
(/ 2 (+ 1 (exp (* -2 x))))
91.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

simplify2.7s

Counts
138 → 138
Iterations
IterNodes
done5058
32776
2984
1397
0172

prune504.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize26.0ms

Local error

Found 3 expressions with local error:

0.1b
(fma (* (* x x) x) -1/3 x)
0.1b
(* (* x x) x)
16.9b
(fma (pow x 5) 2/15 (fma (* (* x x) x) -1/3 x))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
22×pow1
8×add-cbrt-cube add-exp-log
6×pow-plus pow-prod-up
5×add-sqr-sqrt
4×*-un-lft-identity add-cube-cbrt
3×expm1-log1p-u associate-*r* pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
2×pow2 pow-sqr fma-udef
1×associate-*l* pow3 *-commutative unswap-sqr
Counts
3 → 53
Calls
3 calls:
0.0ms
(fma (* (* x x) x) -1/3 x)
20.0ms
(* (* x x) x)
1.0ms
(fma (pow x 5) 2/15 (fma (* (* x x) x) -1/3 x))

series264.0ms

Counts
3 → 9
Calls
3 calls:
105.0ms
(fma (* (* x x) x) -1/3 x)
64.0ms
(* (* x x) x)
94.0ms
(fma (pow x 5) 2/15 (fma (* (* x x) x) -1/3 x))

simplify1.4s

Counts
62 → 62
Iterations
IterNodes
done5003
31547
2379
1134
071

prune253.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ 2 (+ 1 (exp (* x -2))))
2.7b
(- (/ 2 (+ 1 (exp (* x -2)))) 1)

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
97×*-un-lft-identity
72×add-sqr-sqrt
63×times-frac
61×add-cube-cbrt
54×prod-diff
18×fma-neg
16×distribute-lft-out
10×associate-/r/
7×add-exp-log
5×flip3-+ flip-+ div-inv
4×associate-/r* add-cbrt-cube add-log-exp difference-of-squares
3×associate-/l*
2×expm1-log1p-u pow1 expm1-def difference-of-sqr-1 div-exp insert-posit16 log1p-expm1-u
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-- diff-log flip-- distribute-lft-out--
Counts
2 → 132
Calls
2 calls:
11.0ms
(/ 2 (+ 1 (exp (* x -2))))
69.0ms
(- (/ 2 (+ 1 (exp (* x -2)))) 1)

series105.0ms

Counts
2 → 6
Calls
2 calls:
27.0ms
(/ 2 (+ 1 (exp (* x -2))))
78.0ms
(- (/ 2 (+ 1 (exp (* x -2)))) 1)

simplify3.0s

Counts
138 → 138
Iterations
IterNodes
done5000
32975
21011
1403
0174

prune375.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 2 (+ 1 (exp (* x -2))))
0.0b
(/ (/ 8 (+ 1 (exp (* x -2)))) (* (+ 1 (exp (* x -2))) (+ 1 (exp (* x -2)))))
0.0b
(+ (/ 2 (+ 1 (exp (* x -2)))) (fma (/ 2 (+ 1 (exp (* x -2)))) (/ 2 (+ 1 (exp (* x -2)))) 1))
2.7b
(- (/ (/ 8 (+ 1 (exp (* x -2)))) (* (+ 1 (exp (* x -2))) (+ 1 (exp (* x -2))))) 1)

rewrite231.0ms

Algorithm
rewrite-expression-head
Rules
195×times-frac
160×*-un-lft-identity
118×add-sqr-sqrt
103×add-cube-cbrt
90×prod-diff
56×associate-/r/
39×flip3-+ flip-+
31×add-exp-log
30×fma-neg
26×distribute-lft-out
21×associate-/l*
20×frac-times
18×fma-def add-cbrt-cube
13×div-exp div-inv
10×associate-*l/ associate-*r/
8×add-log-exp
7×cbrt-undiv
6×difference-of-squares
5×expm1-def associate-/r*
4×expm1-log1p-u pow1 prod-exp insert-posit16 log1p-expm1-u
3×difference-of-sqr-1
2×clear-num frac-2neg cbrt-unprod
1×+-commutative associate-+r+ sum-log sub-neg flip3-- diff-log fma-udef flip-- distribute-lft-out-- associate-/l/
Counts
4 → 287
Calls
4 calls:
15.0ms
(/ 2 (+ 1 (exp (* x -2))))
42.0ms
(/ (/ 8 (+ 1 (exp (* x -2)))) (* (+ 1 (exp (* x -2))) (+ 1 (exp (* x -2)))))
40.0ms
(+ (/ 2 (+ 1 (exp (* x -2)))) (fma (/ 2 (+ 1 (exp (* x -2)))) (/ 2 (+ 1 (exp (* x -2)))) 1))
128.0ms
(- (/ (/ 8 (+ 1 (exp (* x -2)))) (* (+ 1 (exp (* x -2))) (+ 1 (exp (* x -2))))) 1)

series281.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(/ 2 (+ 1 (exp (* x -2))))
65.0ms
(/ (/ 8 (+ 1 (exp (* x -2)))) (* (+ 1 (exp (* x -2))) (+ 1 (exp (* x -2)))))
82.0ms
(+ (/ 2 (+ 1 (exp (* x -2)))) (fma (/ 2 (+ 1 (exp (* x -2)))) (/ 2 (+ 1 (exp (* x -2)))) 1))
97.0ms
(- (/ (/ 8 (+ 1 (exp (* x -2)))) (* (+ 1 (exp (* x -2))) (+ 1 (exp (* x -2))))) 1)

simplify2.9s

Counts
299 → 299
Iterations
IterNodes
done5005
23273
1943
0370

prune1.7s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes144.0ms

Accuracy

100% (0.0b remaining)

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

bsearch218.0ms

Steps
ItersRangePoint
8
0.0004981816479932727
5.220773054910798
0.006963305059651398
10
-0.5767180207385502
-1.7878892965255107e-15
-0.006778948484773374

simplify7.0ms

Iterations
IterNodes
done39
139
030

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.1s1708×body1280valid
581.0ms1233×body640valid
358.0ms4112×body80valid
187.0ms625×body320valid
56.0ms322×body160valid