Details

Time bar (total: 2.0min)

analyze526.0ms (0.4%)

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
18.7%81.1%0.1%6
26.5%67.1%6.4%7
35.1%58.5%6.4%8
41.3%49.9%8.7%9
46.4%40.2%13.4%10
50.8%34.2%15%11
55.2%26.7%18.1%12
57.4%22%20.6%13
59.8%17.9%22.3%14
Compiler

Compiled 39 to 27 computations (30.8% saved)

sample39.0ms (0%)

Algorithm
1×intervals
Results
23.0ms256×body128valid
3.0ms8×body128invalid
2.0ms22×body128nan
Compiler

Compiled 77 to 56 computations (27.3% saved)

simplify472.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (378.0ms)

IterNodesCost
0421954
1421954

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 36 to 25 computations (30.6% saved)

localize27.0ms (0%)

Local error

Found 8 expressions with local error:

0.7b
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.2b
(/.f64 (*.f64 c 2) (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b))
0.1b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
0.1b
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) a)
1.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
1.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
20.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
20.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite26.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
8×add-sqr-sqrt_binary64_100 add-log-exp_binary64_117
6×sqrt-prod_binary64_94 add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78 pow1_binary64_139
4×add-cbrt-cube_binary64_114 flip3--_binary64_82 flip--_binary64_53 add-exp-log_binary64_116 sqrt-div_binary64_95
2×sqrt-pow1_binary64_96 rem-sqrt-square_binary64_91 diff-log_binary64_170 cancel-sign-sub-inv_binary64_44 pow1/2_binary64_158 sub-neg_binary64_71
Counts
4 → 54
Calls

8 calls:

5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
4.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
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) a)

series640.0ms (0.5%)

Counts
4 → 67
Calls

4 calls:

184.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
179.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
166.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
109.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 3845 to 2862 computations (25.6% saved)

simplify90.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
049431751
149431751

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.7b
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.2b
(/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.1b
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.1b
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))
1.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
1.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
20.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
20.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite25.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
8×add-sqr-sqrt_binary64_100 add-log-exp_binary64_117
6×sqrt-prod_binary64_94 add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78 pow1_binary64_139
4×add-cbrt-cube_binary64_114 flip3--_binary64_82 flip--_binary64_53 add-exp-log_binary64_116 sqrt-div_binary64_95
2×sqrt-pow1_binary64_96 rem-sqrt-square_binary64_91 diff-log_binary64_170 cancel-sign-sub-inv_binary64_44 pow1/2_binary64_158 sub-neg_binary64_71
Counts
4 → 54
Calls

8 calls:

5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
4.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
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))

series626.0ms (0.5%)

Counts
4 → 67
Calls

4 calls:

183.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
175.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
162.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
105.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 4051 to 2965 computations (26.8% saved)

simplify87.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
049431751
149431751

prune913.0ms (0.7%)

Pruning

57 alts after pruning (57 fresh and 0 done)

PrunedKeptTotal
New18557242
Fresh000
Picked000
Done202
Total18757244
Error
3.9b
Counts
244 → 57
Compiler

Compiled 7875 to 4847 computations (38.5% saved)

localize30.0ms (0%)

Local error

Found 8 expressions with local error:

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

Compiled 765 to 1275 computations (-66.7% saved)

rewrite37.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
26×sqrt-div_binary64_95
25×sqrt-pow1_binary64_96
23×pow1_binary64_139
12×pow1/2_binary64_158
10×sqrt-prod_binary64_94 add-sqr-sqrt_binary64_100
9×flip3--_binary64_82 flip--_binary64_53
7×add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
5×pow-prod-up_binary64_148
4×add-cbrt-cube_binary64_114 add-log-exp_binary64_117 rem-sqrt-square_binary64_91 frac-times_binary64_88 add-exp-log_binary64_116
3×pow-sqr_binary64_51 pow-prod-down_binary64_149
2×associate-*l/_binary64_21 associate-*r/_binary64_20
1×pow2_binary64_159 pow-plus_binary64_141
Counts
4 → 77
Calls

8 calls:

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

series743.0ms (0.6%)

Counts
4 → 57
Calls

4 calls:

