Details

Time bar (total: 2.2m)

sample94.0ms

Algorithm
intervals
Results
33.0ms64×body1280valid
14.0ms45×body640valid
9.0ms116×body80valid
5.0ms20×body320valid
2.0ms11×body160valid

simplify190.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
189.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.6b

localize34.0ms

Local error

Found 3 expressions with local error:

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

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
101×*-un-lft-identity
74×add-sqr-sqrt
63×times-frac add-cube-cbrt
54×prod-diff
18×fma-neg
17×distribute-lft-out
10×associate-/r/
8×add-exp-log
7×add-log-exp
6×flip3-+ flip-+
5×add-cbrt-cube div-inv
4×associate-/r* difference-of-squares
3×expm1-log1p-u pow1 fma-def insert-posit16 log1p-expm1-u associate-/l*
2×expm1-def difference-of-sqr-1 div-exp
1×cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg flip3-- diff-log flip-- distribute-lft-out--
Counts
3 → 150
Calls
3 calls:
Slowest
98.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
24.0ms
(/ 2 (+ 1 (exp (* -2 x))))
13.0ms
(+ 1 (exp (* -2 x)))

series121.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
83.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
26.0ms
(/ 2 (+ 1 (exp (* -2 x))))
11.0ms
(+ 1 (exp (* -2 x)))

simplify23.8s

Counts
185 → 159
Calls
185 calls:
Slowest
691.0ms
(fma (/ 2 (- (* 1 1) (* (exp (* -2 x)) (exp (* -2 x))))) (- 1 (exp (* -2 x))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
562.0ms
(/ 2 (- (* 1 1) (* (exp (* -2 x)) (exp (* -2 x)))))
423.0ms
(fma (/ 2 (+ (pow 1 3) (pow (exp (* -2 x)) 3))) (+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x))))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
418.0ms
(/ (* (* 2 2) 2) (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x)))))
387.0ms
(+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x)))))

prune1.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize22.0ms

Local error

Found 3 expressions with local error:

12.9b
(fma (* x -1/3) (* x x) (fma 2/15 (pow x 5) x))
0.3b
(* x -1/3)
0.0b
(fma 2/15 (pow x 5) x)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt
5×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
3×expm1-log1p-u associate-*r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
2×fma-udef
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 43
Calls
3 calls:
Slowest
7.0ms
(* x -1/3)
0.0ms
(fma (* x -1/3) (* x x) (fma 2/15 (pow x 5) x))
0.0ms
(fma 2/15 (pow x 5) x)

series303.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
190.0ms
(fma 2/15 (pow x 5) x)
96.0ms
(fma (* x -1/3) (* x x) (fma 2/15 (pow x 5) x))
17.0ms
(* x -1/3)

simplify1.2s

Counts
18 → 52
Calls
18 calls:
Slowest
205.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
186.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
185.0ms
(* (* (* x x) x) (* (* -1/3 -1/3) -1/3))
182.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
148.0ms
(+ x (* 2/15 (pow x 5)))

prune523.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
101×*-un-lft-identity
74×add-sqr-sqrt
63×times-frac add-cube-cbrt
54×prod-diff
18×fma-neg
17×distribute-lft-out
10×associate-/r/
8×add-exp-log
7×add-log-exp
6×flip3-+ flip-+
5×add-cbrt-cube div-inv
4×associate-/r* difference-of-squares
3×expm1-log1p-u pow1 fma-def insert-posit16 log1p-expm1-u associate-/l*
2×expm1-def difference-of-sqr-1 div-exp
1×cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg flip3-- diff-log flip-- distribute-lft-out--
Counts
3 → 150
Calls
3 calls:
Slowest
124.0ms
(- (/ 2 (+ (exp (* -2 x)) 1)) 1)
21.0ms
(+ (exp (* -2 x)) 1)
18.0ms
(/ 2 (+ (exp (* -2 x)) 1))

series107.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
72.0ms
(- (/ 2 (+ (exp (* -2 x)) 1)) 1)
22.0ms
(/ 2 (+ (exp (* -2 x)) 1))
12.0ms
(+ (exp (* -2 x)) 1)

simplify24.0s

