Details

Time bar (total: 11.7s)

analyze2.5s (21.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%12
5.1%94.6%0.3%13
7%92.7%0.3%14
Compiler

Compiled 25 to 19 computations (24% saved)

sample63.0ms (0.5%)

Algorithm
1×intervals
Results
19.0ms256×body128valid
9.0ms122×body128nan
3.0ms37×body128invalid
Compiler

Compiled 55 to 43 computations (21.8% saved)

simplify41.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
893×div-sub_binary64
645×distribute-neg-frac_binary64
581×distribute-rgt-neg-in_binary64
569×distribute-lft-neg-in_binary64
418×associate-/l*_binary64
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01827
14227
211127
371827
4281627
5468827
6610327

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
11.6b
Counts
1 → 1
Alt Table
StatusErrorProgram
▶11.6b
(*.f64 w0 (sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)))))
Compiler

Compiled 48 to 36 computations (25% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.2b
(*.f64 w0 (sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)))))
2.4b
(sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))
5.0b
(/.f64 (*.f64 M D) (*.f64 2 d))
11.6b
(*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))

rewrite229.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
5.9b
Rules
67×add-exp-log_binary64
38×add-sqr-sqrt_binary64
27×prod-exp_binary64
23×add-cbrt-cube_binary64
19×div-exp_binary64 associate-*r*_binary64
Counts
4 → 116
Calls

4 calls:

12.0ms
(*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))
9.0ms
(*.f64 w0 (sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)))))
6.0ms
(/.f64 (*.f64 M D) (*.f64 2 d))
5.0ms
(sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))
Compiler

Compiled 3232 to 1835 computations (43.2% saved)

series411.0ms (3.5%)

Error
6.0b
Counts
4 → 61
Calls

4 calls:

155.0ms
(*.f64 w0 (sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)))))
124.0ms
(*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))
80.0ms
(sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))
32.0ms
(/.f64 (*.f64 M D) (*.f64 2 d))
Compiler

Compiled 3599 to 2741 computations (23.8% saved)

simplify142.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
287×associate-*l*_binary64
271×distribute-rgt-neg-in_binary64
267×times-frac_binary64
252×distribute-lft-neg-in_binary64
250×associate-*r*_binary64
Counts
177 → 133
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02734075
16843798
229713797
346843797
450593797

prune132.0ms (1.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1249133
Fresh000
Picked101
Done000
Total1259134
Error
4.0b
Counts
134 → 9
Alt Table
StatusErrorProgram
10.0b
(*.f64 w0 (sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (/.f64 2 2)) (*.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (/.f64 h l))))))
34.6b
(*.f64 (sqrt.f64 w0) (*.f64 (sqrt.f64 (-.f64 1 (*.f64 (/.f64 h l) (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2)))) (sqrt.f64 w0)))
14.3b
(/.f64 (*.f64 w0 (sqrt.f64 (-.f64 1 (pow.f64 (*.f64 (/.f64 h l) (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2)) 3)))) (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)) (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))) (*.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)))))))
29.6b
(*.f64 w0 (sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))) 2) (*.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (/.f64 h l))))))
59.5b
(*.f64 (sqrt.f64 (*.f64 (*.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (*.f64 (neg.f64 M) w0))
61.6b
(*.f64 w0 (*.f64 M (sqrt.f64 (*.f64 (*.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4))))
61.2b
(*.f64 w0 (/.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 (*.f64 M M) (*.f64 (*.f64 D D) h)) l) -1/4)) d))
▶9.1b
(*.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2)) l))))
61.2b
(*.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 (*.f64 M M) h) (*.f64 (*.f64 d d) l)) -1/4)) (*.f64 D w0))
Compiler

Compiled 2546 to 1495 computations (41.3% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.4b
(sqrt.f64 (-.f64 1 (/.f64 (*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2)) l)))
5.0b
(/.f64 (*.f64 M D) (*.f64 2 d))
5.2b
(/.f64 (*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2)) l)
5.9b
(*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2))

rewrite229.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
3.7b
Rules
67×add-exp-log_binary64
26×prod-exp_binary64
23×add-cbrt-cube_binary64
20×div-exp_binary64 add-sqr-sqrt_binary64
13×*-un-lft-identity_binary64
Counts
4 → 99
Calls

4 calls:

