Details

Time bar (total: 1.7s)

analyze275.0ms (16.5%)

Algorithm
1×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
12.5%71.8%15.7%8
25%56.2%18.9%9
31.2%43.7%25.1%10
39%34.7%26.3%11
44.9%27.9%27.3%12
47.8%22%30.2%13
52.6%16.8%30.7%14
Compiler

Compiled 10 to 9 computations (10% saved)

sample16.0ms (1%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
0.0ms14×body128invalid
Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify178.0ms (10.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (11.0ms)

IterNodesCost
020113
120113

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1
Compiler

Compiled 18 to 16 computations (11.1% saved)

localize7.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

rewrite6.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64_4494
1×add-cbrt-cube_binary64_4491 diff-log_binary64_4547 pow1_binary64_4516 add-sqr-sqrt_binary64_4479 sub-neg_binary64_4451 add-cube-cbrt_binary64_4490 flip--_binary64_4433 flip3--_binary64_4462 *-un-lft-identity_binary64_4458 add-exp-log_binary64_4493
Counts
1 → 11
Calls

1 calls:

5.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))

series73.0ms (4.4%)

Counts
1 → 3
Calls

1 calls:

73.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))

simplify70.0ms (4.2%)

Algorithm
1×egg-herbie
Counts
14 → 14
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
04865260
14865260

prune15.0ms (0.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New13114
Fresh000
Picked011
Done000
Total13215

Merged error: 0b

Counts
15 → 2
Compiler

Compiled 221 to 128 computations (42.1% saved)

localize11.0ms (0.6%)

Local error

Found 3 expressions with local error:

0.0b
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))
3.4b
(log.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z)))
3.7b
(exp.f64 (log.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))))

rewrite19.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
6×log-prod_binary64_4541 add-sqr-sqrt_binary64_4479 add-cube-cbrt_binary64_4490 *-un-lft-identity_binary64_4458
5×pow1_binary64_4516 add-log-exp_binary64_4494
4×exp-prod_binary64_4507 log-div_binary64_4542 add-exp-log_binary64_4493
3×add-cbrt-cube_binary64_4491 flip--_binary64_4433 flip3--_binary64_4462 exp-sum_binary64_4501
2×exp-diff_binary64_4503 log-pow_binary64_4544
1×diff-log_binary64_4547 rem-log-exp_binary64_4496 sub-neg_binary64_4451 rem-exp-log_binary64_4495
Counts
3 → 42
Calls

3 calls:

6.0ms
(exp.f64 (log.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))))
5.0ms
(log.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z)))
4.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))

series318.0ms (19.1%)

Counts
3 → 9
Calls

3 calls:

156.0ms
(exp.f64 (log.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))))
84.0ms
(log.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z)))
78.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))

simplify67.0ms (4%)

Algorithm
1×egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
04918935
14918935

prune48.0ms (2.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New51051
Fresh000
Picked011
Done011
Total51253

Merged error: 0b

Counts
53 → 2
Compiler

Compiled 839 to 500 computations (40.4% saved)

regimes65.0ms (3.9%)

Compiler

Compiled 186 to 190 computations (-2.2% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05313
15313

end0.0ms (0%)

sample495.0ms (29.7%)

Algorithm
1×intervals
Results
227.0ms8000×body128valid
12.0ms447×body128invalid
Compiler

Compiled 39 to 38 computations (2.6% saved)

Profiling

Loading profile data...