Details

Time bar (total: 2.6min)

analyze290.0ms (0.2%)

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

Compiled 30 to 24 computations (20% saved)

sample46.0ms (0%)

Algorithm
1×intervals
Results
13.0ms248×body128valid
9.0ms296×pre128true
2.0ms40×body128nan
1.0ms8×body256valid
Compiler

Compiled 50 to 47 computations (6% saved)

simplify473.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
2 → 2
Iterations

Useful iterations: 0 (368.0ms)

IterNodesCost
0183425
1183425

prune5.0ms (0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New022
Fresh022
Picked000
Done000
Total044
Error
26.6b
Counts
4 → 3
Compiler

Compiled 17 to 14 computations (17.6% saved)

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

27.3b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
0.3b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.3b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
27.3b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)

rewrite38.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
21×add-sqr-sqrt_binary64_782
14×*-un-lft-identity_binary64_760
9×add-exp-log_binary64_798 add-cbrt-cube_binary64_796
8×add-cube-cbrt_binary64_795 add-log-exp_binary64_799
6×sqrt-prod_binary64_776 difference-of-squares_binary64_729 associate-/l*_binary64_705 times-frac_binary64_766
5×pow1_binary64_821
4×cancel-sign-sub-inv_binary64_726 flip--_binary64_735 flip3--_binary64_764
3×distribute-lft-out--_binary64_712
2×diff-log_binary64_852 cbrt-undiv_binary64_794 associate-/l/_binary64_707 sqrt-div_binary64_777 div-exp_binary64_811 sub-neg_binary64_753
1×rem-sqrt-square_binary64_773 frac-2neg_binary64_771 prod-exp_binary64_809 sqrt-pow1_binary64_778 associate-/r*_binary64_704 div-inv_binary64_757 div-sub_binary64_765 cbrt-unprod_binary64_793 pow1/2_binary64_840 clear-num_binary64_759
Counts
4 → 74
Calls

8 calls:

13.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
9.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series714.0ms (0.4%)

Counts
4 → 72
Calls

4 calls:

240.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
177.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
174.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
121.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 1950 to 1660 computations (14.9% saved)

simplify96.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
052073272

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

27.3b
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.3b
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.3b
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))
27.3b
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))

rewrite40.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity_binary64_760
10×add-log-exp_binary64_799
9×add-exp-log_binary64_798 add-cbrt-cube_binary64_796
8×add-sqr-sqrt_binary64_782
7×add-cube-cbrt_binary64_795
6×distribute-lft-out_binary64_711
5×associate-/l*_binary64_705 pow1_binary64_821 times-frac_binary64_766
3×sqrt-prod_binary64_776 distribute-rgt-neg-in_binary64_718
2×cbrt-undiv_binary64_794 flip3-+_binary64_763 associate-/l/_binary64_707 neg-sub0_binary64_755 sqrt-div_binary64_777 flip-+_binary64_734 sum-log_binary64_851 associate-+l-_binary64_695 div-exp_binary64_811 flip--_binary64_735 flip3--_binary64_764
1×diff-log_binary64_852 rem-sqrt-square_binary64_773 frac-2neg_binary64_771 prod-exp_binary64_809 cancel-sign-sub-inv_binary64_726 sqrt-pow1_binary64_778 associate-/r*_binary64_704 div-inv_binary64_757 neg-log_binary64_853 +-commutative_binary64_690 div-sub_binary64_765 cbrt-unprod_binary64_793 pow1/2_binary64_840 clear-num_binary64_759 sub-neg_binary64_753
Counts
4 → 70
Calls

8 calls:

14.0ms
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))
10.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series725.0ms (0.5%)

Counts
4 → 72
Calls

4 calls:

241.0ms
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))
184.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
179.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
121.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 2001 to 1711 computations (14.5% saved)

simplify67.0ms (0%)

Algorithm
1×egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
051673105

prune1.4s (0.9%)

Pruning

87 alts after pruning (85 fresh and 2 done)

PrunedKeptTotal
New20484288
Fresh011
Picked000
Done022
Total20487291
Error
0.1b
Counts
291 → 87
Compiler