386.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
119.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
119.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
118.0ms
(sqrt.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
Compiler

Compiled 4715 to 3298 computations (30.1% saved)

simplify74.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
050512180

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

20.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
1.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.7b
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.1b
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) a)
0.1b
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) a)
0.7b
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
1.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
20.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite36.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
24×*-un-lft-identity_binary64_78
15×add-sqr-sqrt_binary64_100
14×add-cube-cbrt_binary64_113
12×times-frac_binary64_84
8×add-log-exp_binary64_117
6×add-cbrt-cube_binary64_114 add-exp-log_binary64_116
5×distribute-lft-out_binary64_29 pow1_binary64_139
4×associate-/l*_binary64_23
3×sqrt-prod_binary64_94 associate-/r*_binary64_22
2×flip-+_binary64_52 flip3--_binary64_82 flip--_binary64_53 sqrt-div_binary64_95 associate-/l/_binary64_25 flip3-+_binary64_81
1×+-commutative_binary64_8 sqrt-pow1_binary64_96 cbrt-undiv_binary64_112 div-exp_binary64_129 rem-sqrt-square_binary64_91 diff-log_binary64_170 frac-2neg_binary64_89 div-inv_binary64_75 clear-num_binary64_77 cancel-sign-sub-inv_binary64_44 pow1/2_binary64_158 sub-neg_binary64_71 sum-log_binary64_169
Counts
4 → 72
Calls

8 calls:

11.0ms
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) a)
6.0ms
(+.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
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) a)

series598.0ms (0.5%)

Counts
4 → 61
Calls

4 calls:

184.0ms
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) a)
169.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
141.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
104.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 2874 to 2242 computations (22% saved)

simplify70.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
133 → 133
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
051572502

localize33.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) a)
0.0b
(-.f64 (+.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) (*.f64 1/2 (/.f64 (*.f64 b b) (sqrt.f64 (*.f64 a (*.f64 c -4)))))) b)
0.0b
(*.f64 1/2 (/.f64 (*.f64 b b) (sqrt.f64 (*.f64 a (*.f64 c -4)))))
0.0b
(+.f64 (sqrt.f64 (*.f64 a (*.f64 c -4))) (*.f64 1/2 (/.f64 (*.f64 b b) (sqrt.f64 (*.f64 a (*.f64 c -4))))))
4.4b
(/.f64 (*.f64 b b) (sqrt.f64 (*.f64 a (*.f64 c -4))))
10.0b
(sqrt.f64 (*.f64 a (*.f64 c -4)))
10.0b
(sqrt.f64 (*.f64 a (*.f64 c -4)))
20.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite31.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
17×pow1_binary64_139
9×add-cbrt-cube_binary64_114 add-exp-log_binary64_116
8×add-sqr-sqrt_binary64_100
7×sqrt-prod_binary64_94 sqrt-pow1_binary64_96 add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
6×pow-prod-down_binary64_149
4×add-log-exp_binary64_117 times-frac_binary64_84 associate-/r*_binary64_22
3×pow1/2_binary64_158
2×cbrt-undiv_binary64_112 div-exp_binary64_129 sqrt-div_binary64_95
1×cbrt-unprod_binary64_111 prod-exp_binary64_127 rem-sqrt-square_binary64_91 flip3--_binary64_82 frac-2neg_binary64_89 div-inv_binary64_75 flip--_binary64_53 associate-/l*_binary64_23 clear-num_binary64_77
Counts
4 → 62
Calls

8 calls:

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

series381.0ms (0.3%)

Counts
4 → 34
Calls

4 calls:

156.0ms
(/.f64 (*.f64 b b) (sqrt.f64 (*.f64 a (*.f64 c -4))))
123.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
52.0ms
(sqrt.f64 (*.f64 a (*.f64 c -4)))
49.0ms
(sqrt.f64 (*.f64 a (*.f64 c -4)))
Compiler

Compiled 3080 to 2269 computations (26.3% saved)

simplify55.0ms (0%)

Algorithm
1×egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
049671252
149671252

