Details

Time bar (total: 7.1s)

sample185.0ms

Algorithm
intervals
Results
33.0ms720×body80nan
15.0ms256×body80valid

simplify20.0ms

Counts
1 → 1
Iterations
IterNodes
done9
29
18
06

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 1 expressions with local error:

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

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt
6×log-prod
4×*-un-lft-identity
2×pow1 log-div add-exp-log add-cube-cbrt difference-of-squares
1×times-frac flip3-- add-cbrt-cube rem-log-exp log-pow flip-- distribute-lft-out-- add-log-exp
Counts
1 → 17
Calls
1 calls:
12.0ms
(log (- (/ 1.0 x) 1.0))

series98.0ms

Counts
1 → 3
Calls
1 calls:
98.0ms
(log (- (/ 1.0 x) 1.0))

simplify1.4s

Counts
20 → 20
Iterations
IterNodes
done5002
31327
2377
1154
075

prune117.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.1b
(sqrt (- (/ 1.0 x) 1.0))
0.1b
(sqrt (- (/ 1.0 x) 1.0))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
12×sqrt-prod
8×*-un-lft-identity
4×pow1 sqrt-div add-cube-cbrt difference-of-squares
2×rem-sqrt-square sqrt-pow1 times-frac flip3-- add-cbrt-cube pow1/2 add-exp-log flip-- distribute-lft-out-- add-log-exp
Counts
2 → 36
Calls
2 calls:
26.0ms
(sqrt (- (/ 1.0 x) 1.0))
19.0ms
(sqrt (- (/ 1.0 x) 1.0))

series136.0ms

Counts
2 → 6
Calls
2 calls:
67.0ms
(sqrt (- (/ 1.0 x) 1.0))
69.0ms
(sqrt (- (/ 1.0 x) 1.0))

simplify2.3s

Counts
42 → 42
Iterations
IterNodes
done5004
43685
3947
2335
1145
069

prune246.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify3.0ms

Iterations
IterNodes
done10
110
08

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.6s24045×body80nan
447.0ms8000×body80valid