Compiled 5601 to 3580 computations (36.1% saved)

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b
(/.f64 (/.f64 (*.f64 (*.f64 4 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 2 a))
0.2b
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.2b
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.3b
(/.f64 (/.f64 (*.f64 (*.f64 4 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 2 a))
0.3b
(/.f64 (*.f64 (*.f64 4 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))

rewrite72.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
45×add-exp-log_binary64_798 add-cbrt-cube_binary64_796
34×times-frac_binary64_766
32×*-un-lft-identity_binary64_760 add-sqr-sqrt_binary64_782
17×cbrt-undiv_binary64_794 div-exp_binary64_811
14×associate-/l*_binary64_705
13×prod-exp_binary64_809 cbrt-unprod_binary64_793
12×add-cube-cbrt_binary64_795
10×add-log-exp_binary64_799 difference-of-squares_binary64_729 distribute-lft-out--_binary64_712
8×sqrt-prod_binary64_776 associate-/r*_binary64_704
7×cancel-sign-sub-inv_binary64_726
6×associate-/r/_binary64_706
5×distribute-rgt-neg-in_binary64_718 flip--_binary64_735 flip3--_binary64_764
4×div-inv_binary64_757 pow1_binary64_821
3×diff-log_binary64_852
2×frac-2neg_binary64_771 clear-num_binary64_759 sub-neg_binary64_753
1×associate--l-_binary64_698 associate-/l/_binary64_707 neg-sub0_binary64_755 neg-log_binary64_853
Counts
4 → 122
Calls

8 calls:

21.0ms
(/.f64 (/.f64 (*.f64 (*.f64 4 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 2 a))
16.0ms
(/.f64 (*.f64 (*.f64 4 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
15.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series891.0ms (0.6%)

Counts
4 → 72
Calls

4 calls:

305.0ms
(/.f64 (*.f64 (*.f64 4 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
248.0ms
(/.f64 (/.f64 (*.f64 (*.f64 4 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 2 a))
175.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
162.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
Compiler

Compiled 2487 to 2008 computations (19.3% saved)

simplify149.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
194 → 194
Iterations

Useful iterations: 0 (94.0ms)

IterNodesCost
049475531
149475531

localize4.0ms (0%)

rewrite0.0ms (0%)

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

series0.0ms (0%)

Counts
0 → 0

simplify8.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b
(*.f64 (*.f64 a a) (*.f64 c c))
0.3b
(/.f64 (*.f64 -2 (+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3)))) (*.f64 a 2))
0.2b
(/.f64 (*.f64 a c) b)
0.2b
(+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3)))
0.2b
(/.f64 (*.f64 a c) b)
0.3b
(/.f64 (*.f64 -2 (+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3)))) (*.f64 a 2))
0.3b
(*.f64 (*.f64 a a) (*.f64 c c))
0.3b
(/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3))

rewrite72.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
82×add-exp-log_binary64_798
51×add-cbrt-cube_binary64_796
37×prod-exp_binary64_809
32×pow1_binary64_821
21×cbrt-unprod_binary64_793 div-exp_binary64_811
16×associate-/r*_binary64_704 times-frac_binary64_766
14×pow-prod-down_binary64_831
12×*-un-lft-identity_binary64_760 add-cube-cbrt_binary64_795 add-sqr-sqrt_binary64_782
11×cbrt-undiv_binary64_794
6×cube-prod_binary64_788 unpow-prod-down_binary64_839
5×pow-exp_binary64_828 pow-to-exp_binary64_829
4×add-log-exp_binary64_799 pow-plus_binary64_823 pow-prod-up_binary64_830
3×frac-2neg_binary64_771 associate-/l/_binary64_707 div-inv_binary64_757 associate-/l*_binary64_705 associate-*r/_binary64_702 clear-num_binary64_759
2×cube-mult_binary64_790 pow2_binary64_841 unpow3_binary64_826 pow-sqr_binary64_733 sqr-pow_binary64_732
1×unswap-sqr_binary64_728 flip3-+_binary64_763 frac-add_binary64_768 flip-+_binary64_734 associate-*r*_binary64_700 associate-*l*_binary64_701 *-commutative_binary64_691
Counts
4 → 129
Calls

8 calls:

21.0ms
(/.f64 (*.f64 -2 (+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3)))) (*.f64 a 2))
15.0ms
(/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3))
10.0ms
(*.f64 (*.f64 a a) (*.f64 c c))
5.0ms
(/.f64 (*.f64 a c) b)
0.0ms
(+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3)))

series946.0ms (0.6%)

Counts
4 → 42
Calls

4 calls:

517.0ms
(/.f64 (*.f64 -2 (+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3)))) (*.f64 a 2))
241.0ms
(/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3))
107.0ms
(/.f64 (*.f64 a c) b)
80.0ms
(*.f64 (*.f64 a a) (*.f64 c c))
Compiler

