Details

Time bar (total: 15.3s)

analyze2.2s (14.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%81.1%18.9%7
0%68.6%31.4%8
0%59.2%40.8%9
0%59.2%40.8%10
0%59.2%40.8%11
0.4%49.5%50.1%12
0.8%44.4%54.8%13
1.4%39.9%58.7%14
Compiler

Compiled 41 to 32 computations (22% saved)

sample198.0ms (1.3%)

Algorithm
1×intervals
Symmetry

(sort M D)

Results
47.0ms256×body128valid
40.0ms241×body128nan
25.0ms140×body128invalid
Compiler

Compiled 86 to 68 computations (20.9% saved)

simplify36.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
466×fma-def_binary64
437×*-commutative_binary64
425×associate-/l*_binary64
347×cancel-sign-sub-inv_binary64
263×associate-/l/_binary64
Counts
1 → 2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02441
16241
218839
3107139
4361039
5510639

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
27.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶27.0b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
Compiler

Compiled 128 to 88 computations (31.3% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓5.8b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
✓10.4b
(fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)
✓11.7b
(sqrt.f64 (/.f64 d l))
✓12.4b
(sqrt.f64 (/.f64 d h))

series335.0ms (2.2%)

Counts
4 → 92
Calls

4 calls:

219.0ms
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
81.0ms
(fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)
18.0ms
(sqrt.f64 (/.f64 d h))
16.0ms
(sqrt.f64 (/.f64 d l))

rewrite19.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
26×sqrt-prod_binary64
25×add-sqr-sqrt_binary64
20×times-frac_binary64
19×*-un-lft-identity_binary64
19×add-cube-cbrt_binary64
Counts
4 → 89
Calls

4 calls:

10.0ms
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
2.0ms
(sqrt.f64 (/.f64 d h))
2.0ms
(sqrt.f64 (/.f64 d l))
0.0ms
(fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)

simplify124.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
569×fma-def_binary64
472×associate-*l/_binary64
417×times-frac_binary64
392×associate-*r/_binary64
354×associate-/l*_binary64
Counts
181 → 134
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02004766
13694458
211744367
346434367
451754367

prune167.0ms (1.1%)

Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New11519134
Fresh000
Picked101
Done000
Total11619135
Error
11.2b
Counts
135 → 19
Alt Table
StatusErrorProgram
50.7b
(cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d h))) (sqrt.f64 (/.f64 d h))) (*.f64 (*.f64 (sqrt.f64 (/.f64 d l)) (sqrt.f64 (/.f64 d l))) (sqrt.f64 (/.f64 d l)))) (*.f64 (*.f64 (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))))
24.0b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
▶19.7b
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
42.3b
(*.f64 (*.f64 (/.f64 (sqrt.f64 d) (sqrt.f64 h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
44.0b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (/.f64 (*.f64 (*.f64 D D) (*.f64 (*.f64 M M) h)) (*.f64 (*.f64 d d) l)) -1/8 1))
23.5b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (*.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 d) (cbrt.f64 d)) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 l))))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
32.1b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) 1)
40.6b
(/.f64 (*.f64 (*.f64 (sqrt.f64 d) (sqrt.f64 d)) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)) (*.f64 (sqrt.f64 h) (sqrt.f64 l)))
43.9b
(*.f64 (sqrt.f64 (/.f64 1 (*.f64 l h))) d)
23.7b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (*.f64 (fabs.f64 (cbrt.f64 d)) (sqrt.f64 (/.f64 (cbrt.f64 d) l)))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
21.5b
(*.f64 (*.f64 (*.f64 (fabs.f64 (cbrt.f64 d)) (sqrt.f64 (/.f64 (cbrt.f64 d) h))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
32.8b
(*.f64 (sqrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))) (sqrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))))
59.6b
(*.f64 -1/8 (*.f64 (/.f64 (*.f64 (pow.f64 D 2) (pow.f64 M 2)) d) (sqrt.f64 (/.f64 h (pow.f64 l 3)))))
27.5b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))) (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)))) (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))))
46.4b
(cbrt.f64 (pow.f64 (*.f64 (fma.f64 (pow.f64 (/.f64 (*.f64 D M) (*.f64 2 d)) 2) (*.f64 (/.f64 h l) -1/2) 1) (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l)))) 3))
23.3b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 l))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 l))))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
21.3b
(*.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 h) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
42.3b
(/.f64 (*.f64 (*.f64 (sqrt.f64 d) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)) (sqrt.f64 h))
40.6b
(/.f64 (*.f64 d (fma.f64 (pow.f64 (/.f64 (*.f64 D M) (*.f64 2 d)) 2) (*.f64 (/.f64 h l) -1/2) 1)) (*.f64 (sqrt.f64 h) (sqrt.f64 l)))
Compiler

