Details

Time bar (total: 6.9s)

sample23.0ms

Algorithm
intervals
Results
8.0ms256×body80valid

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
done5001
82177
7621
6221
596
439
328
219
112
06

prune11.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
(+ (/ (- y x) 2.0) x)

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
19×fma-def
18×*-un-lft-identity
16×add-sqr-sqrt
15×times-frac
10×add-cube-cbrt
3×distribute-lft-out-- add-log-exp difference-of-squares
1×expm1-log1p-u pow1 +-commutative sum-log flip3-+ add-cbrt-cube div-sub add-exp-log associate-+l- flip-+ log1p-expm1-u div-inv distribute-lft-out
Counts
1 → 34
Calls
1 calls:
54.0ms
(+ (/ (- y x) 2.0) x)

series45.0ms

Counts
1 → 3
Calls
1 calls:
44.0ms
(+ (/ (- y x) 2.0) x)

simplify2.0s

Counts
37 → 37
Iterations
IterNodes
done5000
44921
3824
2259
197
035

prune171.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (/ x 2.0) x)

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
47×add-sqr-sqrt
44×*-un-lft-identity
42×add-cube-cbrt
39×prod-diff
37×times-frac
13×fma-neg
4×div-inv
3×add-log-exp
2×difference-of-squares
1×expm1-log1p-u pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log log1p-expm1-u flip-- distribute-lft-out--
Counts
1 → 69
Calls
1 calls:
19.0ms
(- (/ x 2.0) x)

series30.0ms

Counts
1 → 3
Calls
1 calls:
30.0ms
(- (/ x 2.0) x)

simplify1.8s

Counts
72 → 72
Iterations
IterNodes
done5000
33998
2682
1250
0111

prune296.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations
IterNodes
done7
07

end0.0ms

sample1.1s

Algorithm
intervals
Results
796.0ms8000×body80valid