Compiled 1431 to 1171 computations (18.2% saved)

simplify100.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
171 → 171
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
050332666

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b
(pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3)
0.3b
(/.f64 (+.f64 (neg.f64 b) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3))) (*.f64 2 a))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.3b
(/.f64 (+.f64 (neg.f64 b) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3))) (*.f64 2 a))
0.6b
(pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3)
0.6b
(cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3))
27.3b
(+.f64 (neg.f64 b) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3)))

rewrite70.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
28×*-un-lft-identity_binary64_760
18×cbrt-prod_binary64_791
16×add-cube-cbrt_binary64_795 add-sqr-sqrt_binary64_782
12×sqrt-prod_binary64_776 cube-prod_binary64_788 unpow-prod-down_binary64_839
10×add-exp-log_binary64_798 add-cbrt-cube_binary64_796
8×add-log-exp_binary64_799
6×distribute-lft-out_binary64_711 pow1_binary64_821
5×associate-/l*_binary64_705 times-frac_binary64_766
4×sqrt-div_binary64_777 cube-div_binary64_789
3×distribute-rgt-neg-in_binary64_718 pow-unpow_binary64_837 pow-pow_binary64_832
2×cube-mult_binary64_790 cbrt-undiv_binary64_794 flip3-+_binary64_763 associate-/l/_binary64_707 unpow3_binary64_826 neg-sub0_binary64_755 flip-+_binary64_734 sum-log_binary64_851 cbrt-div_binary64_792 associate-+l-_binary64_695 sqr-pow_binary64_732 div-exp_binary64_811 flip--_binary64_735 flip3--_binary64_764
1×pow1/3_binary64_842 rem-cbrt-cube_binary64_784 frac-2neg_binary64_771 prod-exp_binary64_809 sqrt-pow1_binary64_778 associate-/r*_binary64_704 pow-exp_binary64_828 div-inv_binary64_757 rem-cube-cbrt_binary64_783 pow-to-exp_binary64_829 neg-log_binary64_853 +-commutative_binary64_690 div-sub_binary64_765 cbrt-unprod_binary64_793 pow1/2_binary64_840 clear-num_binary64_759 sqrt-pow2_binary64_779
Counts
4 → 106
Calls

8 calls:

22.0ms
(/.f64 (+.f64 (neg.f64 b) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3))) (*.f64 2 a))
18.0ms
(+.f64 (neg.f64 b) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3)))
6.0ms
(cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3))
6.0ms
(pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3)
0.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series741.0ms (0.5%)

Counts
4 → 75
Calls

4 calls:

240.0ms
(/.f64 (+.f64 (neg.f64 b) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3))) (*.f64 2 a))
216.0ms
(pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3)
171.0ms
(+.f64 (neg.f64 b) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3)))
114.0ms
(cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3))
Compiler

Compiled 2292 to 1937 computations (15.5% saved)

simplify100.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
181 → 181
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
050634364

localize26.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b
(+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.2b
(+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.1b
(-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3))
0.1b
(sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))))
0.3b
(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
0.4b
(*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.8b
(pow.f64 (*.f64 (*.f64 4 a) c) 3)
27.3b
(-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))) b)

