Details

Time bar (total: 14.5s)

sample229.0ms

Algorithm
intervals
Results
99.0ms875×body80nan
25.0ms256×body80valid

simplify34.0ms

Counts
1 → 1
Iterations
IterNodes
done9
29
18
06

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize475.0ms

Local error

Found 1 expressions with local error:

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

rewrite68.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 insert-posit16 log1p-expm1-u flip-- distribute-lft-out-- add-log-exp
Counts
1 → 20
Calls
1 calls:
64.0ms
(log (- (/ 1.0 x) 1.0))

series138.0ms

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

simplify3.6s

Counts
23 → 23
Iterations
IterNodes
done5002
31424
2407
1164
078

prune295.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize113.0ms

Local error

Found 4 expressions with local error:

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

rewrite239.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
24×sqrt-prod
18×log-prod *-un-lft-identity
10×pow1 add-cube-cbrt
8×sqrt-div difference-of-squares
6×add-exp-log log-pow
4×expm1-log1p-u log-div sqrt-pow1 times-frac flip3-- add-cbrt-cube pow1/2 insert-posit16 log1p-expm1-u flip-- distribute-lft-out-- add-log-exp
2×rem-sqrt-square rem-log-exp
Counts
4 → 92
Calls
4 calls:
30.0ms
(log (sqrt (- (/ 1.0 x) 1.0)))
39.0ms
(log (sqrt (- (/ 1.0 x) 1.0)))
78.0ms
(sqrt (- (/ 1.0 x) 1.0))
81.0ms
(sqrt (- (/ 1.0 x) 1.0))

series593.0ms

Counts
4 → 12
Calls
4 calls:
196.0ms
(log (sqrt (- (/ 1.0 x) 1.0)))
191.0ms
(log (sqrt (- (/ 1.0 x) 1.0)))
105.0ms
(sqrt (- (/ 1.0 x) 1.0))
101.0ms
(sqrt (- (/ 1.0 x) 1.0))

simplify3.9s

Counts
104 → 104
Iterations
IterNodes
done5002
31705
2552
1229
0115

prune1.2s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify8.0ms

Iterations
IterNodes
done10
110
08

end0.0ms

sample3.6s

Algorithm
intervals
Results
1.6s24380×body80nan
712.0ms8000×body80valid