Details

Time bar (total: 4.3s)

analyze773.0ms (18.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
6.2%93.6%0.2%9
12.5%87.3%0.2%10
15.6%80.3%4.1%11
31.2%63.9%4.9%12
39%50.9%10.1%13
44.8%44.4%10.7%14
Compiler

Compiled 8 to 8 computations (0% saved)

sample18.0ms (0.4%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
1.0ms45×body128invalid
Compiler

Compiled 15 to 19 computations (-26.7% saved)

simplify105.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (9.0ms)

IterNodesCost
015810
115810

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Compiler

Compiled 14 to 14 computations (0% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite5.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64_2504
1×*-un-lft-identity_binary64_2465 flip--_binary64_2440 add-cube-cbrt_binary64_2500 add-exp-log_binary64_2503 sub-neg_binary64_2458 add-sqr-sqrt_binary64_2487 add-cbrt-cube_binary64_2501 cancel-sign-sub-inv_binary64_2431 diff-log_binary64_2557 pow1_binary64_2526 flip3--_binary64_2469
Counts
1 → 12
Calls

2 calls:

4.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
0.0ms
(-.f64 (*.f64 x y) (*.f64 z t))

series146.0ms (3.4%)

Counts
1 → 24
Calls

1 calls:

146.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 216 to 240 computations (-11.1% saved)

simplify69.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
04946379
14946379

prune18.0ms (0.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New35136
Fresh000
Picked011
Done000
Total35237
Error
0b
Counts
37 → 2
Compiler

Compiled 320 to 49 computations (84.7% saved)

localize11.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.3b
(*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
0.0b
(-.f64 (*.f64 x y) (*.f64 z t))
0.0b
(-.f64 (*.f64 x y) (*.f64 z t))
0.0b
(-.f64 (*.f64 x y) (*.f64 z t))
0.5b
(*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
1.3b
(cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))
1.3b
(cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))
1.3b
(cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))

rewrite32.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
25×cbrt-prod_binary64_2496
23×add-sqr-sqrt_binary64_2487
18×cbrt-div_binary64_2497
15×*-un-lft-identity_binary64_2465 add-cube-cbrt_binary64_2500
11×pow1_binary64_2526
9×flip--_binary64_2440 pow1/3_binary64_2547 flip3--_binary64_2469
6×swap-sqr_binary64_2432 add-exp-log_binary64_2503 associate-*r*_binary64_2405 associate-*l*_binary64_2406
4×add-log-exp_binary64_2504 frac-times_binary64_2475 unswap-sqr_binary64_2433 add-cbrt-cube_binary64_2501
2×associate-*l/_binary64_2408 associate-*r/_binary64_2407 pow-prod-down_binary64_2536 pow-sqr_binary64_2438 pow-prod-up_binary64_2535
1×*-commutative_binary64_2396 pow-plus_binary64_2528 pow2_binary64_2546 prod-exp_binary64_2514 cbrt-unprod_binary64_2498
Counts
4 → 87
Calls

8 calls:

12.0ms
(*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
4.0ms
(cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))
3.0ms
(cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))
3.0ms
(cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))
0.0ms
(-.f64 (*.f64 x y) (*.f64 z t))

series1.7s (38.9%)

Counts
4 → 103
Calls

4 calls:

515.0ms
(*.f64 (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
383.0ms
(cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))
383.0ms
(cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))
376.0ms
(cbrt.f64 (-.f64 (*.f64 x y) (*.f64 z t)))
Compiler

Compiled 8213 to 5857 computations (28.7% saved)

simplify107.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
190 → 190
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
049776009
149776009

prune195.0ms (4.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1900190
Fresh000
Picked011
Done011
Total1902192
Error
0b
Counts
192 → 2
Compiler

Compiled 6964 to 1538 computations (77.9% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04489
14489

regimes106.0ms (2.5%)

Compiler

Compiled 468 to 444 computations (5.1% saved)

bsearch0.0ms (0%)

regimes205.0ms (4.8%)

Compiler

Compiled 80 to 208 computations (-160% saved)

bsearch44.0ms (1%)

Steps
ItersRangePoint
10
2.4670870008001295e+72
2.2191397811050473e+84
2.7756933597716596e+72
5
1.1516920738591362e+32
4.166146085395289e+32
2.8076562141193225e+32
7
5.091300827588135e-70
2.8549090151325193e-68
2.6454540358837224e-68
6
-5.5798431587510154e-58
-5.464766553644789e-59
-9.482902123141514e-59
Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes48.0ms (1.1%)

Compiler

Compiled 44 to 142 computations (-222.7% saved)

bsearch0.0ms (0%)

regimes35.0ms (0.8%)

Accuracy

Total 0.0b remaining (14.7%)

Threshold costs 0.0b (14.7%)

Compiler

Compiled 20 to 92 computations (-360% saved)

bsearch3.0ms (0.1%)

Compiler

Compiled 54 to 41 computations (24.1% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06966
16966

end0.0ms (0%)

sample666.0ms (15.6%)

Algorithm
1×intervals
Results
200.0ms8000×body128valid
35.0ms1336×body128invalid
Compiler

Compiled 115 to 109 computations (5.2% saved)

Pareto

0.5671560042037345

Profiling

Loading profile data...