rewrite85.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
57×add-sqr-sqrt_binary64_782
32×*-un-lft-identity_binary64_760
31×times-frac_binary64_766
27×difference-of-squares_binary64_729
22×add-cube-cbrt_binary64_795
21×sqr-pow_binary64_732
17×add-exp-log_binary64_798 add-cbrt-cube_binary64_796
15×pow1_binary64_821
10×associate-/l*_binary64_705
9×unpow-prod-down_binary64_839
6×prod-exp_binary64_809 add-log-exp_binary64_799 cbrt-unprod_binary64_793 pow-prod-down_binary64_831
5×distribute-lft-out--_binary64_712
3×cancel-sign-sub-inv_binary64_726 associate-/r*_binary64_704 pow-exp_binary64_828 rem-cube-cbrt_binary64_783 associate-*r*_binary64_700 pow-unpow_binary64_837 pow-pow_binary64_832
2×associate-/r/_binary64_706 flip3-+_binary64_763 sqrt-prod_binary64_776 associate-/l/_binary64_707 flip-+_binary64_734 associate-*r/_binary64_702 flip--_binary64_735 flip3--_binary64_764
1×cube-mult_binary64_790 diff-log_binary64_852 frac-2neg_binary64_771 cbrt-undiv_binary64_794 unpow3_binary64_826 distribute-lft-in_binary64_709 div-inv_binary64_757 distribute-rgt-in_binary64_710 pow-to-exp_binary64_829 associate-*l*_binary64_701 div-sub_binary64_765 cube-prod_binary64_788 div-exp_binary64_811 clear-num_binary64_759 sub-neg_binary64_753 *-commutative_binary64_691
Counts
4 → 125
Calls

8 calls:

29.0ms
(-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))) b)
20.0ms
(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
9.0ms
(*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
6.0ms
(pow.f64 (*.f64 (*.f64 4 a) c) 3)
0.0ms
(sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))))

series1.5s (1%)

Counts
4 → 60
Calls

4 calls:

764.0ms
(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
323.0ms
(*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
322.0ms
(-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (*.f64 a c) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))) b)
113.0ms
(pow.f64 (*.f64 (*.f64 4 a) c) 3)
Compiler

Compiled 2503 to 2069 computations (17.3% saved)

simplify135.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
185 → 185
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
052077280

prune9.4s (5.9%)

Pruning

277 alts after pruning (271 fresh and 6 done)

PrunedKeptTotal
New527204731
Fresh136780
Picked000
Done167
Total541277818
Error
0.0b
Counts
818 → 277
Compiler

Compiled 23262 to 14922 computations (35.9% saved)

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) a)
0.2b
(*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) a))
0.2b
(-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
0.2b
(*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) a))
0.2b
(/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) a)
0.2b
(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
0.2b
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))

rewrite132.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
330×times-frac_binary64_766
255×*-un-lft-identity_binary64_760 add-sqr-sqrt_binary64_782
151×add-cube-cbrt_binary64_795
85×associate-*r*_binary64_700
52×difference-of-squares_binary64_729 distribute-lft-out--_binary64_712
32×add-exp-log_binary64_798 add-cbrt-cube_binary64_796
30×associate-/l*_binary64_705
29×sqrt-prod_binary64_776
26×distribute-rgt-neg-in_binary64_718
16×associate-/r/_binary64_706
10×cbrt-undiv_binary64_794 associate-/r*_binary64_704 div-inv_binary64_757 div-exp_binary64_811
9×prod-exp_binary64_809 cbrt-unprod_binary64_793 pow1_binary64_821 flip--_binary64_735 flip3--_binary64_764
8×add-log-exp_binary64_799
6×cancel-sign-sub-inv_binary64_726
3×pow-prod-down_binary64_831
2×diff-log_binary64_852 frac-2neg_binary64_771 clear-num_binary64_759
1×associate--l-_binary64_698 associate-/l/_binary64_707 neg-sub0_binary64_755 neg-log_binary64_853 associate-*l*_binary64_701 associate-*r/_binary64_702 sub-neg_binary64_753 *-commutative_binary64_691
Counts
4 → 303
Calls

8 calls:

34.0ms
(*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) a))
19.0ms
(/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) a)
12.0ms
(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
12.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
0.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))

series954.0ms (0.6%)

Counts
4 → 72
Calls

4 calls:

290.0ms
(/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) a)
259.0ms
(*.f64 (*.f64 a 2) (/.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) a))
245.0ms
(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
159.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
Compiler

Compiled 2503 to 1967 computations (21.4% saved)

simplify197.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
375 → 375
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
0498813397
1498813397

localize6.0ms (0%)

rewrite0.0ms (0%)

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

series0.0ms (0%)

Counts
0 → 0

simplify8.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 2 a))
0.3b
(+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.1b
(-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16))
0.1b
(sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.3b
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 2 a))
0.3b
(*.f64 (*.f64 a a) (*.f64 c c))
0.4b
(/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
27.3b
(+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))