localize26.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)
0.2b
(/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.1b
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.1b
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)))) (*.f64 2 a))
1.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
20.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
20.9b
(sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)))
22.7b
(cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite38.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
28×cbrt-prod_binary64_109
18×sqrt-prod_binary64_94
17×add-sqr-sqrt_binary64_100
12×add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
7×unpow-prod-down_binary64_157 cube-prod_binary64_106
6×add-log-exp_binary64_117 rem-sqrt-square_binary64_91 pow1_binary64_139
4×add-cbrt-cube_binary64_114 cbrt-div_binary64_110 cube-div_binary64_107 flip3--_binary64_82 flip--_binary64_53 add-exp-log_binary64_116 sqrt-div_binary64_95
3×sqrt-pow1_binary64_96 sqr-pow_binary64_50
2×cube-mult_binary64_108 pow1/3_binary64_160 pow1/2_binary64_158 unpow3_binary64_144
1×rem-cbrt-cube_binary64_102 diff-log_binary64_170 cancel-sign-sub-inv_binary64_44 sub-neg_binary64_71
Counts
4 → 82
Calls

8 calls:

8.0ms
(sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)))
5.0ms
(cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3))
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
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)))) (*.f64 2 a))

series638.0ms (0.5%)

Counts
4 → 67
Calls

4 calls:

182.0ms
(cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3))
176.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
166.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
114.0ms
(sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)))
Compiler

Compiled 4213 to 3127 computations (25.8% saved)

simplify63.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
149 → 149
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
050582440

localize39.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(pow.f64 (*.f64 (*.f64 4 a) c) 3)
0.2b
(/.f64 (*.f64 c 2) (-.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 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))))) b))
0.1b
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) a)
0.0b
(*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))
6.3b
(*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))
20.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
20.9b
(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 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))))))
40.9b
(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite79.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
88×add-sqr-sqrt_binary64_100
61×times-frac_binary64_84
49×*-un-lft-identity_binary64_78
42×difference-of-squares_binary64_47
39×sqrt-prod_binary64_94
35×add-cube-cbrt_binary64_113 sqr-pow_binary64_50
14×unpow-prod-down_binary64_157
11×add-cbrt-cube_binary64_114 add-exp-log_binary64_116 pow1_binary64_139
10×associate-/l*_binary64_23
7×distribute-lft-out--_binary64_30
4×add-log-exp_binary64_117 associate-/r/_binary64_24
3×associate-*l*_binary64_19 cbrt-unprod_binary64_111 prod-exp_binary64_127 flip-+_binary64_52 rem-sqrt-square_binary64_91 associate-/r*_binary64_22 pow-prod-down_binary64_149 sqrt-div_binary64_95 flip3-+_binary64_81
2×sqrt-pow1_binary64_96 flip3--_binary64_82 div-inv_binary64_75 flip--_binary64_53 associate-*l/_binary64_21 associate-/l/_binary64_25 pow1/2_binary64_158
1×*-commutative_binary64_9 cbrt-undiv_binary64_112 div-exp_binary64_129 frac-2neg_binary64_89 associate-*r*_binary64_18 clear-num_binary64_77 div-sub_binary64_83
Counts
4 → 143
Calls

8 calls:

18.0ms
(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))))
15.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 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))))))
9.0ms
(*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.0ms
(*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))

series1.6s (1.3%)

Counts
4 → 67
Calls

4 calls:

754.0ms
(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))))
372.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 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))))))
330.0ms
(*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))
138.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 4989 to 3712 computations (25.6% saved)

simplify137.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
210 → 210
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049669861
149669861

prune9.3s (7.6%)

Pruning

219 alts after pruning (216 fresh and 3 done)

PrunedKeptTotal
New547175722
Fresh114152
Picked000
Done235
Total560219779
Error
2.9b
Counts
779 → 219
Compiler

Compiled 34888 to 22240 computations (36.3% saved)

localize27.0ms (0%)

Local error

Found 8 expressions with local error:

