Details

Time bar (total: 30.3s)

sample466.0ms

Algorithm
intervals
Results
204.0ms241×body10240exit
93.0ms423×body80nan
30.0ms234×body80valid
9.0ms26×body160valid

simplify749.0ms

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

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite31.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
Counts
2 → 30
Calls
2 calls:
Slowest
22.0ms
(sqrt (+ (exp x) 1))
7.0ms
(+ (exp x) 1)

series57.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
42.0ms
(sqrt (+ (exp x) 1))
14.0ms
(+ (exp x) 1)

simplify1.6s

Counts
41 → 36
Calls
41 calls:
Slowest
329.0ms
(- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
303.0ms
(* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1))
126.0ms
(sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))
98.0ms
(+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
98.0ms
(* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1)))

prune259.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

6.2b
(- 1 (exp x))
0.0b
(* (exp x) (* (exp x) (exp x)))
0.0b
(* (exp x) (- 1 (exp x)))
0.0b
(* (exp x) (exp x))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
45×exp-prod
37×add-sqr-sqrt
32×*-un-lft-identity
27×pow1
26×add-cube-cbrt
18×pow-prod-up
14×pow-prod-down
13×add-cbrt-cube
10×associate-*r*
9×associate-*l*
8×pow-sqr
6×add-exp-log add-log-exp
5×prod-exp cbrt-unprod
4×insert-posit16 difference-of-squares
3×sub-neg swap-sqr *-commutative unswap-sqr
2×pow2 distribute-rgt-in distribute-lft-in pow-plus flip3-- associate-*r/ flip-- distribute-lft-out--
1×diff-log cube-unmult
Counts
4 → 113
Calls
4 calls:
Slowest
45.0ms
(* (exp x) (- 1 (exp x)))
41.0ms
(* (exp x) (* (exp x) (exp x)))
23.0ms
(* (exp x) (exp x))
11.0ms
(- 1 (exp x))

series117.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
51.0ms
(* (exp x) (- 1 (exp x)))
34.0ms
(* (exp x) (* (exp x) (exp x)))
17.0ms
(* (exp x) (exp x))
16.0ms
(- 1 (exp x))

simplify6.8s

Counts
134 → 125
Calls
134 calls:
Slowest
538.0ms
(* (exp (* (cbrt x) (cbrt x))) (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x)))))
328.0ms
(* (* (* (exp x) (exp x)) (exp x)) (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))))
278.0ms
(* (exp x) (- (pow 1 3) (pow (exp x) 3)))
256.0ms
(* (* (* (exp x) (exp x)) (exp x)) (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))))
255.0ms
(exp (* (exp x) (* (exp x) (exp x))))

prune1.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

6.2b
(log (/ E (exp (exp x))))
0.0b
(/ E (exp (exp x)))
0.0b
(* (exp x) (* (exp x) (exp x)))
0.0b
(* (exp x) (exp x))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
45×exp-prod
42×add-sqr-sqrt
39×*-un-lft-identity add-cube-cbrt
26×pow1
18×times-frac pow-prod-up
13×log-prod add-cbrt-cube pow-prod-down
8×add-exp-log pow-sqr
6×associate-*l*
4×div-exp associate-*r* prod-exp cbrt-unprod insert-posit16 add-log-exp
3×associate-/r* swap-sqr rem-log-exp associate-/l*
2×pow2 e-exp-1 pow-plus *-commutative div-inv unswap-sqr
1×cbrt-undiv log-div clear-num frac-2neg cube-unmult log-pow
Counts
4 → 124
Calls
4 calls:
Slowest
56.0ms
(* (exp x) (* (exp x) (exp x)))
26.0ms
(* (exp x) (exp x))
7.0ms
(/ E (exp (exp x)))
4.0ms
(log (/ E (exp (exp x))))

series277.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
163.0ms
(log (/ E (exp (exp x))))
67.0ms
(/ E (exp (exp x)))
31.0ms
(* (exp x) (* (exp x) (exp x)))
15.0ms
(* (exp x) (exp x))

simplify7.2s

Counts
158 → 136
Calls
158 calls:
Slowest
505.0ms
(* (exp (* (cbrt x) (cbrt x))) (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x)))))
464.0ms
(- (+ (* 1/6 (pow x 3)) 1) x)
363.0ms
(/ (* (* E E) E) (* (* (exp (exp x)) (exp (exp x))) (exp (exp x))))
306.0ms
(* (* (* (exp x) (exp x)) (exp x)) (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))))
280.0ms
(* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x))))

prune1.5s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes41.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample9.7s

Algorithm
intervals
Results
5.5s6855×body10240exit
2.1s7452×body80valid
1.5s12828×body80nan
176.0ms674×body160valid