Details

Time bar (total: 32.6s)

sample62.0ms

Algorithm
intervals
Results
23.0ms50×body1280valid
14.0ms48×body640valid
9.0ms124×body80valid
5.0ms22×body320valid
2.0ms12×body160valid

simplify39.0ms

Calls
1 calls:
Slowest
39.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.7b

localize33.0ms

Local error

Found 3 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt
4×*-un-lft-identity add-cube-cbrt
3×pow1 associate-/r* add-cbrt-cube add-exp-log insert-posit16 add-log-exp
2×flip3-+ associate-/r/ flip-+
1×+-commutative clear-num sub-neg frac-2neg flip3-- difference-of-sqr-1 div-inv flip--
Calls
3 calls:
Slowest
7.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
2.0ms
(+ 1 (exp (* -2 x)))
1.0ms
(/ 2 (+ 1 (exp (* -2 x))))

series80.0ms

Calls
3 calls:
Slowest
49.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
21.0ms
(/ 2 (+ 1 (exp (* -2 x))))
10.0ms
(+ 1 (exp (* -2 x)))

simplify720.0ms

Calls
15 calls:
Slowest
131.0ms
(+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x)))))
114.0ms
(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
85.0ms
(- (+ (* 2 (pow x 2)) 2) (* 2 x))
77.0ms
(- (+ x 1) (* 1/3 (pow x 3)))
42.0ms
(- (* 2 (/ 1 (+ (exp (* -2 x)) 1))) 1)

prune455.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

18.4b
(+ (* (pow x 5) 2/15) (* x (* (* x x) -1/3)))
0.2b
(* (* x x) -1/3)
0.1b
(* x (* (* x x) -1/3))
0.1b
(* (pow x 5) 2/15)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube associate-*l* add-exp-log insert-posit16
3×*-commutative
1×+-commutative sum-log flip3-+ associate-*r* flip-+
Calls
4 calls:
Slowest
10.0ms
(* x (* (* x x) -1/3))
8.0ms
(+ (* (pow x 5) 2/15) (* x (* (* x x) -1/3)))
4.0ms
(* (* x x) -1/3)
4.0ms
(* (pow x 5) 2/15)

series133.0ms

Calls
4 calls:
Slowest
71.0ms
(+ (* (pow x 5) 2/15) (* x (* (* x x) -1/3)))
26.0ms
(* x (* (* x x) -1/3))
19.0ms
(* (pow x 5) 2/15)
16.0ms
(* (* x x) -1/3)

simplify368.0ms

Calls
15 calls:
Slowest
76.0ms
(- (* 2/15 (pow x 5)) (* 1/3 (pow x 3)))
60.0ms
(- (* 2/15 (pow x 5)) (* 1/3 (pow x 3)))
56.0ms
(* (exp (* (pow x 5) 2/15)) (exp (* x (* (* x x) -1/3))))
55.0ms
(- (* 2/15 (pow x 5)) (* 1/3 (pow x 3)))
17.0ms
(* -1/3 (pow x 3))

prune522.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
9×pow1
8×add-cbrt-cube add-exp-log
6×associate-*r* associate-*l* associate-/r/ add-log-exp
5×difference-of-squares
4×flip3-+ flip-+ insert-posit16 associate-/l*
3×associate-/r* div-inv
2×flip3-- flip-- associate-/l/
1×pow2 frac-times cbrt-undiv +-commutative clear-num sub-neg frac-2neg pow-plus diff-log div-sub div-exp pow-prod-down associate-*l/ prod-exp associate-*r/ *-commutative pow-prod-up cbrt-unprod
Calls
4 calls:
Slowest
35.0ms
(/ (- (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (* 1 1)) (+ (/ 2 (+ 1 (exp (* -2 x)))) 1))
8.0ms
(+ (/ 2 (+ 1 (exp (* -2 x)))) 1)
6.0ms
(- (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (* 1 1))
4.0ms
(* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x)))))

series202.0ms

Calls
4 calls:
Slowest
112.0ms
(/ (- (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (* 1 1)) (+ (/ 2 (+ 1 (exp (* -2 x)))) 1))
37.0ms
(- (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (* 1 1))
31.0ms
(+ (/ 2 (+ 1 (exp (* -2 x)))) 1)
22.0ms
(* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x)))))

simplify8.7s

Calls
72 calls:
Slowest
641.0ms
(/ (- (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (* 1 1)) (+ (/ 2 (+ 1 (exp (* -2 x)))) 1))
393.0ms
(/ (- (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (* 1 1)) (cbrt (+ (/ 2 (+ 1 (exp (* -2 x)))) 1)))
365.0ms
(+ (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (- (* 1 1) (* (/ 2 (+ 1 (exp (* -2 x)))) 1)))
315.0ms
(- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x)))))) (* (* 1 1) (* 1 1)))
296.0ms
(/ (- (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (* 1 1)) (sqrt (+ (/ 2 (+ 1 (exp (* -2 x)))) 1)))

prune1.0s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
13×flip3-+ flip-+
12×times-frac
10×associate-/r/
9×pow1
8×frac-times add-cbrt-cube add-exp-log
5×difference-of-sqr-1
4×associate-/r* associate-*l/ associate-*r/ insert-posit16 associate-/l* add-log-exp
3×associate-*r* associate-*l*
2×clear-num frac-2neg flip3-- div-inv flip-- associate-/l/
1×pow2 distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in pow-plus div-sub div-exp pow-prod-down prod-exp *-commutative pow-prod-up cbrt-unprod
Calls
4 calls:
Slowest
46.0ms
(/ (- (/ 4 (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))))) 1) (+ (/ 2 (+ 1 (exp (* -2 x)))) 1))
31.0ms
(- (/ 4 (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))))) 1)
6.0ms
(* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))))
2.0ms
(/ 4 (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))))

series184.0ms

Calls
4 calls:
Slowest
96.0ms
(/ (- (/ 4 (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))))) 1) (+ (/ 2 (+ 1 (exp (* -2 x)))) 1))
34.0ms
(- (/ 4 (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))))) 1)
32.0ms
(/ 4 (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))))
23.0ms
(* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))))

simplify15.7s

Calls
84 calls:
Slowest
751.0ms
(* (+ (pow 1 3) (pow (exp (* -2 x)) 3)) (+ 1 (exp (* -2 x))))
655.0ms
(* (+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x))))) (+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x))))))
643.0ms
(* (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x)))) (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x)))))
581.0ms
(* (+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x))))) (+ (* 1 1) (- (* (exp (* -2 x)) (exp (* -2 x))) (* 1 (exp (* -2 x))))))
520.0ms
(/ (/ 4 (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))))) (+ (/ 2 (+ 1 (exp (* -2 x)))) 1))

prune1.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes407.0ms

Accuracy

100% (0.0b remaining)

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

bsearch217.0ms

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.0s1736×body1280valid
532.0ms1220×body640valid
460.0ms4087×body80valid
167.0ms634×body320valid
55.0ms323×body160valid