0.7b
(-.f64 (neg.f64 b) (sqrt.f64 (*.f64 (cbrt.f64 1) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.2b
(/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.1b
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.1b
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (*.f64 (cbrt.f64 1) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 2 a))
1.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
1.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
20.9b
(sqrt.f64 (*.f64 (cbrt.f64 1) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
20.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite25.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
8×add-log-exp_binary64_117 pow1_binary64_139
6×add-sqr-sqrt_binary64_100
5×add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
4×add-cbrt-cube_binary64_114 sqrt-prod_binary64_94 flip3--_binary64_82 flip--_binary64_53 add-exp-log_binary64_116 sqrt-div_binary64_95
3×sqrt-pow1_binary64_96
2×diff-log_binary64_170 associate-*r/_binary64_20 cancel-sign-sub-inv_binary64_44 pow1/2_binary64_158 sub-neg_binary64_71
1×rem-sqrt-square_binary64_91 pow-prod-down_binary64_149
Counts
4 → 52
Calls

8 calls:

6.0ms
(sqrt.f64 (*.f64 (cbrt.f64 1) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
4.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
4.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
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (*.f64 (cbrt.f64 1) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 2 a))

series632.0ms (0.5%)

Counts
4 → 67
Calls

4 calls:

181.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
174.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
170.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
107.0ms
(sqrt.f64 (*.f64 (cbrt.f64 1) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
Compiler

Compiled 4294 to 3208 computations (25.3% saved)

simplify90.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
119 → 119
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
049301738
149301738

localize19.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 -1/2 (/.f64 (*.f64 b 2) a))
0.0b
(*.f64 -1/2 (/.f64 (*.f64 b 2) a))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite9.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
10×add-cbrt-cube_binary64_114 add-exp-log_binary64_116
7×associate-*r*_binary64_18
6×add-sqr-sqrt_binary64_100
4×cbrt-unprod_binary64_111 prod-exp_binary64_127 add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
3×associate-*l*_binary64_19 times-frac_binary64_84 pow1_binary64_139
2×cbrt-undiv_binary64_112 div-exp_binary64_129
1×*-commutative_binary64_9 add-log-exp_binary64_117 div-inv_binary64_75 pow-prod-down_binary64_149 unswap-sqr_binary64_46 associate-*r/_binary64_20
Counts
1 → 27
Calls

2 calls:

7.0ms
(*.f64 -1/2 (/.f64 (*.f64 b 2) a))
0.0ms
(*.f64 -1/2 (/.f64 (*.f64 b 2) a))

series59.0ms (0%)

Counts
1 → 6
Calls

1 calls:

59.0ms
(*.f64 -1/2 (/.f64 (*.f64 b 2) a))
Compiler

Compiled 204 to 168 computations (17.6% saved)

simplify63.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
04944287
14944287

localize33.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (/.f64 3 2))
0.2b
(/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.1b
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.1b
(/.f64 (-.f64 (neg.f64 b) (fabs.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (/.f64 3 2))))) (*.f64 2 a))
1.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
1.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
20.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
32.8b
(cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (/.f64 3 2)))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite27.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
8×add-sqr-sqrt_binary64_100 add-log-exp_binary64_117
7×add-cube-cbrt_binary64_113 cbrt-prod_binary64_109 *-un-lft-identity_binary64_78
5×pow1_binary64_139
4×add-cbrt-cube_binary64_114 add-exp-log_binary64_116
3×sqrt-prod_binary64_94 unpow-prod-down_binary64_157 flip3--_binary64_82 flip--_binary64_53
2×diff-log_binary64_170 sqrt-div_binary64_95 cancel-sign-sub-inv_binary64_44 sub-neg_binary64_71
1×sqrt-pow1_binary64_96 rem-sqrt-square_binary64_91 pow1/3_binary64_160 sqr-pow_binary64_50 pow1/2_binary64_158
Counts
4 → 54
Calls

8 calls:

5.0ms
(cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (/.f64 3 2)))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
4.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
4.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.0ms
(/.f64 (-.f64 (neg.f64 b) (fabs.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (/.f64 3 2))))) (*.f64 2 a))

series669.0ms (0.5%)

Counts
4 → 68
Calls

4 calls:

190.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
188.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
171.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
120.0ms
(cbrt.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (/.f64 3 2)))
Compiler

Compiled 4530 to 3430 computations (24.3% saved)

simplify74.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049401889
149401889

