Details

Time bar (total: 12.7s)

sample114.0ms

Algorithm
intervals
Results
24.0ms862×body80nan
10.0ms256×body80valid

simplify181.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
067
187
297
done97

prune47.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize26.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ 1.0 x) 1.0)
0.2b
(log (- (/ 1.0 x) 1.0))

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
48×*-un-lft-identity
44×add-cube-cbrt
39×prod-diff
38×times-frac
13×fma-neg
6×log-prod
4×div-inv add-log-exp difference-of-squares
3×pow1 add-exp-log
2×expm1-log1p-u log-div flip3-- add-cbrt-cube flip-- log1p-expm1-u distribute-lft-out--
1×sub-neg diff-log rem-log-exp log-pow
Counts
2 → 88
Calls
2 calls:
59.0ms
(- (/ 1.0 x) 1.0)
40.0ms
(log (- (/ 1.0 x) 1.0))

series150.0ms

Counts
2 → 6
Calls
2 calls:
45.0ms
(- (/ 1.0 x) 1.0)
104.0ms
(log (- (/ 1.0 x) 1.0))

simplify2.7s

Counts
94 → 94
Iterations

Useful iterations: done (2.7s)

IterNodesCost
01571601
13181202
2681993
32424816
done5000720

prune228.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (log (+ (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) (log (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))))
0.0b
(log (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0)))
0.3b
(/ (sqrt 1.0) (sqrt x))
0.3b
(/ (sqrt 1.0) (sqrt x))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
120×add-sqr-sqrt
110×sqrt-prod
88×times-frac
74×*-un-lft-identity
64×add-cube-cbrt
32×log-prod
20×difference-of-squares
14×associate-+r+
12×associate-/r* associate-/l*
10×pow1
9×add-exp-log
8×add-cbrt-cube
6×log-div log-pow
5×distribute-lft-out
4×expm1-log1p-u associate-+l+ fma-def log1p-expm1-u add-log-exp
2×cbrt-undiv associate-+l- associate-+r- sqrt-undiv flip3-- frac-2neg flip3-+ div-exp clear-num flip-- flip-+ div-inv distribute-lft-out--
1×+-commutative rem-log-exp sum-log
Counts
4 → 196
Calls
4 calls:
76.0ms
(+ (log (+ (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) (log (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))))
53.0ms
(log (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0)))
15.0ms
(/ (sqrt 1.0) (sqrt x))
10.0ms
(/ (sqrt 1.0) (sqrt x))

series936.0ms

Counts
4 → 12
Calls
4 calls:
480.0ms
(+ (log (+ (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) (log (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))))
240.0ms
(log (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0)))
124.0ms
(/ (sqrt 1.0) (sqrt x))
91.0ms
(/ (sqrt 1.0) (sqrt x))

simplify2.6s

Counts
208 → 208
Iterations

Useful iterations: done (2.6s)

IterNodesCost
02153154
14482836
210062500
325132474
done50002470

prune669.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b
(log (* (+ (sqrt (/ 1.0 x)) (sqrt 1.0)) (- (sqrt (/ 1.0 x)) (sqrt 1.0))))
0.4b
(sqrt (/ 1.0 x))
0.4b
(sqrt (/ 1.0 x))
0.5b
(* (+ (sqrt (/ 1.0 x)) (sqrt 1.0)) (- (sqrt (/ 1.0 x)) (sqrt 1.0)))

rewrite406.0ms

Algorithm
rewrite-expression-head
Rules
289×sqrt-prod
202×add-sqr-sqrt
192×prod-diff
188×*-un-lft-identity
180×add-cube-cbrt
130×times-frac
98×distribute-rgt-in distribute-lft-in
14×div-inv
11×pow1 associate-*r*
9×add-exp-log
8×frac-times log-div
6×flip3-- flip3-+ add-cbrt-cube flip-- flip-+ difference-of-squares
5×associate-*l*
4×expm1-log1p-u rem-sqrt-square associate-*r/ associate-*l/ log1p-expm1-u add-log-exp
2×sub-neg sqrt-pow1 pow1/2 sqrt-div rem-log-exp pow-prod-down prod-exp log-pow distribute-lft-out distribute-lft-out--
1×log-prod *-commutative cbrt-unprod unswap-sqr
Counts
4 → 310
Calls
4 calls:
89.0ms
(log (* (+ (sqrt (/ 1.0 x)) (sqrt 1.0)) (- (sqrt (/ 1.0 x)) (sqrt 1.0))))
4.0ms
(sqrt (/ 1.0 x))
4.0ms
(sqrt (/ 1.0 x))
286.0ms
(* (+ (sqrt (/ 1.0 x)) (sqrt 1.0)) (- (sqrt (/ 1.0 x)) (sqrt 1.0)))

series927.0ms

Counts
4 → 12
Calls
4 calls:
528.0ms
(log (* (+ (sqrt (/ 1.0 x)) (sqrt 1.0)) (- (sqrt (/ 1.0 x)) (sqrt 1.0))))
60.0ms
(sqrt (/ 1.0 x))
77.0ms
(sqrt (/ 1.0 x))
261.0ms
(* (+ (sqrt (/ 1.0 x)) (sqrt 1.0)) (- (sqrt (/ 1.0 x)) (sqrt 1.0)))

simplify2.6s

Counts
322 → 322
Iterations

Useful iterations: done (2.6s)

IterNodesCost
048612414
112929402
236527657
done50007646

prune764.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes1.0ms