Details

Time bar (total: 5.4s)

sample26.0ms

Algorithm
intervals
Results
10.0ms327×body80valid

simplify3.7s

Counts
1 → 1
Iterations
IterNodes
done5000
102080
9486
8199
7147
6121
5103
470
340
224
114
08

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (* x y) (* z (- 1.0 y)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
22×associate-+r+
18×prod-diff
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
3×add-log-exp
2×sub-neg
1×expm1-log1p-u pow1 +-commutative sum-log fma-def flip3-+ add-cbrt-cube add-exp-log flip-+ log1p-expm1-u
Counts
1 → 36
Calls
1 calls:
26.0ms
(+ (* x y) (* z (- 1.0 y)))

series42.0ms

Counts
1 → 3
Calls
1 calls:
42.0ms
(+ (* x y) (* z (- 1.0 y)))

simplify485.0ms

Counts
39 → 39
Iterations
IterNodes
done5002
2867
1249
096

prune154.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify1.0ms

Iterations
IterNodes
done11
111
08

end0.0ms

sample944.0ms

Algorithm
intervals
Results
452.0ms10111×body80valid