Details

Time bar (total: 15.8s)

sample90.0ms

Algorithm
intervals
Results
32.0ms78×body10240exit
31.0ms82×body1280valid
8.0ms32×body640valid
5.0ms102×body80valid
5.0ms26×body320valid
1.0ms14×body160valid

simplify9.0ms

Calls
1 calls:
Slowest
9.0ms
(/ (exp x) (- (exp x) 1))

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 37.3b

localize16.0ms

Local error

Found 2 expressions with local error:

4.1b
(- (exp x) 1)
0.0b
(/ (exp x) (- (exp x) 1))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
29×*-un-lft-identity
21×times-frac
14×add-cube-cbrt
10×difference-of-squares
7×associate-/r*
5×difference-of-sqr-1 distribute-lft-out--
4×add-cbrt-cube add-log-exp
3×add-exp-log associate-/l*
2×pow1 flip3-- associate-/r/ insert-posit16 flip--
1×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp div-inv
Calls
2 calls:
Slowest
28.0ms
(/ (exp x) (- (exp x) 1))
17.0ms
(- (exp x) 1)

series68.0ms

Calls
2 calls:
Slowest
42.0ms
(/ (exp x) (- (exp x) 1))
25.0ms
(- (exp x) 1)

simplify1.8s

Calls
68 calls:
Slowest
463.0ms
(/ (* (* (exp x) (exp x)) (exp x)) (* (* (- (exp x) 1) (- (exp x) 1)) (- (exp x) 1)))
218.0ms
(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
76.0ms
(/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))))
47.0ms
(+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))
36.0ms
(/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) 1))

prune575.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 2 expressions with local error:

0.3b
(* 1/12 x)
0.0b
(+ (* 1/12 x) (+ (/ 1 x) 1/2))

rewrite57.0ms

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

series37.0ms

Calls
2 calls:
Slowest
21.0ms
(* 1/12 x)
15.0ms
(+ (* 1/12 x) (+ (/ 1 x) 1/2))

simplify1.1s

Calls
17 calls:
Slowest
436.0ms
(* (exp (* 1/12 x)) (* (exp (/ 1 x)) (exp 1/2)))
368.0ms
(* (exp (* 1/12 x)) (exp (+ (/ 1 x) 1/2)))
157.0ms
(* (* (* 1/12 1/12) 1/12) (* (* x x) x))
24.0ms
(+ (* 1/12 x) (+ (/ 1 x) 1/2))
23.0ms
(+ (* 1/12 x) (+ (/ 1 x) 1/2))

prune245.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

4.1b
(log (/ (exp (exp x)) E))
0.0b
(/ (exp (exp x)) E)
0.0b
(/ (exp x) (log (/ (exp (exp x)) E)))
0.0b
(exp (exp x))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
30×times-frac
29×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×log-prod
9×pow1
8×add-cbrt-cube add-exp-log
7×associate-/r*
6×associate-/l*
5×div-exp log-pow add-log-exp
4×insert-posit16
3×exp-prod rem-log-exp div-inv
2×cbrt-undiv e-exp-1 clear-num frac-2neg
1×log-div rem-exp-log
Calls
4 calls:
Slowest
19.0ms
(/ (exp x) (log (/ (exp (exp x)) E)))
15.0ms
(/ (exp (exp x)) E)
7.0ms
(exp (exp x))
4.0ms
(log (/ (exp (exp x)) E))

series345.0ms

Calls
4 calls:
Slowest
126.0ms
(/ (exp x) (log (/ (exp (exp x)) E)))
117.0ms
(log (/ (exp (exp x)) E))
59.0ms
(/ (exp (exp x)) E)
42.0ms
(exp (exp x))

simplify2.9s

Calls
90 calls:
Slowest
381.0ms
(/ (* (* (exp (exp x)) (exp (exp x))) (exp (exp x))) (* (* E E) E))
228.0ms
(/ (* (* (exp x) (exp x)) (exp x)) (* (* (log (/ (exp (exp x)) E)) (log (/ (exp (exp x)) E))) (log (/ (exp (exp x)) E))))
211.0ms
(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
127.0ms
(log (/ (* (cbrt (exp (exp x))) (cbrt (exp (exp x)))) (* (cbrt E) (cbrt E))))
109.0ms
(+ (* (pow x 2) E) (+ E (* x E)))

prune834.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

4.1b
(log (/ (* (sqrt (exp (exp x))) (sqrt (exp (exp x)))) E))
0.6b
(* (sqrt (exp (exp x))) (sqrt (exp (exp x))))
0.0b
(sqrt (exp (exp x)))
0.0b
(sqrt (exp (exp x)))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
34×sqrt-pow1
24×exp-prod *-un-lft-identity add-cube-cbrt sqrt-prod
22×pow1
15×add-exp-log
10×pow1/2
8×swap-sqr pow-prod-up
7×log-prod
6×add-cbrt-cube associate-*r* associate-*l* pow-prod-down pow-sqr
5×rem-log-exp
4×div-exp insert-posit16 add-log-exp unswap-sqr
3×times-frac prod-exp
2×rem-sqrt-square e-exp-1
1×pow2 log-div rem-square-sqrt pow-plus sqrt-unprod log-pow *-commutative cbrt-unprod div-inv
Calls
4 calls:
Slowest
23.0ms
(* (sqrt (exp (exp x))) (sqrt (exp (exp x))))
20.0ms
(log (/ (* (sqrt (exp (exp x))) (sqrt (exp (exp x)))) E))
4.0ms
(sqrt (exp (exp x)))
3.0ms
(sqrt (exp (exp x)))

series271.0ms

Calls
4 calls:
Slowest
110.0ms
(log (/ (* (sqrt (exp (exp x))) (sqrt (exp (exp x)))) E))
67.0ms
(sqrt (exp (exp x)))
59.0ms
(sqrt (exp (exp x)))
35.0ms
(* (sqrt (exp (exp x))) (sqrt (exp (exp x))))

simplify2.2s

Calls
119 calls:
Slowest
272.0ms
(* (exp (* (cbrt (exp x)) (cbrt (exp x)))) (exp (* (cbrt (exp x)) (cbrt (exp x)))))
188.0ms
(+ (* 1/2 (* x (sqrt E))) (+ (sqrt E) (* 3/8 (* (pow x 2) (sqrt E)))))
175.0ms
(+ (* 1/2 (* x (sqrt E))) (+ (sqrt E) (* 3/8 (* (pow x 2) (sqrt E)))))
174.0ms
(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
159.0ms
(* (* (* (sqrt (exp (exp x))) (sqrt (exp (exp x)))) (sqrt (exp (exp x)))) (* (* (sqrt (exp (exp x))) (sqrt (exp (exp x)))) (sqrt (exp (exp x)))))

prune1.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes93.0ms

Accuracy

99.2% (0.2b remaining)

Error of 0.5b against oracle of 0.3b and baseline of 21.4b

bsearch45.0ms

end0.0ms

sample3.4s

Algorithm
intervals
Results
1.4s2336×body1280valid
921.0ms2576×body10240exit
484.0ms1530×body640valid
209.0ms882×body320valid
154.0ms2857×body80valid
44.0ms395×body160valid