Counts
185 → 159
Calls
185 calls:
Slowest
670.0ms
(+ (* (exp (* -2 x)) (exp (* -2 x))) (- (* 1 1) (* (exp (* -2 x)) 1)))
665.0ms
(/ 2 (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 1)))
446.0ms
(fma (/ 2 (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 1))) (- (exp (* -2 x)) 1) (- (* (sqrt 1) (sqrt 1))))
386.0ms
(fma (/ 2 (+ (pow (exp (* -2 x)) 3) (pow 1 3))) (+ (* (exp (* -2 x)) (exp (* -2 x))) (- (* 1 1) (* (exp (* -2 x)) 1))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
385.0ms
(/ (* (* 2 2) 2) (* (* (+ (exp (* -2 x)) 1) (+ (exp (* -2 x)) 1)) (+ (exp (* -2 x)) 1)))

prune1.6s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

3.6b
(- (sqrt (/ 2 (+ (exp (* -2 x)) 1))) 1)
0.2b
(* (+ (sqrt (/ 2 (+ (exp (* -2 x)) 1))) 1) (- (sqrt (/ 2 (+ (exp (* -2 x)) 1))) 1))
0.0b
(/ 2 (+ (exp (* -2 x)) 1))
0.0b
(/ 2 (+ (exp (* -2 x)) 1))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
268×*-un-lft-identity
212×add-sqr-sqrt
195×sqrt-prod
189×prod-diff
177×add-cube-cbrt
150×times-frac
65×distribute-rgt-in distribute-lft-in
40×distribute-lft-out
24×associate-/r/
21×fma-neg
15×flip3-+ flip-+
14×associate-*r*
12×div-inv difference-of-squares
11×add-exp-log
10×add-cbrt-cube
8×associate-/r*
6×pow1 difference-of-sqr-1 associate-/l* add-log-exp
5×associate-*l*
4×expm1-log1p-u frac-times flip3-- insert-posit16 log1p-expm1-u flip-- distribute-lft-out--
3×sub-neg
2×cbrt-undiv clear-num frac-2neg div-exp associate-*l/ associate-*r/
1×expm1-def diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 355
Calls
4 calls:
Slowest
846.0ms
(* (+ (sqrt (/ 2 (+ (exp (* -2 x)) 1))) 1) (- (sqrt (/ 2 (+ (exp (* -2 x)) 1))) 1))
175.0ms
(- (sqrt (/ 2 (+ (exp (* -2 x)) 1))) 1)
28.0ms
(/ 2 (+ (exp (* -2 x)) 1))
20.0ms
(/ 2 (+ (exp (* -2 x)) 1))

series609.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
411.0ms
(* (+ (sqrt (/ 2 (+ (exp (* -2 x)) 1))) 1) (- (sqrt (/ 2 (+ (exp (* -2 x)) 1))) 1))
121.0ms
(- (sqrt (/ 2 (+ (exp (* -2 x)) 1))) 1)
39.0ms
(/ 2 (+ (exp (* -2 x)) 1))
38.0ms
(/ 2 (+ (exp (* -2 x)) 1))

simplify1.1m

Counts
410 → 367
Calls
410 calls:
Slowest
764.0ms
(sqrt (/ 2 (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 1))))
641.0ms
(* (+ (* (sqrt (/ 2 (+ (exp (* -2 x)) 1))) (sqrt (/ 2 (+ (exp (* -2 x)) 1)))) (- (* 1 1) (* (sqrt (/ 2 (+ (exp (* -2 x)) 1))) 1))) (+ (* (sqrt (/ 2 (+ (exp (* -2 x)) 1))) (sqrt (/ 2 (+ (exp (* -2 x)) 1)))) (+ (* 1 1) (* (sqrt (/ 2 (+ (exp (* -2 x)) 1))) 1))))
598.0ms
(+ (* (exp (* -2 x)) (exp (* -2 x))) (- (* 1 1) (* (exp (* -2 x)) 1)))
594.0ms
(* (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (+ (sqrt (/ 2 (+ (exp (* -2 x)) 1))) 1))
559.0ms
(+ (* (exp (* -2 x)) (exp (* -2 x))) (- (* 1 1) (* (exp (* -2 x)) 1)))

prune5.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes238.0ms

Accuracy

100% (0.0b remaining)

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

bsearch157.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.0s1720×body1280valid
812.0ms4009×body80valid
644.0ms1315×body640valid
215.0ms631×body320valid
93.0ms325×body160valid