Details

Time bar (total: 1.1s)

analyze2.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1

sample22.0ms

Algorithm
intervals
Results
12.0ms256×body80valid
4.0ms256×pre80true

simplify470.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (172.0ms)

IterNodesCost
0467622
1467622

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 52.0b

Counts
2 → 1

localize11.0ms

Local error

Found 1 expressions with local error:

23.0b
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite203.0ms

Algorithm
rewrite-expression-head
Rules
add-log-exp_binary64_7845
add-cube-cbrt_binary64_7851 sub-neg_binary64_7884 flip--_binary64_7906 add-cbrt-cube_binary64_7852 add-sqr-sqrt_binary64_7865 pow1_binary64_7822 add-exp-log_binary64_7844 diff-log_binary64_7791 flip3--_binary64_7879 *-un-lft-identity_binary64_7880
Counts
1 → 11
Calls
1 calls:
203.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

series286.0ms

Counts
1 → 3
Calls
1 calls:
286.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
Iterations

Useful iterations: 0 (108.0ms)

IterNodesCost
01392396
11392396
0342277
1342277
01392396
11392396
0342277
1342277
050231735

simplify137.0ms

Counts
14 → 14
Iterations

Useful iterations: 0 (118.0ms)

IterNodesCost
050731926

prune4.0ms

Filtered
13 candidates to 14 candidates (-7.7%)

Profiling

Loading profile data...