Details

Time bar (total: 2.0s)

analyze285.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
18.7%81.1%0.1%8
36.7%60.8%2.5%9
43.3%49.9%6.8%10
49.7%40.8%9.5%11
58.2%30.2%11.6%12
61.3%24.4%14.3%13
65%19.8%15.3%14

sample14.0ms

Algorithm
intervals
Results
6.0ms256×body80valid
0.0ms21×body80invalid

simplify313.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (18.0ms)

IterNodesCost
027510
127510

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(*.f64 y (-.f64 z x))
0.0b
(+.f64 x (*.f64 y (-.f64 z x)))

rewrite212.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt_binary64_685
*-un-lft-identity_binary64_700
associate-*r*_binary64_759
add-cube-cbrt_binary64_671 sub-neg_binary64_704 add-exp-log_binary64_664 add-cbrt-cube_binary64_672 add-log-exp_binary64_665 pow1_binary64_642
associate-*l*_binary64_760
distribute-rgt-in_binary64_743 distribute-lft-in_binary64_742 associate-*r/_binary64_761 associate-+r+_binary64_751
unswap-sqr_binary64_728 distribute-lft-out--_binary64_745 flip--_binary64_726 difference-of-squares_binary64_729 pow-prod-down_binary64_623 flip3-+_binary64_698 sum-log_binary64_610 +-commutative_binary64_767 cbrt-unprod_binary64_669 *-commutative_binary64_768 flip3--_binary64_699 flip-+_binary64_725 prod-exp_binary64_647
Counts
2 → 37
Calls
2 calls:
8.0ms
(*.f64 y (-.f64 z x))
203.0ms
(+.f64 x (*.f64 y (-.f64 z x)))

series1.1s

Counts
2 → 6
Calls
2 calls:
405.0ms
(*.f64 y (-.f64 z x))
672.0ms
(+.f64 x (*.f64 y (-.f64 z x)))
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
0653597
1653597
012883537
112883537
0653597
1653597
012883537
112883537
012643604
112643604
0623546
1623546
06173492
16173492
0623546
1623546
06173492
16173492
010143577
110143577

simplify117.0ms

Counts
43 → 43
Iterations

Useful iterations: 0 (95.0ms)

IterNodesCost
049417568
149417568

prune6.0ms

Filtered
35 candidates to 43 candidates (-22.9%)

Profiling

Loading profile data...