Details

Time bar (total: 23.5s)

sample382.0ms

Algorithm
intervals
Results
183.0ms211×body10240exit
46.0ms416×body80nan
31.0ms228×body80valid
11.0ms32×body160valid

simplify272.0ms

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

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 2 expressions with local error:

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

rewrite24.0ms

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

series77.0ms

Calls
2 calls:
Slowest
54.0ms
(sqrt (+ (exp x) 1))
23.0ms
(+ (exp x) 1)

simplify756.0ms

Calls
16 calls:
Slowest
443.0ms
(- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
82.0ms
(sqrt (+ (pow (exp x) 3) (pow 1 3)))
61.0ms
(+ x (+ (* 1/2 (pow x 2)) 2))
48.0ms
(sqrt (- (* (exp x) (exp x)) (* 1 1)))
23.0ms
(sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))

prune375.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize62.0ms

Local error

Found 4 expressions with local error:

5.6b
(- (* 1 1) (* (exp x) 1))
0.1b
(pow (exp x) 3)
0.1b
(* (exp x) (exp x))
0.1b
(+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
142×*-un-lft-identity
79×add-sqr-sqrt
43×associate-*l*
38×distribute-lft-out
36×distribute-lft-out--
31×*-commutative unswap-sqr
27×difference-of-squares
22×associate-*r*
21×exp-prod
20×distribute-rgt-out-- add-cube-cbrt
12×pow1
11×add-log-exp
9×swap-sqr add-exp-log
7×add-cbrt-cube
4×pow-pow pow-prod-down prod-exp pow-sqr pow-prod-up insert-posit16
3×pow-unpow unpow-prod-down cube-prod
2×associate-+r+ sum-log sub-neg diff-log pow-exp
1×pow2 cube-mult pow-to-exp +-commutative associate-+r- flip3-+ pow-plus flip3-- unpow3 cbrt-unprod flip-+ flip-- rem-cube-cbrt sqr-pow
Calls
4 calls:
Slowest
144.0ms
(+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
38.0ms
(- (* 1 1) (* (exp x) 1))
18.0ms
(* (exp x) (exp x))
7.0ms
(pow (exp x) 3)

series106.0ms

Calls
4 calls:
Slowest
44.0ms
(+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
24.0ms
(pow (exp x) 3)
19.0ms
(- (* 1 1) (* (exp x) 1))
18.0ms
(* (exp x) (exp x))

simplify8.7s

Calls
188 calls:
Slowest
270.0ms
(* (exp (* (exp x) (exp x))) (/ (exp (* 1 1)) (exp (* (exp x) 1))))
243.0ms
(* (exp (* (exp x) (exp x))) (exp (- (* 1 1) (* (exp x) 1))))
214.0ms
(- (+ (pow (exp x) 2) 1) (exp x))
214.0ms
(* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x))))
187.0ms
(pow (* (cbrt (exp x)) (cbrt (exp x))) 3)

prune2.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes23.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample10.1s

Algorithm
intervals
Results
6.1s6532×body10240exit
1.8s7354×body80valid
1.6s12088×body80nan
182.0ms754×body160valid