10.0ms
(*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2))
8.0ms
(/.f64 (*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2)) l)
6.0ms
(/.f64 (*.f64 M D) (*.f64 2 d))
6.0ms
(sqrt.f64 (-.f64 1 (/.f64 (*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2)) l)))
Compiler

Compiled 2616 to 1612 computations (38.4% saved)

series330.0ms (2.8%)

Error
4.0b
Counts
4 → 51
Calls

4 calls:

124.0ms
(/.f64 (*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2)) l)
83.0ms
(*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2))
77.0ms
(sqrt.f64 (-.f64 1 (/.f64 (*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2)) l)))
36.0ms
(/.f64 (*.f64 M D) (*.f64 2 d))
Compiler

Compiled 2946 to 2277 computations (22.7% saved)

simplify94.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
803×associate-/r/_binary64
261×times-frac_binary64
215×associate-/l*_binary64
204×distribute-rgt-neg-in_binary64
192×distribute-lft-neg-in_binary64
Counts
150 → 95
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02213053
15182861
222692852
350062852

prune103.0ms (0.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New90595
Fresh178
Picked101
Done000
Total9212104
Error
3.5b
Counts
104 → 12
Alt Table
StatusErrorProgram
10.0b
(*.f64 w0 (sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (/.f64 2 2)) (*.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (/.f64 h l))))))
60.6b
(*.f64 w0 (/.f64 (sqrt.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 M D) 2) l) h) -1/4)) d))
▶7.9b
(*.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (*.f64 (*.f64 h (*.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))))) (pow.f64 (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))) 2)) l))))
34.6b
(*.f64 (sqrt.f64 w0) (*.f64 (sqrt.f64 (-.f64 1 (*.f64 (/.f64 h l) (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2)))) (sqrt.f64 w0)))
27.4b
(*.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (*.f64 (*.f64 h (/.f64 (*.f64 M D) (*.f64 2 d))) (pow.f64 (sqrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))) 2)) l))))
14.3b
(/.f64 (*.f64 w0 (sqrt.f64 (-.f64 1 (pow.f64 (*.f64 (/.f64 h l) (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2)) 3)))) (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)) (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))) (*.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)))))))
59.5b
(*.f64 (sqrt.f64 (*.f64 (*.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (*.f64 (neg.f64 M) w0))
61.6b
(*.f64 w0 (*.f64 M (sqrt.f64 (*.f64 (*.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4))))
9.6b
(*.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (*.f64 h (pow.f64 (/.f64 M (/.f64 2 (/.f64 D d))) 2)) l))))
61.2b
(*.f64 w0 (/.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 (*.f64 M M) (*.f64 (*.f64 D D) h)) l) -1/4)) d))
61.0b
(*.f64 w0 (*.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 (*.f64 D D) h) (*.f64 (*.f64 d d) l)) -1/4)) (neg.f64 M)))
61.2b
(*.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 (*.f64 M M) h) (*.f64 (*.f64 d d) l)) -1/4)) (*.f64 D w0))
Compiler

Compiled 1650 to 1055 computations (36.1% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

5.0b
(/.f64 (*.f64 M D) (*.f64 2 d))
5.2b
(/.f64 (*.f64 (*.f64 h (*.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))))) (pow.f64 (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))) 2)) l)
17.1b
(cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d)))
17.1b
(cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d)))

rewrite289.0ms (2.5%)

Algorithm
1×rewrite-expression-head
Error
3.0b
Rules
131×add-exp-log_binary64
70×prod-exp_binary64
53×add-cbrt-cube_binary64
38×div-exp_binary64
26×cbrt-unprod_binary64
Counts
4 → 99
Calls

4 calls:

20.0ms
(/.f64 (*.f64 (*.f64 h (*.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))))) (pow.f64 (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))) 2)) l)
6.0ms
(/.f64 (*.f64 M D) (*.f64 2 d))
4.0ms
(cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d)))
4.0ms
(cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d)))
Compiler

Compiled 4335 to 2507 computations (42.2% saved)

series465.0ms (4%)

Error
3.5b
Counts
4 → 42
Calls

4 calls:

204.0ms
(/.f64 (*.f64 (*.f64 h (*.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))))) (pow.f64 (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))) 2)) l)
91.0ms
(cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d)))
90.0ms
(cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d)))
40.0ms
(/.f64 (*.f64 M D) (*.f64 2 d))
Compiler

