Details

Time bar (total: 23.2s)

sample24.0ms

Algorithm
intervals
Results
14.0ms283×body80valid

simplify21.0s

Counts
1 → 1
Iterations
IterNodes
done5000
924990
914917
904859
894801
884745
874689
864634
854578
844522
834466
824409
814353
804297
794241
784185
774129
764073
754017
743962
733906
723850
713794
703739
693683
683628
673572
663515
653459
643404
633348
623293
613237
603180
593124
583069
573013
562957
552901
542846
532790
522734
512678
502623
492567
482512
472456
462400
452344
442289
432233
422178
412122
402065
392009
381953
371897
361841
351785
341729
331673
321618
311562
301507
291451
281395
271339
261283
251227
241172
231116
221061
211005
20948
19892
18837
17781
16724
15668
14610
13554
12498
11442
10380
9313
8242
7177
6110
565
440
332
223
111
05

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ y (fma y x x))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
4×*-un-lft-identity
3×fma-def add-log-exp
2×add-sqr-sqrt add-cube-cbrt
1×expm1-log1p-u pow1 +-commutative associate-+r+ sum-log flip3-+ add-cbrt-cube add-exp-log flip-+ fma-udef insert-posit16 log1p-expm1-u distribute-lft-out
Counts
1 → 19
Calls
1 calls:
5.0ms
(+ y (fma y x x))

series26.0ms

Counts
1 → 3
Calls
1 calls:
26.0ms
(+ y (fma y x x))

simplify1.5s

Counts
22 → 22
Iterations
IterNodes
done5002
3937
2233
185
033

prune95.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize12.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune4.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations
IterNodes
done5
15
04

end0.0ms

sample614.0ms

Algorithm
intervals
Results
425.0ms9112×body80valid
0.0ms1×body1280valid