localize41.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(pow.f64 (*.f64 (*.f64 4 a) c) 3)
0.2b
(/.f64 (*.f64 c 2) (-.f64 (sqrt.f64 (*.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (/.f64 1 (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c))))))) b))
0.1b
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) a)
0.0b
(*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c)))
6.3b
(*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c))
20.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
20.9b
(sqrt.f64 (*.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (/.f64 1 (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c)))))))
40.9b
(*.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (/.f64 1 (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c))))))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite79.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
29×add-sqr-sqrt_binary64_100
18×add-exp-log_binary64_116
17×*-un-lft-identity_binary64_78
16×associate-*r*_binary64_18
15×pow1_binary64_139
14×add-cbrt-cube_binary64_114 add-cube-cbrt_binary64_113
13×associate-*l*_binary64_19
11×times-frac_binary64_84
8×sqrt-div_binary64_95
7×prod-exp_binary64_127
6×associate-*l/_binary64_21 difference-of-squares_binary64_47
5×cbrt-unprod_binary64_111 flip3--_binary64_82 sqr-pow_binary64_50 flip--_binary64_53 pow-prod-down_binary64_149
4×sqrt-prod_binary64_94 add-log-exp_binary64_117 frac-times_binary64_88
3×sqrt-pow1_binary64_96 unswap-sqr_binary64_46
2×*-commutative_binary64_9 div-exp_binary64_129 unpow-prod-down_binary64_157 flip-+_binary64_52 un-div-inv_binary64_76 associate-/r/_binary64_24 associate-*r/_binary64_20 pow1/2_binary64_158 flip3-+_binary64_81
1×cbrt-undiv_binary64_112 rem-sqrt-square_binary64_91 distribute-lft-out--_binary64_30 1-exp_binary64_122 div-inv_binary64_75 rec-exp_binary64_128
Counts
4 → 101
Calls

8 calls:

20.0ms
(*.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (/.f64 1 (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c))))))
16.0ms
(sqrt.f64 (*.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (/.f64 1 (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c)))))))
12.0ms
(*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c))
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.0ms
(*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c)))

series1.5s (1.3%)

Counts
4 → 67
Calls

4 calls:

769.0ms
(*.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (/.f64 1 (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c))))))
333.0ms
(*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c))
303.0ms
(sqrt.f64 (*.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (/.f64 1 (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c)))))))
135.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 5087 to 3810 computations (25.1% saved)

simplify93.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
168 → 168
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049554878
149554878

localize51.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b
(-.f64 (pow.f64 b 3) (pow.f64 (*.f64 (*.f64 4 a) c) 3/2))
0.2b
(pow.f64 (sqrt.f64 b) 6)
0.1b
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) a)
0.0b
(*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c)))
7.2b
(pow.f64 (*.f64 (*.f64 4 a) c) 3/2)
7.2b
(pow.f64 (*.f64 (*.f64 4 a) c) (/.f64 3 2))
12.6b
(/.f64 (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c)))) (-.f64 (pow.f64 b 3) (pow.f64 (*.f64 (*.f64 4 a) c) 3/2)))
20.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite71.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
71×add-sqr-sqrt_binary64_100
45×times-frac_binary64_84
38×*-un-lft-identity_binary64_78
32×difference-of-squares_binary64_47
30×add-cube-cbrt_binary64_113
26×sqr-pow_binary64_50
18×add-exp-log_binary64_116
17×pow1_binary64_139
16×pow-unpow_binary64_155
12×associate-/r*_binary64_22
10×unpow-prod-down_binary64_157
8×cube-prod_binary64_106
6×add-cbrt-cube_binary64_114 pow-exp_binary64_146 prod-exp_binary64_127 pow-pow_binary64_150 pow-prod-down_binary64_149
4×add-log-exp_binary64_117 distribute-lft-out--_binary64_30
3×sqrt-prod_binary64_94 associate-/l*_binary64_23
2×pow-to-exp_binary64_147 flip3--_binary64_82 div-inv_binary64_75 flip--_binary64_53 sqrt-div_binary64_95 associate-/r/_binary64_24 associate-/l/_binary64_25
1×sqrt-pow1_binary64_96 cbrt-undiv_binary64_112 div-exp_binary64_129 flip-+_binary64_52 rem-sqrt-square_binary64_91 frac-2neg_binary64_89 clear-num_binary64_77 pow1/2_binary64_158 flip3-+_binary64_81
Counts
4 → 130
Calls

8 calls:

17.0ms
(/.f64 (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c)))) (-.f64 (pow.f64 b 3) (pow.f64 (*.f64 (*.f64 4 a) c) 3/2)))
7.0ms
(pow.f64 (*.f64 (*.f64 4 a) c) (/.f64 3 2))
6.0ms
(pow.f64 (*.f64 (*.f64 4 a) c) 3/2)
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.0ms
(*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c)))

series835.0ms (0.7%)

Counts
4 → 34
Calls

4 calls:

236.0ms
(pow.f64 (*.f64 (*.f64 4 a) c) 3/2)
229.0ms
(pow.f64 (*.f64 (*.f64 4 a) c) (/.f64 3 2))
224.0ms
(/.f64 (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c)))) (-.f64 (pow.f64 b 3) (pow.f64 (*.f64 (*.f64 4 a) c) 3/2)))
145.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 4730 to 3545 computations (25.1% saved)