Compiled 4371 to 3138 computations (28.2% saved)

simplify168.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
363×times-frac_binary64
351×associate-*l*_binary64
313×associate-/l*_binary64
300×associate-*r*_binary64
189×log-prod_binary64
Counts
141 → 127
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02704859
17022847
228412671
347392643
449862643
549502643

prune194.0ms (1.7%)

Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New1243127
Fresh01111
Picked101
Done000
Total12514139
Error
3.0b
Counts
139 → 14
Alt Table
StatusErrorProgram
▶7.2b
(*.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (*.f64 h (*.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))))) (/.f64 l (pow.f64 (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 d 2))) 2))))))
13.9b
(*.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (*.f64 (*.f64 h (*.f64 (*.f64 M D) (cbrt.f64 (*.f64 M D)))) (pow.f64 (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))) 2)) (*.f64 l (*.f64 (*.f64 d 2) (cbrt.f64 (*.f64 d 2))))))))
10.0b
(*.f64 w0 (sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (/.f64 2 2)) (*.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (/.f64 h l))))))
60.6b
(*.f64 w0 (/.f64 (sqrt.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 M D) 2) l) h) -1/4)) d))
7.9b
(*.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (*.f64 (*.f64 h (*.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))))) (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 d 2))) 2)) (cbrt.f64 (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 d 2))))) 2)) l))))
34.6b
(*.f64 (sqrt.f64 w0) (*.f64 (sqrt.f64 (-.f64 1 (*.f64 (/.f64 h l) (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2)))) (sqrt.f64 w0)))
27.4b
(*.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (*.f64 (*.f64 h (/.f64 (*.f64 M D) (*.f64 2 d))) (pow.f64 (sqrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))) 2)) l))))
14.3b
(/.f64 (*.f64 w0 (sqrt.f64 (-.f64 1 (pow.f64 (*.f64 (/.f64 h l) (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2)) 3)))) (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)) (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))) (*.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)))))))
59.5b
(*.f64 (sqrt.f64 (*.f64 (*.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (*.f64 (neg.f64 M) w0))
61.6b
(*.f64 w0 (*.f64 M (sqrt.f64 (*.f64 (*.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4))))
9.6b
(*.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (*.f64 h (pow.f64 (/.f64 M (/.f64 2 (/.f64 D d))) 2)) l))))
61.2b
(*.f64 w0 (/.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 (*.f64 M M) (*.f64 (*.f64 D D) h)) l) -1/4)) d))
61.0b
(*.f64 w0 (*.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 (*.f64 D D) h) (*.f64 (*.f64 d d) l)) -1/4)) (neg.f64 M)))
61.2b
(*.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 (*.f64 M M) h) (*.f64 (*.f64 d d) l)) -1/4)) (*.f64 D w0))
Compiler

Compiled 3108 to 1949 computations (37.3% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

5.0b
(/.f64 (*.f64 M D) (*.f64 2 d))
5.0b
(/.f64 (*.f64 M D) (*.f64 2 d))
17.1b
(cbrt.f64 (/.f64 (*.f64 M D) (*.f64 d 2)))
17.1b
(cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d)))

rewrite232.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
3.0b
Rules
28×add-exp-log_binary64 add-cbrt-cube_binary64
10×cbrt-prod_binary64
8×prod-exp_binary64 div-exp_binary64 cbrt-undiv_binary64 cbrt-unprod_binary64
6×add-cube-cbrt_binary64 add-sqr-sqrt_binary64 *-un-lft-identity_binary64
4×pow1_binary64 add-log-exp_binary64 times-frac_binary64 div-inv_binary64
Counts
4 → 70
Calls

4 calls:

6.0ms
(/.f64 (*.f64 M D) (*.f64 2 d))
6.0ms
(/.f64 (*.f64 M D) (*.f64 2 d))
4.0ms
(cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d)))
4.0ms
(cbrt.f64 (/.f64 (*.f64 M D) (*.f64 d 2)))
Compiler

Compiled 2957 to 1737 computations (41.3% saved)

series299.0ms (2.6%)

Error
3.0b
Counts
4 → 36
Calls

4 calls:

90.0ms
(cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d)))
88.0ms
(cbrt.f64 (/.f64 (*.f64 M D) (*.f64 d 2)))
40.0ms
(/.f64 (*.f64 M D) (*.f64 2 d))
40.0ms
(/.f64 (*.f64 M D) (*.f64 2 d))
Compiler