Compiled 6015 to 2991 computations (50.3% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓4.4b
(/.f64 (*.f64 M D) (*.f64 d 2))
✓5.8b
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
10.4b
(fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)
11.7b
(sqrt.f64 (/.f64 d l))

series824.0ms (5.4%)

Counts
2 → 80
Calls

2 calls:

808.0ms
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
15.0ms
(/.f64 (*.f64 M D) (*.f64 d 2))

rewrite35.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
23×add-cbrt-cube_binary64
23×add-exp-log_binary64
12×associate-*l/_binary64
11×pow1_binary64
10×cbrt-unprod_binary64
Counts
2 → 55
Calls

2 calls:

21.0ms
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
4.0ms
(/.f64 (*.f64 M D) (*.f64 d 2))

simplify144.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
842×fma-def_binary64
579×associate-/r*_binary64
437×associate-*l*_binary64
380×associate-*r*_binary64
212×associate-/l/_binary64
Counts
135 → 102
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02416370
16145500
224405500
349725500
456845500

prune195.0ms (1.3%)

Pruning

23 alts after pruning (23 fresh and 0 done)

PrunedKeptTotal
New15010160
Fresh51318
Picked101
Done000
Total15623179
Error
10.2b
Counts
179 → 23
Alt Table
StatusErrorProgram
50.7b
(cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d h))) (sqrt.f64 (/.f64 d h))) (*.f64 (*.f64 (sqrt.f64 (/.f64 d l)) (sqrt.f64 (/.f64 d l))) (sqrt.f64 (/.f64 d l)))) (*.f64 (*.f64 (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))))
24.0b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
22.2b
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (*.f64 D M) (*.f64 2 d)) 3)) 2) (*.f64 (/.f64 h l) -1/2) 1))
19.7b
(*.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
19.7b
(/.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 (cbrt.f64 d)) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)) (fabs.f64 (cbrt.f64 h)))
▶19.4b
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
44.0b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (/.f64 (*.f64 (*.f64 D D) (*.f64 (*.f64 M M) h)) (*.f64 (*.f64 d d) l)) -1/8 1))
23.3b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 l))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 l))))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
26.2b
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 d l)) 3))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
42.3b
(/.f64 (*.f64 (*.f64 (sqrt.f64 d) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)) (sqrt.f64 h))
60.8b
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (*.f64 -1/8 (/.f64 (*.f64 (pow.f64 D 2) (*.f64 h (pow.f64 M 2))) (*.f64 (pow.f64 d 2) l))))
40.6b
(/.f64 (*.f64 (*.f64 (sqrt.f64 d) (sqrt.f64 d)) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)) (*.f64 (sqrt.f64 h) (sqrt.f64 l)))
43.9b
(*.f64 (sqrt.f64 (/.f64 1 (*.f64 l h))) d)
23.7b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (*.f64 (fabs.f64 (cbrt.f64 d)) (sqrt.f64 (/.f64 (cbrt.f64 d) l)))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
21.5b
(*.f64 (*.f64 (*.f64 (fabs.f64 (cbrt.f64 d)) (sqrt.f64 (/.f64 (cbrt.f64 d) h))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
32.8b
(*.f64 (sqrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))) (sqrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))))
20.0b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 D M) (*.f64 2 d)) 2) (*.f64 (/.f64 h l) -1/2) 1))) (cbrt.f64 (*.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 D M) (*.f64 2 d)) 2) (*.f64 (/.f64 h l) -1/2) 1)))) (cbrt.f64 (*.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 D M) (*.f64 2 d)) 2) (*.f64 (/.f64 h l) -1/2) 1))))
59.6b
(*.f64 -1/8 (*.f64 (/.f64 (*.f64 (pow.f64 D 2) (pow.f64 M 2)) d) (sqrt.f64 (/.f64 h (pow.f64 l 3)))))
27.5b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))) (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)))) (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))))
46.4b
(cbrt.f64 (pow.f64 (*.f64 (fma.f64 (pow.f64 (/.f64 (*.f64 D M) (*.f64 2 d)) 2) (*.f64 (/.f64 h l) -1/2) 1) (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l)))) 3))
25.8b
(*.f64 (sqrt.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))) (sqrt.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))))
25.2b
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) 1)
52.0b
(*.f64 (cbrt.f64 (*.f64 d d)) (*.f64 (sqrt.f64 (/.f64 1 l)) (*.f64 (cbrt.f64 (/.f64 d h)) (pow.f64 (/.f64 1 h) 1/6))))
Compiler

