Details

Time bar (total: 7.2s)

sample118.0ms

Algorithm
intervals
Results
54.0ms720×body80nan
8.0ms256×body80valid

simplify11.0ms

Counts
1 → 1
Iterations
IterNodes
done9
29
18
06

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 1 expressions with local error:

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

rewrite18.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×expm1-log1p-u times-frac flip3-- add-cbrt-cube rem-log-exp log-pow log1p-expm1-u flip-- distribute-lft-out-- add-log-exp
Counts
1 → 19
Calls
1 calls:
16.0ms
(log (- (/ 1.0 x) 1.0))

series85.0ms

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

simplify1.3s

Counts
22 → 22
Iterations
IterNodes
done5000
31439
2403
1163
077

prune155.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize27.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))

rewrite87.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×expm1-log1p-u rem-sqrt-square sqrt-pow1 times-frac flip3-- add-cbrt-cube pow1/2 add-exp-log log1p-expm1-u flip-- distribute-lft-out-- add-log-exp
Counts
2 → 40
Calls
2 calls:
46.0ms
(sqrt (- (/ 1.0 x) 1.0))
39.0ms
(sqrt (- (/ 1.0 x) 1.0))

series167.0ms

Counts
2 → 6
Calls
2 calls:
72.0ms
(sqrt (- (/ 1.0 x) 1.0))
95.0ms
(sqrt (- (/ 1.0 x) 1.0))

simplify2.5s

Counts
46 → 46
Iterations
IterNodes
done5015
44134
31117
2379
1152
071

prune274.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify2.0ms

Iterations
IterNodes
done10
110
08

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.4s24045×body80nan
462.0ms8000×body80valid