Details

Time bar (total: 14.6s)

sample346.0ms

Algorithm
intervals
Results
126.0ms198×body10240exit
21.0ms369×body80nan
16.0ms241×body80valid
2.0ms17×body160valid

simplify3.2s

Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
01012
11912
22812
34012
47412
517512
647912
7166512
done500012

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.1b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
0.0b
(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
4.3b
(- (exp (* 2.0 x)) 1.0)
4.5b
(- (exp x) 1.0)

rewrite199.0ms

Algorithm
rewrite-expression-head
Rules
78×add-sqr-sqrt
75×*-un-lft-identity
51×times-frac
31×sqrt-prod
27×add-cube-cbrt
24×distribute-lft-out-- difference-of-squares
8×add-log-exp
6×add-exp-log add-cbrt-cube
5×pow1 flip3-- associate-/r* flip-- associate-/l*
4×associate-/r/
2×sub-neg rem-sqrt-square diff-log div-inv associate-/l/
1×cbrt-undiv frac-2neg sqrt-pow1 pow1/2 sqrt-div div-sub div-exp clear-num
Counts
4 → 123
Calls
4 calls:
40.0ms
(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
79.0ms
(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
29.0ms
(- (exp (* 2.0 x)) 1.0)
38.0ms
(- (exp x) 1.0)

series263.0ms

Counts
4 → 12
Calls
4 calls:
119.0ms
(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
70.0ms
(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
41.0ms
(- (exp (* 2.0 x)) 1.0)
33.0ms
(- (exp x) 1.0)

simplify1.6s

Counts
135 → 135
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01892376
13882279
29042169
322932156
done50012154

prune497.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)))
0.0b
(/ (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (- (exp x) 1.0))
4.5b
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
4.5b
(- (exp x) 1.0)

rewrite352.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
26×*-un-lft-identity
14×sqrt-prod
11×add-exp-log add-cbrt-cube difference-of-squares
9×flip3-- associate-*r* flip--
8×frac-times add-cube-cbrt associate-/l/ add-log-exp
7×distribute-lft-out--
6×pow1 flip3-+ flip-+
5×times-frac associate-*l* associate-/r*
4×sub-neg associate-*r/ associate-*l/
2×cbrt-undiv distribute-rgt-in distribute-lft-in diff-log div-exp prod-exp associate-/r/ cbrt-unprod distribute-lft-out
1×frac-2neg pow-prod-down clear-num *-commutative div-inv associate-/l* unswap-sqr
Counts
4 → 105
Calls
4 calls:
168.0ms
(* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)))
123.0ms
(/ (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (- (exp x) 1.0))
36.0ms
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
21.0ms
(- (exp x) 1.0)

series489.0ms

Counts
4 → 12
Calls
4 calls:
142.0ms
(* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)))
244.0ms
(/ (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (- (exp x) 1.0))
87.0ms
(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
17.0ms
(- (exp x) 1.0)

simplify1.4s

Counts
117 → 117
Iterations

Useful iterations: 2 (351.0ms)

IterNodesCost
01802590
14731851
220041667
done50021667

prune491.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (+ (* 0.5 x) 1.0))
23.2b
(sqrt (+ 2.0 (* x (+ (* 0.5 x) 1.0))))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
5×pow1 add-cube-cbrt *-un-lft-identity
4×add-exp-log add-cbrt-cube
3×associate-*r* associate-*l* sqrt-prod
2×flip3-+ sqrt-div associate-*r/ flip-+ add-log-exp
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2 pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 37
Calls
2 calls:
43.0ms
(* x (+ (* 0.5 x) 1.0))
6.0ms
(sqrt (+ 2.0 (* x (+ (* 0.5 x) 1.0))))

series199.0ms

Counts
2 → 6
Calls
2 calls:
98.0ms
(* x (+ (* 0.5 x) 1.0))
101.0ms
(sqrt (+ 2.0 (* x (+ (* 0.5 x) 1.0))))

simplify2.5s

Counts
43 → 43
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
0106598
1280541
2885507
33334498
done5002498

prune115.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (+ (* 0.5 x) 1.0))
0.0b
(* x (+ (* 0.5 x) 1.0))
0.1b
(/ (sqrt (- (* 2.0 2.0) (* (* x (+ (* 0.5 x) 1.0)) (* x (+ (* 0.5 x) 1.0))))) (sqrt (- 2.0 (* x (+ (* 0.5 x) 1.0)))))
0.2b
(* (* x (+ (* 0.5 x) 1.0)) (* x (+ (* 0.5 x) 1.0)))

rewrite232.0ms

Algorithm
rewrite-expression-head
Rules
52×sqrt-prod
47×pow1
42×add-sqr-sqrt times-frac
38×add-cube-cbrt *-un-lft-identity
22×add-exp-log add-cbrt-cube
19×pow-prod-down
18×associate-*r/
10×prod-exp cbrt-unprod
8×flip3-+ flip-+
7×associate-*r* associate-*l* associate-/l* difference-of-squares
6×distribute-rgt-in distribute-lft-in associate-/r*
4×frac-times sqrt-div pow-sqr pow-prod-up add-log-exp
3×*-commutative
2×flip3-- pow-plus associate-*l/ associate-/r/ flip-- associate-/l/ unswap-sqr
1×cbrt-undiv pow2 sqrt-undiv frac-2neg swap-sqr div-exp clear-num div-inv
Counts
4 → 162
Calls
4 calls:
27.0ms
(* x (+ (* 0.5 x) 1.0))
33.0ms
(* x (+ (* 0.5 x) 1.0))
25.0ms
(/ (sqrt (- (* 2.0 2.0) (* (* x (+ (* 0.5 x) 1.0)) (* x (+ (* 0.5 x) 1.0))))) (sqrt (- 2.0 (* x (+ (* 0.5 x) 1.0)))))
139.0ms
(* (* x (+ (* 0.5 x) 1.0)) (* x (+ (* 0.5 x) 1.0)))

series473.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(* x (+ (* 0.5 x) 1.0))
101.0ms
(* x (+ (* 0.5 x) 1.0))
211.0ms
(/ (sqrt (- (* 2.0 2.0) (* (* x (+ (* 0.5 x) 1.0)) (* x (+ (* 0.5 x) 1.0))))) (sqrt (- 2.0 (* x (+ (* 0.5 x) 1.0)))))
70.0ms
(* (* x (+ (* 0.5 x) 1.0)) (* x (+ (* 0.5 x) 1.0)))

simplify1.4s

Counts
174 → 174
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02425365
15884728
221184482
done50024456

prune521.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes34.0ms

bsearch2.0ms