Details

Time bar (total: 36.6s)

sample535.0ms

Algorithm
intervals
Results
340.0ms220×body10240exit
81.0ms410×body80nan
34.0ms240×body80valid
5.0ms17×body160valid

simplify515.0ms

Calls
1 calls:
Slowest
514.0ms
(sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))

prune51.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (exp x) 1)
0.0b
(sqrt (+ (exp x) 1))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
9×*-un-lft-identity
8×add-sqr-sqrt
4×add-cube-cbrt sqrt-prod add-log-exp
3×pow1 fma-def
2×expm1-log1p-u flip3-+ add-cbrt-cube sqrt-div add-exp-log flip-+ hypot-def insert-posit16 log1p-expm1-u distribute-lft-out
1×+-commutative rem-sqrt-square sum-log sqrt-pow1 pow1/2
Calls
2 calls:
Slowest
14.0ms
(+ (exp x) 1)
10.0ms
(sqrt (+ (exp x) 1))

series91.0ms

Calls
2 calls:
Slowest
61.0ms
(sqrt (+ (exp x) 1))
30.0ms
(+ (exp x) 1)

simplify642.0ms

Calls
20 calls:
Slowest
298.0ms
(- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
77.0ms
(sqrt (+ (pow (exp x) 3) (pow 1 3)))
73.0ms
(sqrt (- (* (exp x) (exp x)) (* 1 1)))
51.0ms
(+ x (+ (* 1/2 (pow x 2)) 2))
18.0ms
(* (exp (exp x)) (exp 1))

prune362.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (cbrt (exp x)) (cbrt (exp x)))
0.0b
(cbrt (exp x))
0.0b
(cbrt (exp x))
0.0b
(cbrt (exp x))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
18.0ms
(* (cbrt (exp x)) (cbrt (exp x)))
2.0ms
(cbrt (exp x))
2.0ms
(cbrt (exp x))
2.0ms
(cbrt (exp x))

series432.0ms

Calls
4 calls:
Slowest
128.0ms
(* (cbrt (exp x)) (cbrt (exp x)))
120.0ms
(cbrt (exp x))
102.0ms
(cbrt (exp x))
81.0ms
(cbrt (exp x))

simplify828.0ms

Calls
65 calls:
Slowest
101.0ms
(+ (* 1/3 x) (+ (* 1/18 (pow x 2)) 1))
75.0ms
(+ (* 2/3 x) (+ (* 2/9 (pow x 2)) 1))
74.0ms
(+ (* 1/3 x) (+ (* 1/18 (pow x 2)) 1))
69.0ms
(+ (* 1/3 x) (+ (* 1/18 (pow x 2)) 1))
66.0ms
(* (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x)))) (* (cbrt (cbrt (exp x))) (cbrt (cbrt (exp x)))))

prune982.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

4.2b
(- (* 1 1) (* (exp x) 1))
0.1b
(* (exp x) (exp x))
0.1b
(* (exp x) (exp x))
0.0b
(/ (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
56×add-sqr-sqrt
52×*-un-lft-identity add-cube-cbrt
42×sqrt-prod
36×exp-prod times-frac
18×pow1
10×add-cbrt-cube
8×pow-prod-down pow-sqr pow-prod-up
6×associate-/r* swap-sqr associate-*r* associate-*l* add-exp-log associate-/l* add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
2×pow2 pow-plus sqrt-div prod-exp associate-/r/ *-commutative cbrt-unprod unswap-sqr
1×cbrt-undiv sqrt-undiv clear-num sub-neg frac-2neg flip3-+ flip3-- distribute-rgt-out-- fma-neg diff-log div-exp prod-diff flip-+ div-inv flip--
Calls
4 calls:
Slowest
79.0ms
(/ (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))
27.0ms
(* (exp x) (exp x))
17.0ms
(* (exp x) (exp x))
11.0ms
(- (* 1 1) (* (exp x) 1))

series201.0ms

Calls
4 calls:
Slowest
144.0ms
(/ (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))
22.0ms
(* (exp x) (exp x))
20.0ms
(- (* 1 1) (* (exp x) 1))
15.0ms
(* (exp x) (exp x))

simplify16.3s

Calls
180 calls:
Slowest
568.0ms
(/ (sqrt (sqrt (fma (exp x) (* (exp x) (exp x)) 1))) (sqrt (* (cbrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) (cbrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))))
441.0ms
(sqrt (- (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))
372.0ms
(- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
321.0ms
(sqrt (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (- (* 1 1) (* (exp x) 1)) (- (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
271.0ms
(/ (* (* (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) (sqrt (fma (exp x) (* (exp x) (exp x)) 1))) (sqrt (fma (exp x) (* (exp x) (exp x)) 1))) (* (* (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))

prune2.4s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (exp (exp x)) E)
0.0b
(exp (exp x))
0.0b
(log (* (exp (exp x)) E))
0.0b
(sqrt (log (* (exp (exp x)) E)))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1
11×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
7×add-exp-log
6×add-cbrt-cube
5×sqrt-prod add-log-exp
4×expm1-log1p-u prod-exp log-pow insert-posit16 log1p-expm1-u
3×exp-prod rem-log-exp associate-*r* associate-*l* pow-prod-down
2×e-exp-1
1×rem-sqrt-square log-prod sqrt-pow1 pow1/2 *-commutative cbrt-unprod unswap-sqr rem-exp-log
Calls
4 calls:
Slowest
30.0ms
(* (exp (exp x)) E)
20.0ms
(sqrt (log (* (exp (exp x)) E)))
16.0ms
(log (* (exp (exp x)) E))
7.0ms
(exp (exp x))

series426.0ms

Calls
4 calls:
Slowest
207.0ms
(sqrt (log (* (exp (exp x)) E)))
135.0ms
(log (* (exp (exp x)) E))
54.0ms
(* (exp (exp x)) E)
29.0ms
(exp (exp x))

simplify1.7s

Calls
37 calls:
Slowest
385.0ms
(+ (pow E 2) (+ (* x (pow E 2)) (* (pow x 2) (pow E 2))))
327.0ms
(* (* (* (exp (exp x)) (exp (exp x))) (exp (exp x))) (* (* E E) E))
308.0ms
(- (+ (sqrt (log (pow E 2))) (+ (* 1/2 (* x (sqrt (/ 1 (log (pow E 2)))))) (* 1/4 (* (pow x 2) (sqrt (/ 1 (log (pow E 2)))))))) (* 1/8 (* (pow x 2) (sqrt (/ 1 (pow (log (pow E 2)) 3))))))
139.0ms
(+ (* (pow x 2) E) (+ E (* x E)))
107.0ms
(+ x (+ (* 1/2 (pow x 2)) (log (pow E 2))))

prune774.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes32.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample10.0s

Algorithm
intervals
Results
7.0s6796×body10240exit
1.5s12663×body80nan
969.0ms7423×body80valid
163.0ms708×body160valid