simplify123.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
164 → 164
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
049086374
149086374

prune19.5s (15.9%)

Pruning

357 alts after pruning (350 fresh and 7 done)

PrunedKeptTotal
New456150606
Fresh11200211
Picked000
Done178
Total468357825
Error
2.9b
Counts
825 → 357
Compiler

Compiled 44480 to 29689 computations (33.3% saved)

localize28.0ms (0%)

Local error

Found 8 expressions with local error:

0.7b
(-.f64 (neg.f64 b) (*.f64 (sqrt.f64 (cbrt.f64 1)) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.2b
(/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.1b
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.1b
(/.f64 (-.f64 (neg.f64 b) (*.f64 (sqrt.f64 (cbrt.f64 1)) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 2 a))
1.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
1.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
20.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
20.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite24.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
8×add-sqr-sqrt_binary64_100 add-log-exp_binary64_117
6×sqrt-prod_binary64_94 add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78 pow1_binary64_139
4×add-cbrt-cube_binary64_114 flip3--_binary64_82 flip--_binary64_53 add-exp-log_binary64_116 sqrt-div_binary64_95
2×sqrt-pow1_binary64_96 rem-sqrt-square_binary64_91 diff-log_binary64_170 cancel-sign-sub-inv_binary64_44 pow1/2_binary64_158 sub-neg_binary64_71
Counts
4 → 54
Calls

8 calls:

4.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
4.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
(/.f64 (-.f64 (neg.f64 b) (*.f64 (sqrt.f64 (cbrt.f64 1)) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 2 a))

series636.0ms (0.5%)

Counts
4 → 67
Calls

4 calls:

185.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
175.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
166.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
110.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 4463 to 3377 computations (24.3% saved)

simplify89.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
049431751
149431751

localize19.0ms (0%)

Local error

Found 2 expressions with local error:

0.2b
(*.f64 (*.f64 -1/2 b) (/.f64 2 a))
0.2b
(*.f64 (*.f64 -1/2 b) (/.f64 2 a))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite11.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
13×add-cbrt-cube_binary64_114 associate-*r*_binary64_18 add-exp-log_binary64_116
9×times-frac_binary64_84
8×add-sqr-sqrt_binary64_100 add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
6×cbrt-unprod_binary64_111 prod-exp_binary64_127 pow1_binary64_139
3×pow-prod-down_binary64_149
2×cbrt-undiv_binary64_112 div-exp_binary64_129
1×*-commutative_binary64_9 associate-*l*_binary64_19 add-log-exp_binary64_117 div-inv_binary64_75 associate-*r/_binary64_20
Counts
1 → 33
Calls

2 calls:

7.0ms
(*.f64 (*.f64 -1/2 b) (/.f64 2 a))
0.0ms
(*.f64 (*.f64 -1/2 b) (/.f64 2 a))

series59.0ms (0%)

Counts
1 → 6
Calls

1 calls:

59.0ms
(*.f64 (*.f64 -1/2 b) (/.f64 2 a))
Compiler

Compiled 204 to 168 computations (17.6% saved)

simplify82.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
06249358

localize28.0ms (0%)

Local error

Found 8 expressions with local error:

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

Compiled 765 to 1275 computations (-66.7% saved)

rewrite38.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
24×sqrt-pow1_binary64_96 sqrt-div_binary64_95
22×pow1_binary64_139
11×pow1/2_binary64_158
9×flip3--_binary64_82 flip--_binary64_53
8×add-sqr-sqrt_binary64_100
7×sqrt-prod_binary64_94
6×add-log-exp_binary64_117 add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
5×pow-prod-up_binary64_148
4×add-cbrt-cube_binary64_114 frac-times_binary64_88 add-exp-log_binary64_116
3×pow-sqr_binary64_51 rem-sqrt-square_binary64_91 pow-prod-down_binary64_149
2×associate-*l/_binary64_21 associate-*r/_binary64_20
1×pow2_binary64_159 diff-log_binary64_170 cancel-sign-sub-inv_binary64_44 pow-plus_binary64_141 sub-neg_binary64_71
Counts
4 → 74
Calls

8 calls:

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

series503.0ms (0.4%)

Counts
4 → 57
Calls

4 calls:

172.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
111.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
110.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
110.0ms
(sqrt.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
Compiler

Compiled 3754 to 2664 computations (29% saved)

simplify70.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
049962028
149962028

localize40.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(pow.f64 (*.f64 (*.f64 4 a) c) 3)
0.2b
(/.f64 (*.f64 c 2) (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (pow.f64 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)) 1))))) b))
0.1b
(/.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) a)
0.0b
(*.f64 4 (pow.f64 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)) 1))
6.3b
(*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))
20.9b
(sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (pow.f64 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)) 1)))))
20.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
40.9b
(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (pow.f64 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)) 1))))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite83.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
88×add-sqr-sqrt_binary64_100
61×times-frac_binary64_84
49×*-un-lft-identity_binary64_78
42×difference-of-squares_binary64_47
39×sqrt-prod_binary64_94
35×add-cube-cbrt_binary64_113 sqr-pow_binary64_50
14×unpow-prod-down_binary64_157
11×add-cbrt-cube_binary64_114 add-exp-log_binary64_116 pow1_binary64_139
10×associate-/l*_binary64_23
7×distribute-lft-out--_binary64_30
4×add-log-exp_binary64_117 associate-/r/_binary64_24
3×associate-*l*_binary64_19 cbrt-unprod_binary64_111 prod-exp_binary64_127 flip-+_binary64_52 rem-sqrt-square_binary64_91 associate-/r*_binary64_22 pow-prod-down_binary64_149 sqrt-div_binary64_95 flip3-+_binary64_81
2×sqrt-pow1_binary64_96 flip3--_binary64_82 div-inv_binary64_75 flip--_binary64_53 associate-*l/_binary64_21 associate-/l/_binary64_25 pow1/2_binary64_158
1×*-commutative_binary64_9 cbrt-undiv_binary64_112 div-exp_binary64_129 frac-2neg_binary64_89 associate-*r*_binary64_18 clear-num_binary64_77 div-sub_binary64_83
Counts
4 → 143
Calls

