Details

Time bar (total: 2.5min)

analyze1.5s (1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.6%0.4%0
0%99.6%0.4%1
0%99.6%0.4%2
0%99.6%0.4%3
0%99.6%0.4%4
0%99.6%0.4%5
0%99.6%0.4%6
0%99.6%0.4%7
0%99.6%0.4%8
0%99.6%0.4%9
0%99.6%0.4%10
0%99.6%0.4%11
0%99.6%0.4%12
0%99.6%0.4%13
0%99.6%0.4%14
Compiler

Compiled 16 to 16 computations (0% saved)

sample52.0ms (0%)

Algorithm
1×intervals
Results
15.0ms205×body128invalid
12.0ms256×body128valid
Compiler

Compiled 31 to 39 computations (-25.8% saved)

simplify181.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
06722
16722

prune3.0ms (0%)

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 30 to 30 computations (0% saved)

localize12.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))
0.0b
(+.f64 (*.f64 x y) (*.f64 z t))

rewrite17.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
13×add-log-exp_binary64_3902
7×sum-log_binary64_3954
2×add-sqr-sqrt_binary64_3885 add-cube-cbrt_binary64_3898 flip3-+_binary64_3866 pow1_binary64_3924 add-cbrt-cube_binary64_3899 +-commutative_binary64_3793 *-un-lft-identity_binary64_3863 flip-+_binary64_3837 add-exp-log_binary64_3901
1×associate-+l+_binary64_3796
Counts
2 → 25
Calls

2 calls:

10.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))
5.0ms
(+.f64 (*.f64 x y) (*.f64 z t))

series505.0ms (0.3%)

Counts
2 → 6
Calls

2 calls:

428.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))
78.0ms
(+.f64 (*.f64 x y) (*.f64 z t))

simplify56.0ms (0%)

Algorithm
1×egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
04961666
14961666

prune48.0ms (0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New29231
Fresh000
Picked011
Done000
Total29332

Merged error: 0b

Counts
32 → 3
Compiler

Compiled 1211 to 376 computations (69% saved)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))) (cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))))
0.6b
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))))
0.6b
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))))
0.6b
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))))

rewrite63.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
25×cbrt-prod_binary64_3894
23×add-sqr-sqrt_binary64_3885
18×cbrt-div_binary64_3895
15×add-cube-cbrt_binary64_3898 *-un-lft-identity_binary64_3863
11×pow1_binary64_3924
9×flip3-+_binary64_3866 pow1/3_binary64_3945 flip-+_binary64_3837
6×swap-sqr_binary64_3830 associate-*r*_binary64_3803 associate-*l*_binary64_3804 add-exp-log_binary64_3901
4×add-log-exp_binary64_3902 frac-times_binary64_3873 unswap-sqr_binary64_3831 add-cbrt-cube_binary64_3899
2×pow-sqr_binary64_3836 associate-*l/_binary64_3806 pow-prod-up_binary64_3933 associate-*r/_binary64_3805 pow-prod-down_binary64_3934
1×prod-exp_binary64_3912 cbrt-unprod_binary64_3896 pow-plus_binary64_3926 pow2_binary64_3944 *-commutative_binary64_3794
Counts
4 → 87
Calls

4 calls:

21.0ms
(*.f64 (cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))) (cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))))
8.0ms
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))))
8.0ms
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))))
8.0ms
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))))

series1.4s (0.9%)

Counts
4 → 12
Calls

4 calls:

478.0ms
(*.f64 (cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))) (cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))))
312.0ms
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))))
305.0ms
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))))
300.0ms
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))))

simplify91.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
049403848
149403848

prune139.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New99099
Fresh011
Picked011
Done011
Total993102

Merged error: 0b

Counts
102 → 3
Compiler

Compiled 6184 to 657 computations (89.4% saved)

localize21.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b
(pow.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) 3)
1.8b
(+.f64 (*.f64 (*.f64 c i) (*.f64 c i)) (*.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (-.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))))
3.6b
(+.f64 (pow.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) 3) (pow.f64 (*.f64 c i) 3))
41.1b
(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) 3) (pow.f64 (*.f64 c i) 3)) (+.f64 (*.f64 (*.f64 c i) (*.f64 c i)) (*.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (-.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i)))))

rewrite91.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
27×*-un-lft-identity_binary64_3863
17×add-sqr-sqrt_binary64_3885 add-cube-cbrt_binary64_3898
15×times-frac_binary64_3869
8×add-log-exp_binary64_3902
7×add-cbrt-cube_binary64_3899 add-exp-log_binary64_3901
6×associate-+r+_binary64_3795
5×associate-/l*_binary64_3808 distribute-lft-out_binary64_3814 flip3-+_binary64_3866 pow1_binary64_3924 sum-cubes_binary64_3864 flip-+_binary64_3837
3×associate-/r*_binary64_3807 pow-unpow_binary64_3940 distribute-rgt-in_binary64_3813 distribute-lft-in_binary64_3812 unpow-prod-down_binary64_3942 cube-prod_binary64_3891
2×cube-div_binary64_3892 cancel-sign-sub-inv_binary64_3829 associate-/l/_binary64_3810 sum-log_binary64_3954 +-commutative_binary64_3793 associate-/r/_binary64_3809 sub-neg_binary64_3856 associate--l+_binary64_3800
1×div-inv_binary64_3860 cube-mult_binary64_3893 frac-2neg_binary64_3874 div-exp_binary64_3914 pow-exp_binary64_3931 unpow3_binary64_3929 cbrt-undiv_binary64_3897 sqr-pow_binary64_3835 pow-to-exp_binary64_3932 clear-num_binary64_3862 rem-cube-cbrt_binary64_3886 pow-pow_binary64_3935
Counts
4 → 94
Calls

4 calls:

28.0ms
(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) 3) (pow.f64 (*.f64 c i) 3)) (+.f64 (*.f64 (*.f64 c i) (*.f64 c i)) (*.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (-.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i)))))
20.0ms
(+.f64 (pow.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) 3) (pow.f64 (*.f64 c i) 3))
16.0ms
(+.f64 (*.f64 (*.f64 c i) (*.f64 c i)) (*.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (-.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))))
8.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) 3)

series2.4min (97.2%)

Calls

1 calls:

5.0s
(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) 3) (pow.f64 (*.f64 c i) 3)) (+.f64 (*.f64 (*.f64 c i) (*.f64 c i)) (*.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (-.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i)))))

Profiling

Loading profile data...