rewrite89.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
32×pow1_binary64_821
26×*-un-lft-identity_binary64_760
23×add-exp-log_binary64_798 add-cbrt-cube_binary64_796
14×add-cube-cbrt_binary64_795 pow-prod-down_binary64_831 times-frac_binary64_766 add-sqr-sqrt_binary64_782
9×prod-exp_binary64_809 cbrt-unprod_binary64_793
8×add-log-exp_binary64_799 associate-/l*_binary64_705
6×distribute-lft-out_binary64_711
4×associate-/l/_binary64_707 associate-/r*_binary64_704 pow-plus_binary64_823 pow-prod-up_binary64_830
3×cbrt-undiv_binary64_794 flip3-+_binary64_763 flip-+_binary64_734 distribute-rgt-neg-in_binary64_718 div-exp_binary64_811
2×pow2_binary64_841 frac-2neg_binary64_771 associate-/r/_binary64_706 pow-sqr_binary64_733 div-inv_binary64_757 neg-sub0_binary64_755 sum-log_binary64_851 div-sub_binary64_765 associate-+l-_binary64_695 clear-num_binary64_759
1×unswap-sqr_binary64_728 neg-log_binary64_853 associate-*r*_binary64_700 +-commutative_binary64_690 associate-*l*_binary64_701 *-commutative_binary64_691 flip--_binary64_735 flip3--_binary64_764
Counts
4 → 104
Calls

8 calls:

27.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
25.0ms
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 2 a))
12.0ms
(/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
10.0ms
(*.f64 (*.f64 a a) (*.f64 c c))
0.0ms
(sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))

series1.2s (0.7%)

Counts
4 → 60
Calls

4 calls:

486.0ms
(/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
323.0ms
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 2 a))
264.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
91.0ms
(*.f64 (*.f64 a a) (*.f64 c c))
Compiler

Compiled 1855 to 1580 computations (14.8% saved)

simplify123.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
164 → 164
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
056285131

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
27.3b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
27.3b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)

rewrite36.0ms (0%)

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

8 calls:

9.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
9.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series490.0ms (0.3%)

Counts
4 → 46
Calls

4 calls:

135.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
133.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
111.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
109.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
Compiler

Compiled 2480 to 1922 computations (22.5% saved)

simplify80.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
048851604
148851604

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
0.5b
(*.f64 (cbrt.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) (cbrt.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))))
0.5b
(cbrt.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
0.5b
(cbrt.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
0.5b
(cbrt.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))

rewrite88.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
69×cbrt-prod_binary64_791
63×*-un-lft-identity_binary64_760
59×add-sqr-sqrt_binary64_782
22×distribute-lft-out--_binary64_712
18×difference-of-squares_binary64_729 swap-sqr_binary64_727 cbrt-div_binary64_792
15×add-cube-cbrt_binary64_795
11×distribute-rgt-neg-in_binary64_718 pow1_binary64_821
10×associate-*r*_binary64_700 associate-*l*_binary64_701
9×pow1/3_binary64_842 sqrt-prod_binary64_776 flip--_binary64_735 flip3--_binary64_764
6×add-exp-log_binary64_798
4×unswap-sqr_binary64_728 add-log-exp_binary64_799 add-cbrt-cube_binary64_796 frac-times_binary64_770
2×associate-*l/_binary64_703 pow-sqr_binary64_733 associate-*r/_binary64_702 pow-prod-up_binary64_830 pow-prod-down_binary64_831
1×pow2_binary64_841 prod-exp_binary64_809 pow-plus_binary64_823 cbrt-unprod_binary64_793 *-commutative_binary64_691
Counts
4 → 119
Calls

8 calls:

34.0ms
(*.f64 (cbrt.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) (cbrt.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))))
10.0ms
(cbrt.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
10.0ms
(cbrt.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
9.0ms
(cbrt.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
0.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))

series2.7s (1.7%)

Counts
4 → 72
Calls

4 calls:

922.0ms
(*.f64 (cbrt.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) (cbrt.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))))
768.0ms
(cbrt.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
507.0ms
(cbrt.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
497.0ms
(cbrt.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
Compiler

Compiled 7250 to 5503 computations (24.1% saved)

simplify143.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
049778057
149778057

prune26.2s (16.5%)

Pruning

501 alts after pruning (492 fresh and 9 done)

PrunedKeptTotal
New590244834
Fresh18248266
Picked000
Done2911
Total6105011111
Error
0b
Counts
1111 → 501
Compiler

Compiled 43166 to 26786 computations (37.9% saved)

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(/.f64 (pow.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) 1) a)
0.2b
(*.f64 (*.f64 a 2) (/.f64 (pow.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) 1) a))
0.2b
(-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
0.2b
(*.f64 (*.f64 a 2) (/.f64 (pow.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) 1) a))
0.2b
(/.f64 (pow.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) 1) a)
0.2b
(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
0.2b
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))