Compiled 9088 to 4109 computations (54.8% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓5.8b
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
✓6.5b
(*.f64 (/.f64 M d) (/.f64 D 2))
✓10.4b
(fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)
11.7b
(sqrt.f64 (/.f64 d l))

series919.0ms (6%)

Counts
3 → 140
Calls

3 calls:

814.0ms
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
88.0ms
(fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)
17.0ms
(*.f64 (/.f64 M d) (/.f64 D 2))

rewrite37.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
30×add-sqr-sqrt_binary64
24×add-cbrt-cube_binary64
24×add-exp-log_binary64
22×times-frac_binary64
18×*-un-lft-identity_binary64
Counts
3 → 94
Calls

3 calls:

21.0ms
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
8.0ms
(*.f64 (/.f64 M d) (/.f64 D 2))
0.0ms
(fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)

simplify188.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
601×fma-def_binary64
487×times-frac_binary64
483×associate-*l*_binary64
431×associate-*r*_binary64
287×*-commutative_binary64
Counts
234 → 161
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03158597
17947680
228127589
347627589
452087589

prune220.0ms (1.4%)

Pruning

23 alts after pruning (23 fresh and 0 done)

PrunedKeptTotal
New1893192
Fresh22022
Picked101
Done000
Total19223215
Error
10.2b
Counts
215 → 23
Alt Table
StatusErrorProgram
50.7b
(cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d h))) (sqrt.f64 (/.f64 d h))) (*.f64 (*.f64 (sqrt.f64 (/.f64 d l)) (sqrt.f64 (/.f64 d l))) (sqrt.f64 (/.f64 d l)))) (*.f64 (*.f64 (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))))
24.0b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
22.2b
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (*.f64 D M) (*.f64 2 d)) 3)) 2) (*.f64 (/.f64 h l) -1/2) 1))
19.7b
(/.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 (cbrt.f64 d)) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)) (fabs.f64 (cbrt.f64 h)))
27.5b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))) (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)))) (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))))
▶19.5b
(*.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
23.3b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 l))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 l))))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
26.2b
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 d l)) 3))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
42.3b
(/.f64 (*.f64 (*.f64 (sqrt.f64 d) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)) (sqrt.f64 h))
60.8b
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (*.f64 -1/8 (/.f64 (*.f64 (pow.f64 D 2) (*.f64 h (pow.f64 M 2))) (*.f64 (pow.f64 d 2) l))))
52.0b
(*.f64 (cbrt.f64 (*.f64 d d)) (*.f64 (sqrt.f64 (/.f64 1 l)) (*.f64 (cbrt.f64 (/.f64 d h)) (pow.f64 (/.f64 1 h) 1/6))))
20.0b
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (*.f64 M (*.f64 (/.f64 1 d) (/.f64 D 2))) 2) (*.f64 (/.f64 h l) -1/2) 1))
40.6b
(/.f64 (*.f64 (*.f64 (sqrt.f64 d) (sqrt.f64 d)) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)) (*.f64 (sqrt.f64 h) (sqrt.f64 l)))
43.9b
(*.f64 (sqrt.f64 (/.f64 1 (*.f64 l h))) d)
23.7b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (*.f64 (fabs.f64 (cbrt.f64 d)) (sqrt.f64 (/.f64 (cbrt.f64 d) l)))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
21.5b
(*.f64 (*.f64 (*.f64 (fabs.f64 (cbrt.f64 d)) (sqrt.f64 (/.f64 (cbrt.f64 d) h))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
32.8b
(*.f64 (sqrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))) (sqrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))))
20.0b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 D M) (*.f64 2 d)) 2) (*.f64 (/.f64 h l) -1/2) 1))) (cbrt.f64 (*.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 D M) (*.f64 2 d)) 2) (*.f64 (/.f64 h l) -1/2) 1)))) (cbrt.f64 (*.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 D M) (*.f64 2 d)) 2) (*.f64 (/.f64 h l) -1/2) 1))))
59.6b
(*.f64 -1/8 (*.f64 (/.f64 (*.f64 (pow.f64 D 2) (pow.f64 M 2)) d) (sqrt.f64 (/.f64 h (pow.f64 l 3)))))
46.4b
(cbrt.f64 (pow.f64 (*.f64 (fma.f64 (pow.f64 (/.f64 (*.f64 D M) (*.f64 2 d)) 2) (*.f64 (/.f64 h l) -1/2) 1) (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l)))) 3))
44.0b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (/.f64 (*.f64 (*.f64 D D) (*.f64 (*.f64 M M) h)) (*.f64 (*.f64 d d) l)) -1/8 1))
26.1b
(*.f64 (sqrt.f64 (*.f64 (fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1) (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))))) (sqrt.f64 (*.f64 (fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1) (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))))))
25.2b
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) 1)
Compiler

