Details

Time bar (total: 10.2s)

analyze0.0ms (0%)

Algorithm
1×random

sample60.0ms (0.6%)

Algorithm
1×intervals
Results
51.0ms256×body128valid
Compiler

Compiled 89 to 89 computations (0% saved)

simplify169.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0311
1311

prune8.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0b

Counts
2 → 2
Compiler

Compiled 46 to 46 computations (0% saved)

localize1.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify17.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
000

prune6.0ms (0.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New000
Fresh011
Picked011
Done000
Total022

Merged error: 0b

Counts
2 → 2
Compiler

Compiled 44 to 44 computations (0% saved)

localize53.0ms (0.5%)

Local error

Found 4 expressions with local error:

1.0b
(*.f64 1335/4 (pow.f64 33096 6))
1.0b
(*.f64 11/2 (pow.f64 33096 8))
1.0b
(+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
62.0b
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 33096 6)) (*.f64 (*.f64 77617 77617) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (*.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))

rewrite122.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64_782
14×add-exp-log_binary64_798 associate-*r*_binary64_700
13×add-log-exp_binary64_799
10×*-un-lft-identity_binary64_760 add-cube-cbrt_binary64_795
8×add-cbrt-cube_binary64_796 unpow-prod-down_binary64_839
6×unswap-sqr_binary64_728 prod-exp_binary64_809 associate-*l*_binary64_701
5×sum-log_binary64_851
4×sqr-pow_binary64_732 pow1_binary64_821
2×flip3-+_binary64_763 pow-exp_binary64_828 flip-+_binary64_734 pow-to-exp_binary64_829 +-commutative_binary64_690 cbrt-unprod_binary64_793 *-commutative_binary64_691
1×associate-+l+_binary64_693 unsub-neg_binary64_754 neg-sub0_binary64_755 neg-log_binary64_853 associate-+r-_binary64_694
Counts
4 → 77
Calls

4 calls:

48.0ms
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 33096 6)) (*.f64 (*.f64 77617 77617) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (*.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
31.0ms
(+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
11.0ms
(*.f64 11/2 (pow.f64 33096 8))
11.0ms
(*.f64 1335/4 (pow.f64 33096 6))

series0.0ms (0%)

Counts
4 → 4
Calls

4 calls:

0.0ms
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 33096 6)) (*.f64 (*.f64 77617 77617) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (*.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))
0.0ms
(+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))
0.0ms
(*.f64 11/2 (pow.f64 33096 8))
0.0ms
(*.f64 1335/4 (pow.f64 33096 6))

simplify387.0ms (3.8%)

Algorithm
1×egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (350.0ms)

IterNodesCost
04705321
14705321

prune629.0ms (6.1%)

Pruning

20 alts after pruning (18 fresh and 2 done)

PrunedKeptTotal
New631881
Fresh000
Picked011
Done011
Total632083

Merged error: 0b

Counts
83 → 20
Compiler

Compiled 3631 to 3631 computations (0% saved)

localize11.0ms (0.1%)

Local error

Found 1 expressions with local error:

1.0b
(+.f64 (cbrt.f64 -8) (/.f64 77617 (*.f64 2 33096)))

rewrite14.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
3×*-un-lft-identity_binary64_760 add-log-exp_binary64_799
1×distribute-lft-out_binary64_711 flip3-+_binary64_763 add-exp-log_binary64_798 add-cube-cbrt_binary64_795 flip-+_binary64_734 add-cbrt-cube_binary64_796 +-commutative_binary64_690 sum-log_binary64_851 pow1_binary64_821 add-sqr-sqrt_binary64_782
Counts
1 → 12
Calls

1 calls:

12.0ms
(+.f64 (cbrt.f64 -8) (/.f64 77617 (*.f64 2 33096)))

series0.0ms (0%)

Counts
1 → 1
Calls

1 calls:

0.0ms
(+.f64 (cbrt.f64 -8) (/.f64 77617 (*.f64 2 33096)))

simplify272.0ms (2.7%)

Algorithm
1×egg-herbie
Counts
13 → 13
Iterations

Useful iterations: 0 (193.0ms)

IterNodesCost
05127119

prune194.0ms (1.9%)

Pruning

26 alts after pruning (23 fresh and 3 done)

PrunedKeptTotal
New6713
Fresh11617
Picked011
Done022
Total72633

Merged error: 0b

Counts
33 → 26
Compiler

Compiled 767 to 767 computations (0% saved)

localize24.0ms (0.2%)

Local error

Found 1 expressions with local error:

1.0b
(-.f64 (cbrt.f64 -8) 77617/66192)

rewrite12.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64_782
4×*-un-lft-identity_binary64_760
3×cancel-sign-sub-inv_binary64_726 add-log-exp_binary64_799
2×add-cube-cbrt_binary64_795 difference-of-squares_binary64_729
1×diff-log_binary64_852 add-exp-log_binary64_798 add-cbrt-cube_binary64_796 distribute-lft-out--_binary64_712 cbrt-prod_binary64_791 pow1_binary64_821 sub-neg_binary64_753 flip--_binary64_735 flip3--_binary64_764
Counts
1 → 17
Calls

1 calls:

10.0ms
(-.f64 (cbrt.f64 -8) 77617/66192)

series0.0ms (0%)

Counts
1 → 1
Calls

1 calls:

0.0ms
(-.f64 (cbrt.f64 -8) 77617/66192)

simplify187.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 0 (172.0ms)

IterNodesCost
04962174
14962174

prune333.0ms (3.3%)

Pruning

30 alts after pruning (26 fresh and 4 done)

PrunedKeptTotal
New12618
Fresh22022
Picked011
Done033
Total143044

Merged error: 0b

Counts
44 → 30
Compiler

Compiled 2570 to 2570 computations (0% saved)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
011
111

end0.0ms (0%)

sample7.7s (75.6%)

Algorithm
1×intervals
Results
1.8s8000×body128valid
Compiler

Compiled 2350 to 2350 computations (0% saved)

Pareto

0

Profiling

Loading profile data...