8 calls:

16.0ms
(sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (pow.f64 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)) 1)))))
16.0ms
(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (pow.f64 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)) 1))))
9.0ms
(*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.0ms
(*.f64 4 (pow.f64 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)) 1))

series1.5s (1.2%)

Counts
4 → 67
Calls

4 calls:

747.0ms
(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (pow.f64 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)) 1))))
314.0ms
(*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))
284.0ms
(sqrt.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 4) (*.f64 4 (pow.f64 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)) 1)))))
127.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 5087 to 3810 computations (25.1% saved)

simplify130.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
210 → 210
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
050149825

localize59.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))
0.0b
(*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))
0.0b
(*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))
0.0b
(*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c)))
20.9b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
20.9b
(sqrt.f64 (*.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 12) (pow.f64 (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c))) 3))) (+.f64 (*.f64 (pow.f64 b 4) (pow.f64 b 4)) (-.f64 (*.f64 (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))) (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))) (*.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))))))))
44.9b
(*.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 12) (pow.f64 (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c))) 3))) (+.f64 (*.f64 (pow.f64 b 4) (pow.f64 b 4)) (-.f64 (*.f64 (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))) (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))) (*.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))))))
53.5b
(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 12) (pow.f64 (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c))) 3)))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite187.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
106×add-sqr-sqrt_binary64_100
97×*-un-lft-identity_binary64_78
81×times-frac_binary64_84
54×difference-of-squares_binary64_47
46×associate-*l*_binary64_19
45×sqr-pow_binary64_50
37×add-cube-cbrt_binary64_113
21×distribute-lft-out_binary64_29
18×unpow-prod-down_binary64_157
11×add-cbrt-cube_binary64_114 add-exp-log_binary64_116
10×associate-/l*_binary64_23 pow1_binary64_139
9×distribute-lft-out--_binary64_30
7×sqrt-div_binary64_95
6×flip-+_binary64_52 flip3-+_binary64_81
4×sqrt-prod_binary64_94 add-log-exp_binary64_117 frac-times_binary64_88 associate-/r*_binary64_22 associate-/r/_binary64_24 associate-*r/_binary64_20
3×sqrt-pow1_binary64_96 associate-*r*_binary64_18
2×cbrt-unprod_binary64_111 cbrt-undiv_binary64_112 prod-exp_binary64_127 div-exp_binary64_129 flip3--_binary64_82 div-inv_binary64_75 flip--_binary64_53 associate-*l/_binary64_21 pow-prod-down_binary64_149 unswap-sqr_binary64_46 associate-/l/_binary64_25 pow1/2_binary64_158
1×distribute-lft-in_binary64_27 *-commutative_binary64_9 rem-sqrt-square_binary64_91 distribute-rgt-in_binary64_28 frac-2neg_binary64_89 clear-num_binary64_77 div-sub_binary64_83
Counts
4 → 173
Calls