Compiled 10482 to 4549 computations (56.6% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓5.8b
(*.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
6.5b
(*.f64 (/.f64 M d) (/.f64 D 2))
10.4b
(fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)
11.7b
(sqrt.f64 (/.f64 d l))

series191.0ms (1.3%)

Counts
1 → 32
Calls

1 calls:

191.0ms
(*.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))

rewrite24.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
11×add-exp-log_binary64
7×prod-exp_binary64
6×add-cbrt-cube_binary64
4×associate-*l/_binary64
4×sqrt-div_binary64
Counts
1 → 26
Calls

1 calls:

22.0ms
(*.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))

simplify74.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
869×distribute-rgt-in_binary64
572×fma-def_binary64
426×*-commutative_binary64
251×associate-*l/_binary64
211×associate-*r/_binary64
Counts
58 → 36
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0952607
12322355
29082355
325262355
450072355

prune188.0ms (1.2%)

Pruning

23 alts after pruning (23 fresh and 0 done)

PrunedKeptTotal
New1584162
Fresh31922
Picked101
Done000
Total16223185
Error
10.1b
Counts
185 → 23
Alt Table
StatusErrorProgram
50.7b
(cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d h))) (sqrt.f64 (/.f64 d h))) (*.f64 (*.f64 (sqrt.f64 (/.f64 d l)) (sqrt.f64 (/.f64 d l))) (sqrt.f64 (/.f64 d l)))) (*.f64 (*.f64 (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))))
24.0b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
22.2b
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (*.f64 D M) (*.f64 2 d)) 3)) 2) (*.f64 (/.f64 h l) -1/2) 1))
19.7b
(/.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 (cbrt.f64 d)) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)) (fabs.f64 (cbrt.f64 h)))
25.2b
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) 1)
60.8b
(*.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))) (*.f64 -1/8 (/.f64 (*.f64 (pow.f64 D 2) (*.f64 h (pow.f64 M 2))) (*.f64 (pow.f64 d 2) l))))
42.3b
(/.f64 (*.f64 (*.f64 (sqrt.f64 d) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)) (sqrt.f64 h))
60.8b
(*.f64 (*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (*.f64 -1/8 (/.f64 (*.f64 (pow.f64 D 2) (*.f64 h (pow.f64 M 2))) (*.f64 (pow.f64 d 2) l))))
51.0b
(fma.f64 -1/8 (*.f64 (/.f64 (*.f64 (*.f64 D D) (*.f64 M M)) d) (sqrt.f64 (/.f64 h (pow.f64 l 3)))) (*.f64 d (sqrt.f64 (/.f64 1 (*.f64 h l)))))
52.0b
(*.f64 (cbrt.f64 (*.f64 d d)) (*.f64 (sqrt.f64 (/.f64 1 l)) (*.f64 (cbrt.f64 (/.f64 d h)) (pow.f64 (/.f64 1 h) 1/6))))
16.2b
(*.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (*.f64 (fabs.f64 (cbrt.f64 d)) (sqrt.f64 (/.f64 (cbrt.f64 d) l)))) (fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
40.6b
(/.f64 (*.f64 (*.f64 (sqrt.f64 d) (sqrt.f64 d)) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)) (*.f64 (sqrt.f64 h) (sqrt.f64 l)))
43.9b
(*.f64 (sqrt.f64 (/.f64 1 (*.f64 l h))) d)
23.7b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (*.f64 (fabs.f64 (cbrt.f64 d)) (sqrt.f64 (/.f64 (cbrt.f64 d) l)))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
21.5b
(*.f64 (*.f64 (*.f64 (fabs.f64 (cbrt.f64 d)) (sqrt.f64 (/.f64 (cbrt.f64 d) h))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
32.8b
(*.f64 (sqrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))) (sqrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))))
20.0b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 D M) (*.f64 2 d)) 2) (*.f64 (/.f64 h l) -1/2) 1))) (cbrt.f64 (*.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 D M) (*.f64 2 d)) 2) (*.f64 (/.f64 h l) -1/2) 1)))) (cbrt.f64 (*.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 D M) (*.f64 2 d)) 2) (*.f64 (/.f64 h l) -1/2) 1))))
27.5b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))) (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)))) (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))))
46.4b
(cbrt.f64 (pow.f64 (*.f64 (fma.f64 (pow.f64 (/.f64 (*.f64 D M) (*.f64 2 d)) 2) (*.f64 (/.f64 h l) -1/2) 1) (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l)))) 3))
44.0b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 (/.f64 (*.f64 (*.f64 D D) (*.f64 (*.f64 M M) h)) (*.f64 (*.f64 d d) l)) -1/8 1))
23.3b
(*.f64 (*.f64 (sqrt.f64 (/.f64 d h)) (*.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 l))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 l))))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
26.0b
(*.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 d l)) 3))) (fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1))
26.1b
(*.f64 (sqrt.f64 (*.f64 (fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1) (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))))) (sqrt.f64 (*.f64 (fma.f64 (pow.f64 (*.f64 (/.f64 M d) (/.f64 D 2)) 2) (*.f64 (/.f64 h l) -1/2) 1) (*.f64 (pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) 3) (sqrt.f64 (/.f64 d l))))))
Compiler

Compiled 7076 to 3439 computations (51.4% saved)

regimes3.3s (21.4%)

Accuracy

Total 4.5b remaining (28.1%)

Threshold costs 0b (0%)

Counts
247 → 2
Compiler

Compiled 74331 to 50518 computations (32% saved)

bsearch16.0ms (0.1%)

Compiler

Compiled 40 to 31 computations (22.5% saved)

simplify6.0ms (0%)

Algorithm
1×egg-herbie
Rules
19×*-commutative_binary64
6×+-commutative_binary64
6×sub-neg_binary64
5×neg-sub0_binary64
5×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
053129
177129
292129
3102129
4110129
5114129
6115129
7112129

end10.0ms (0.1%)

Compiler

Compiled 264 to 168 computations (36.4% saved)

sample5.8s (37.9%)

Algorithm
1×intervals
Results
1.5s8000×body128valid
1.4s8528×body128nan
829.0ms4786×body128invalid
Compiler

Compiled 1154 to 751 computations (34.9% saved)

Profiling

Loading profile data...