rewrite158.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
354×times-frac_binary64_766
270×*-un-lft-identity_binary64_760 add-sqr-sqrt_binary64_782
189×unpow-prod-down_binary64_839
166×add-cube-cbrt_binary64_795
97×associate-*r*_binary64_700
52×difference-of-squares_binary64_729 distribute-lft-out--_binary64_712
47×add-exp-log_binary64_798
34×associate-/l*_binary64_705
29×sqrt-prod_binary64_776
26×distribute-rgt-neg-in_binary64_718
20×add-cbrt-cube_binary64_796
16×associate-/r/_binary64_706 div-exp_binary64_811
15×prod-exp_binary64_809
10×associate-/r*_binary64_704 div-inv_binary64_757
9×pow1_binary64_821 flip--_binary64_735 flip3--_binary64_764
8×add-log-exp_binary64_799
7×sqr-pow_binary64_732
6×cancel-sign-sub-inv_binary64_726 pow-exp_binary64_828 cbrt-unprod_binary64_793
4×cbrt-undiv_binary64_794
3×pow-to-exp_binary64_829 pow-prod-down_binary64_831
2×diff-log_binary64_852 frac-2neg_binary64_771 clear-num_binary64_759
1×associate--l-_binary64_698 neg-sub0_binary64_755 neg-log_binary64_853 associate-*l*_binary64_701 associate-*r/_binary64_702 sub-neg_binary64_753 *-commutative_binary64_691
Counts
4 → 333
Calls

8 calls:

41.0ms
(*.f64 (*.f64 a 2) (/.f64 (pow.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) 1) a))
23.0ms
(/.f64 (pow.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) 1) a)
15.0ms
(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
11.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
0.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))

series973.0ms (0.6%)

Counts
4 → 72
Calls

4 calls:

288.0ms
(/.f64 (pow.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) 1) a)
262.0ms
(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
262.0ms
(*.f64 (*.f64 a 2) (/.f64 (pow.f64 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) 1) a))
160.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
Compiler

Compiled 2599 to 2063 computations (20.6% saved)

simplify191.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
405 → 405
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
0496414241
1496414241

localize7.0ms (0%)

rewrite0.0ms (0%)

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

series0.0ms (0%)

Counts
0 → 0

simplify9.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
000

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b
(/.f64 (*.f64 (fabs.f64 (*.f64 a c)) (fabs.f64 (*.f64 a c))) (pow.f64 b 3))
0.3b
(/.f64 (*.f64 -2 (+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (fabs.f64 (*.f64 a c)) (fabs.f64 (*.f64 a c))) (pow.f64 b 3)))) (*.f64 a 2))
0.2b
(/.f64 (*.f64 a c) b)
0.2b
(+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (fabs.f64 (*.f64 a c)) (fabs.f64 (*.f64 a c))) (pow.f64 b 3)))
0.2b
(/.f64 (*.f64 a c) b)
0.3b
(/.f64 (*.f64 -2 (+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (fabs.f64 (*.f64 a c)) (fabs.f64 (*.f64 a c))) (pow.f64 b 3)))) (*.f64 a 2))
0.3b
(/.f64 (*.f64 (fabs.f64 (*.f64 a c)) (fabs.f64 (*.f64 a c))) (pow.f64 b 3))
0.6b
(*.f64 (fabs.f64 (*.f64 a c)) (fabs.f64 (*.f64 a c)))