8 calls:

49.0ms
(*.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 12) (pow.f64 (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c))) 3))) (+.f64 (*.f64 (pow.f64 b 4) (pow.f64 b 4)) (-.f64 (*.f64 (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))) (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))) (*.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))))))
46.0ms
(sqrt.f64 (*.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 12) (pow.f64 (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c))) 3))) (+.f64 (*.f64 (pow.f64 b 4) (pow.f64 b 4)) (-.f64 (*.f64 (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))) (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))) (*.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))))))))
19.0ms
(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 12) (pow.f64 (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c))) 3)))
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.0ms
(*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c)))

series2.9s (2.4%)

Counts
4 → 63
Calls

4 calls:

1.8s
(*.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 12) (pow.f64 (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c))) 3))) (+.f64 (*.f64 (pow.f64 b 4) (pow.f64 b 4)) (-.f64 (*.f64 (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))) (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))) (*.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))))))
505.0ms
(sqrt.f64 (*.f64 (/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 12) (pow.f64 (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c))) 3))) (+.f64 (*.f64 (pow.f64 b 4) (pow.f64 b 4)) (-.f64 (*.f64 (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))) (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c)))) (*.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 a c))))))))
391.0ms
(/.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3)) (+.f64 (pow.f64 b 12) (pow.f64 (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c))) 3)))
169.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 7221 to 4901 computations (32.1% saved)

simplify177.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
236 → 236
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
0511716916

prune30.0s (24.5%)

Pruning

509 alts after pruning (500 fresh and 9 done)

PrunedKeptTotal
New566171737
Fresh16329345
Picked000
Done3912
Total5855091094
Error
2.9b
Counts
1094 → 509
Compiler

Compiled 34986 to 21236 computations (39.3% saved)

simplify1.8s (1.5%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
05392110722

regimes38.2s (31.2%)

Compiler

Compiled 265395 to 182540 computations (31.2% saved)

bsearch161.0ms (0.1%)

Steps
ItersRangePoint
6
6.805096577273728e+25
2.9461790602544976e+26
2.920249446757947e+26
6
-4.825796003147351e+154
-5.251338802796266e+153
-6.013298641369343e+153
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes238.0ms (0.2%)

Compiler

Compiled 1803 to 1446 computations (19.8% saved)

bsearch88.0ms (0.1%)

Steps
ItersRangePoint
6
6.805096577273728e+25
2.9461790602544976e+26
2.868390219764846e+26
9
-1.8382852490028597e-239
-1.7080556722934574e-246
-8.537162583287455e-243
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes218.0ms (0.2%)

Compiler

Compiled 1668 to 1359 computations (18.5% saved)

bsearch33.0ms (0%)

Steps
ItersRangePoint
6
8.718624339025205e-57
1.2042019396637458e-55
6.379477230583891e-56
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes211.0ms (0.2%)

Compiler

Compiled 1443 to 1185 computations (17.9% saved)

bsearch47.0ms (0%)

Steps
ItersRangePoint
9
6.747685650512389e-94
8.839897389941393e-88
2.1861473271360414e-90
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes129.0ms (0.1%)

Compiler

Compiled 1311 to 1080 computations (17.6% saved)

bsearch0.0ms (0%)

regimes38.0ms (0%)

Compiler

Compiled 129 to 150 computations (-16.3% saved)

bsearch0.0ms (0%)

regimes25.0ms (0%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch15.0ms (0%)

Compiler

Compiled 322 to 225 computations (30.1% saved)

simplify10.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0234478
1234478

end0.0ms (0%)

sample3.0s (2.4%)

Algorithm
1×intervals
Results
716.0ms8000×body128valid
56.0ms672×body128nan
35.0ms383×body128invalid
Compiler

Compiled 66982 to 46075 computations (31.2% saved)

Profiling

Loading profile data...