Compiled 4092 to 2789 computations (31.8% saved)

simplify105.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
603×associate-*l*_binary64
499×associate-/r*_binary64
480×associate-*l/_binary64
476×associate-*r*_binary64
373×associate-*r/_binary64
Counts
106 → 85
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01481734
13081522
210711476
345651394
449811394
549741394

prune157.0ms (1.3%)

Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New84185
Fresh01313
Picked011
Done000
Total841599
Error
3.0b
Counts
99 → 15
Alt Table
StatusErrorProgram
7.2b
(*.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (*.f64 h (*.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))))) (/.f64 l (pow.f64 (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 d 2))) 2))))))
13.9b
(*.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (*.f64 (*.f64 h (*.f64 (*.f64 M D) (cbrt.f64 (*.f64 M D)))) (pow.f64 (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))) 2)) (*.f64 l (*.f64 (*.f64 d 2) (cbrt.f64 (*.f64 d 2))))))))
10.0b
(*.f64 w0 (sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (/.f64 2 2)) (*.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (/.f64 h l))))))
60.6b
(*.f64 w0 (/.f64 (sqrt.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 M D) 2) l) h) -1/4)) d))
7.9b
(*.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (*.f64 (*.f64 h (*.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))))) (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 d 2))) 2)) (cbrt.f64 (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 d 2))))) 2)) l))))
34.6b
(*.f64 (sqrt.f64 w0) (*.f64 (sqrt.f64 (-.f64 1 (*.f64 (/.f64 h l) (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2)))) (sqrt.f64 w0)))
27.4b
(*.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (*.f64 (*.f64 h (/.f64 (*.f64 M D) (*.f64 2 d))) (pow.f64 (sqrt.f64 (/.f64 (*.f64 M D) (*.f64 2 d))) 2)) l))))
14.3b
(/.f64 (*.f64 w0 (sqrt.f64 (-.f64 1 (pow.f64 (*.f64 (/.f64 h l) (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2)) 3)))) (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)) (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))) (*.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)))))))
59.5b
(*.f64 (sqrt.f64 (*.f64 (*.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (*.f64 (neg.f64 M) w0))
61.6b
(*.f64 w0 (*.f64 M (sqrt.f64 (*.f64 (*.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4))))
9.6b
(*.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (*.f64 h (pow.f64 (/.f64 M (/.f64 2 (/.f64 D d))) 2)) l))))
61.2b
(*.f64 w0 (/.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 (*.f64 M M) (*.f64 (*.f64 D D) h)) l) -1/4)) d))
25.9b
(*.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (*.f64 h (*.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (cbrt.f64 (log.f64 (pow.f64 (sqrt.f64 (exp.f64 (/.f64 M d))) D))))) (/.f64 l (pow.f64 (cbrt.f64 (/.f64 (*.f64 M D) (*.f64 d 2))) 2))))))
61.0b
(*.f64 w0 (*.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 (*.f64 D D) h) (*.f64 (*.f64 d d) l)) -1/4)) (neg.f64 M)))
61.2b
(*.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 (*.f64 M M) h) (*.f64 (*.f64 d d) l)) -1/4)) (*.f64 D w0))
Compiler

Compiled 2239 to 1372 computations (38.7% saved)

regimes3.4s (28.9%)

Accuracy

Total 4.4b remaining (49%)

Threshold costs 0b (0%)

Compiler

Compiled 61161 to 44119 computations (27.9% saved)

bsearch5.0ms (0%)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify9.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
26×*-commutative_binary64
18×sub-neg_binary64 +-commutative_binary64
15×neg-mul-1_binary64 neg-sub0_binary64
12×distribute-rgt-neg-in_binary64
11×distribute-lft-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
043136
165136
286136
3124136
4154136
5172136
6180136
7181136
8180136

end11.0ms (0.1%)

Remove

(sort M D)

Compiler

Compiled 288 to 177 computations (38.5% saved)

sample2.0s (17.1%)

Algorithm
1×intervals
Results
622.0ms8000×body128valid
241.0ms3141×body128nan
96.0ms1187×body128invalid
Compiler

Compiled 644 to 439 computations (31.8% saved)

Profiling

Loading profile data...