rewrite50.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
36×add-exp-log_binary64_798
28×add-cbrt-cube_binary64_796
18×add-sqr-sqrt_binary64_782
16×*-un-lft-identity_binary64_760 associate-/r*_binary64_704 add-cube-cbrt_binary64_795 times-frac_binary64_766
12×div-exp_binary64_811
11×pow1_binary64_821
9×prod-exp_binary64_809
8×cbrt-undiv_binary64_794
7×cbrt-unprod_binary64_793
6×cube-prod_binary64_788 unpow-prod-down_binary64_839
4×add-log-exp_binary64_799
3×frac-2neg_binary64_771 associate-/l/_binary64_707 div-inv_binary64_757 associate-/l*_binary64_705 swap-sqr_binary64_727 associate-*r*_binary64_700 associate-*l*_binary64_701 associate-*r/_binary64_702 clear-num_binary64_759
2×cube-mult_binary64_790 unpow3_binary64_826 pow-exp_binary64_828 pow-to-exp_binary64_829 sqr-pow_binary64_732
1×pow2_binary64_841 unswap-sqr_binary64_728 flip3-+_binary64_763 pow-sqr_binary64_733 frac-add_binary64_768 pow-plus_binary64_823 flip-+_binary64_734 sqr-abs_binary64_775 pow-prod-up_binary64_830 pow-prod-down_binary64_831 *-commutative_binary64_691
Counts
4 → 114
Calls

8 calls:

21.0ms
(/.f64 (*.f64 -2 (+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (fabs.f64 (*.f64 a c)) (fabs.f64 (*.f64 a c))) (pow.f64 b 3)))) (*.f64 a 2))
7.0ms
(/.f64 (*.f64 (fabs.f64 (*.f64 a c)) (fabs.f64 (*.f64 a c))) (pow.f64 b 3))
5.0ms
(/.f64 (*.f64 a c) b)
5.0ms
(*.f64 (fabs.f64 (*.f64 a c)) (fabs.f64 (*.f64 a c)))
0.0ms
(+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (fabs.f64 (*.f64 a c)) (fabs.f64 (*.f64 a c))) (pow.f64 b 3)))

series1.0s (0.6%)

Counts
4 → 42
Calls

4 calls:

590.0ms
(/.f64 (*.f64 -2 (+.f64 (/.f64 (*.f64 a c) b) (/.f64 (*.f64 (fabs.f64 (*.f64 a c)) (fabs.f64 (*.f64 a c))) (pow.f64 b 3)))) (*.f64 a 2))
241.0ms
(/.f64 (*.f64 (fabs.f64 (*.f64 a c)) (fabs.f64 (*.f64 a c))) (pow.f64 b 3))
118.0ms
(/.f64 (*.f64 a c) b)
65.0ms
(*.f64 (fabs.f64 (*.f64 a c)) (fabs.f64 (*.f64 a c)))
Compiler

Compiled 1488 to 1125 computations (24.4% saved)

simplify90.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
051622487

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.3b
(pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2)
0.5b
(*.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2) (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2))
0.6b
(cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2) (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2)))
27.3b
(+.f64 (neg.f64 b) (cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2) (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2))))

rewrite65.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
50×unpow-prod-down_binary64_839
47×add-sqr-sqrt_binary64_782
25×sqrt-prod_binary64_776
23×*-un-lft-identity_binary64_760
19×add-cube-cbrt_binary64_795
17×add-exp-log_binary64_798
16×unswap-sqr_binary64_728
13×sqr-pow_binary64_732
12×swap-sqr_binary64_727
10×associate-*r*_binary64_700 associate-*l*_binary64_701
9×prod-exp_binary64_809
8×add-log-exp_binary64_799
7×pow-exp_binary64_828 pow-to-exp_binary64_829
6×add-cbrt-cube_binary64_796 pow1_binary64_821
3×pow-unpow_binary64_837 pow-pow_binary64_832
2×distribute-lft-out_binary64_711 sum-log_binary64_851
1×pow1/3_binary64_842 pow2_binary64_841 flip3-+_binary64_763 sqrt-pow1_binary64_778 pow-sqr_binary64_733 neg-sub0_binary64_755 flip-+_binary64_734 neg-log_binary64_853 +-commutative_binary64_690 cbrt-prod_binary64_791 associate-+l-_binary64_695 distribute-rgt-neg-in_binary64_718 cbrt-unprod_binary64_793 pow1/2_binary64_840 pow-prod-up_binary64_830 pow-prod-down_binary64_831 sqrt-pow2_binary64_779 *-commutative_binary64_691
Counts
4 → 117
Calls

8 calls:

21.0ms
(*.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2) (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2))
14.0ms
(cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2) (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2)))
6.0ms
(pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2)
6.0ms
(+.f64 (neg.f64 b) (cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2) (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2))))
0.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series799.0ms (0.5%)

Counts
4 → 75
Calls

4 calls:

271.0ms
(pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2)
210.0ms
(*.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2) (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2))
192.0ms
(+.f64 (neg.f64 b) (cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2) (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2))))
126.0ms
(cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2) (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) 3/2)))
Compiler

Compiled 2842 to 2368 computations (16.7% saved)

simplify119.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
192 → 192
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
049555207
149555207

localize32.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16))
0.1b
(-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16))
0.1b
(-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16))
0.1b
(sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))) (cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) (cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))))
0.6b
(cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
0.6b
(cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
0.6b
(cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
27.3b
(+.f64 (neg.f64 b) (sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))) (cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) (cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))))

rewrite64.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
45×cbrt-prod_binary64_791
29×*-un-lft-identity_binary64_760
27×times-frac_binary64_766
25×add-cube-cbrt_binary64_795 add-sqr-sqrt_binary64_782
8×add-log-exp_binary64_799
6×associate-/r/_binary64_706
4×flip3-+_binary64_763 add-exp-log_binary64_798 flip-+_binary64_734 add-cbrt-cube_binary64_796 pow1_binary64_821
3×pow1/3_binary64_842 div-inv_binary64_757 cbrt-div_binary64_792
2×distribute-lft-out_binary64_711 sum-log_binary64_851
1×neg-sub0_binary64_755 neg-log_binary64_853 +-commutative_binary64_690 associate-+l-_binary64_695 distribute-rgt-neg-in_binary64_718
Counts
4 → 87
Calls

8 calls:

10.0ms
(cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
10.0ms
(cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
9.0ms
(cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
7.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))) (cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) (cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))))
0.0ms
(sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))) (cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) (cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))))

series1.9s (1.2%)

Counts
4 → 81
Calls

4 calls:

618.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))) (cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))) (cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))))
436.0ms
(cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
425.0ms
(cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
415.0ms
(cbrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (*.f64 (*.f64 (*.f64 a a) (*.f64 c c)) 16)) (+.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
Compiler

Compiled 7157 to 5034 computations (29.7% saved)

simplify130.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
168 → 168
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
052377496

prune35.6s (22.5%)

Pruning

706 alts after pruning (693 fresh and 13 done)

PrunedKeptTotal
New688233921
Fresh27460487
Picked000
Done11314
Total7167061422
Error
0b
Counts
1422 → 706
Compiler

Compiled 23142 to 12047 computations (47.9% saved)

simplify1.4s (0.9%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
0500776817

regimes20.5s (12.9%)

Compiler

Compiled 177501 to 120556 computations (32.1% saved)

bsearch0.0ms (0%)

regimes960.0ms (0.6%)

Compiler

Compiled 4581 to 3872 computations (15.5% saved)

bsearch4.0ms (0%)

Compiler

Compiled 17 to 14 computations (17.6% saved)

regimes550.0ms (0.3%)

Compiler

Compiled 3814 to 3236 computations (15.2% saved)

bsearch4.0ms (0%)

Compiler

Compiled 17 to 14 computations (17.6% saved)

regimes540.0ms (0.3%)

Compiler

Compiled 3526 to 2996 computations (15% saved)

bsearch4.0ms (0%)

Compiler

Compiled 17 to 14 computations (17.6% saved)

regimes243.0ms (0.2%)

Compiler

Compiled 1635 to 1416 computations (13.4% saved)

bsearch0.0ms (0%)

regimes100.0ms (0.1%)

Compiler

Compiled 522 to 519 computations (0.6% saved)

bsearch0.0ms (0%)

regimes30.0ms (0%)

Accuracy

Total 0.3b remaining (100%)

Threshold costs 0.3b (100%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch12.0ms (0%)

Compiler

Compiled 206 to 150 computations (27.2% saved)

simplify7.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0126304
1126304

end0.0ms (0%)

sample42.1s (26.5%)

Algorithm
1×intervals
Results
422.0ms7677×body128valid
289.0ms8878×pre128true
47.0ms878×body128nan
34.0ms323×body256valid
Compiler

Compiled 44783 to 30429 computations (32.1% saved)

Pareto

0.7794932745971412

Profiling

Loading profile data...