Details

Time bar (total: 7.6s)

analyze862.0ms (11.3%)

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
12.5%87.4%0.1%5
18.7%81.2%0.1%6
28.1%71.8%0.1%7
32.8%67.1%0.1%8
38.2%61.7%0.1%9
41%58.9%0.1%10
43.9%56%0.1%11
45.4%54.5%0.1%12
46.9%53%0.1%13
47.7%52.2%0.1%14
Compiler

Compiled 19 to 9 computations (52.6% saved)

sample3.9s (51%)

Symmetry

(sort wj x)

Results
2.1s3884×body8192exit
805.0ms6835×body128valid
455.0ms4075×body128invalid
271.0ms696×body512valid
140.0ms702×body256valid
8.0ms23×body1024valid
Compiler

Compiled 56 to 26 computations (53.6% saved)

simplify57.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
804×fma-neg_binary64
601×rules-21_binary64
549×rules-20_binary64
450×fma-def_binary64
274×rules-15-rev_binary64
Counts
1 → 2
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0925
15723
221323
394920
4365620
51520

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
36.6b
Counts
3 → 2
Alt Table
StatusErrorProgram
36.6b
(+.f64 wj (/.f64 (+.f64 wj (/.f64 (neg.f64 x) (exp.f64 wj))) (-.f64 -1 wj)))
▶36.6b
(-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj)))))
Compiler

Compiled 97 to 51 computations (47.4% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj))))
✓0.0b
(*.f64 wj (exp.f64 wj))
✓0.0b
(+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj)))
✓5.4b
(-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj)))))

series54.0ms (0.7%)

Counts
4 → 72
Calls

4 calls:

27.0ms
(-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj)))))
21.0ms
(/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj))))
3.0ms
(*.f64 wj (exp.f64 wj))
3.0ms
(+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj)))

rewrite92.0ms (1.2%)

Algorithm
2×batch-egg-rewrite
Rules
557×log-prod_binary64
207×log-div_binary64
195×expm1-udef_binary64
195×log1p-udef_binary64
169×egg-rr
Counts
4 → 169
Calls

4 calls:

88.0ms
(/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj))))
88.0ms
(*.f64 wj (exp.f64 wj))
88.0ms
(+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj)))
88.0ms
(-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj)))))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0964
122858
2330455
3541855
000
100

simplify69.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
902×rules-41_binary64
902×rules-42_binary64
902×rules-43_binary64
265×rules-7-rev_binary64
190×fma-def_binary64
Counts
241 → 224
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0851426
16111404
230731404
352661404

prune171.0ms (2.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New25310263
Fresh101
Picked011
Done000
Total25411265
Error
4.3b
Counts
265 → 11
Alt Table
StatusErrorProgram
51.6b
(-.f64 wj (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))) (cbrt.f64 (exp.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))))
39.6b
(exp.f64 (log.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))
✓36.6b
(-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj)))))
61.4b
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))))
35.2b
wj
▶31.8b
(-.f64 (fma.f64 5/2 (*.f64 x (*.f64 wj wj)) (fma.f64 wj wj x)) (fma.f64 x (*.f64 2 wj) (*.f64 (pow.f64 wj 3) (+.f64 (*.f64 x 8/3) 1))))
61.4b
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))))) (cbrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))))
37.7b
(pow.f64 (sqrt.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))) 2)
51.6b
(-.f64 wj (log.f64 (exp.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))
44.5b
(/.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 (+.f64 wj (log1p.f64 wj)))) (-.f64 (*.f64 wj (exp.f64 wj)) x)) wj) (+.f64 (exp.f64 wj) (/.f64 (exp.f64 wj) wj)))
37.6b
(-.f64 wj (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) 2)))
Compiler

Compiled 6341 to 1790 computations (71.8% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 x 8/3)
✓1.4b
(fma.f64 5/2 (*.f64 x (*.f64 wj wj)) (fma.f64 wj wj x))
✓2.7b
(*.f64 (pow.f64 wj 3) (+.f64 (*.f64 x 8/3) 1))
✓6.4b
(*.f64 x (*.f64 wj wj))

series34.0ms (0.4%)

Counts
4 → 84
Calls

4 calls:

13.0ms
(*.f64 (pow.f64 wj 3) (+.f64 (*.f64 x 8/3) 1))
11.0ms
(fma.f64 5/2 (*.f64 x (*.f64 wj wj)) (fma.f64 wj wj x))
8.0ms
(*.f64 x (*.f64 wj wj))
1.0ms
(*.f64 x 8/3)

rewrite101.0ms (1.3%)

Algorithm
2×batch-egg-rewrite
Rules
784×prod-diff_binary64
223×egg-rr
143×add-sqr-sqrt_binary64
137×log1p-expm1-u_binary64
137×expm1-log1p-u_binary64
Counts
4 → 223
Calls

4 calls:

96.0ms
(*.f64 x 8/3)
96.0ms
(fma.f64 5/2 (*.f64 x (*.f64 wj wj)) (fma.f64 wj wj x))
96.0ms
(*.f64 (pow.f64 wj 3) (+.f64 (*.f64 x 8/3) 1))
96.0ms
(*.f64 x (*.f64 wj wj))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01537
135537
2408037
3546637
000
100

simplify125.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
833×rules-43_binary64
830×rules-42_binary64
765×rules-40_binary64
765×rules-41_binary64
628×rules-21_binary64
Counts
307 → 242
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
026876
1172772
2603736
32908736
44344736
54945736
64984736
74868736

prune249.0ms (3.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New2411242
Fresh189
Picked011
Done011
Total24211253
Error
4.3b
Counts
253 → 11
Alt Table
StatusErrorProgram
51.6b
(-.f64 wj (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))) (cbrt.f64 (exp.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))))
39.6b
(exp.f64 (log.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))
✓36.6b
(-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj)))))
61.4b
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))))
44.5b
(/.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 (+.f64 wj (log1p.f64 wj)))) (-.f64 (*.f64 wj (exp.f64 wj)) x)) wj) (+.f64 (exp.f64 wj) (/.f64 (exp.f64 wj) wj)))
50.7b
(-.f64 (-.f64 (exp.f64 (log1p.f64 (fma.f64 5/2 (*.f64 x (*.f64 wj wj)) (fma.f64 wj wj x)))) 1) (fma.f64 x (*.f64 2 wj) (*.f64 (pow.f64 wj 3) (+.f64 (*.f64 x 8/3) 1))))
▶35.2b
wj
✓31.8b
(-.f64 (fma.f64 5/2 (*.f64 x (*.f64 wj wj)) (fma.f64 wj wj x)) (fma.f64 x (*.f64 2 wj) (*.f64 (pow.f64 wj 3) (+.f64 (*.f64 x 8/3) 1))))
61.4b
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))))) (cbrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))))
37.7b
(pow.f64 (sqrt.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))) 2)
37.6b
(-.f64 wj (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) 2)))
Compiler

Compiled 9320 to 5267 computations (43.5% saved)

localize0.0ms (0%)

prune13.0ms (0.2%)

Pruning

11 alts after pruning (8 fresh and 3 done)

PrunedKeptTotal
New000
Fresh088
Picked011
Done022
Total01111
Error
4.3b
Counts
11 → 11
Alt Table
StatusErrorProgram
51.6b
(-.f64 wj (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))) (cbrt.f64 (exp.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))))
39.6b
(exp.f64 (log.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))
✓36.6b
(-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj)))))
61.4b
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))))
44.5b
(/.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 (+.f64 wj (log1p.f64 wj)))) (-.f64 (*.f64 wj (exp.f64 wj)) x)) wj) (+.f64 (exp.f64 wj) (/.f64 (exp.f64 wj) wj)))
50.7b
(-.f64 (-.f64 (exp.f64 (log1p.f64 (fma.f64 5/2 (*.f64 x (*.f64 wj wj)) (fma.f64 wj wj x)))) 1) (fma.f64 x (*.f64 2 wj) (*.f64 (pow.f64 wj 3) (+.f64 (*.f64 x 8/3) 1))))
✓35.2b
wj
✓31.8b
(-.f64 (fma.f64 5/2 (*.f64 x (*.f64 wj wj)) (fma.f64 wj wj x)) (fma.f64 x (*.f64 2 wj) (*.f64 (pow.f64 wj 3) (+.f64 (*.f64 x 8/3) 1))))
61.4b
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))))) (cbrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))))
37.7b
(pow.f64 (sqrt.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))) 2)
▶37.6b
(-.f64 wj (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) 2)))
Compiler

Compiled 587 to 270 computations (54% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) 2))
✓0.4b
(pow.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) 2)
✓0.5b
(cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))
✓10.4b
(-.f64 wj (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) 2)))

series388.0ms (5.1%)

Counts
4 → 96
Calls

4 calls:

147.0ms
(-.f64 wj (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) 2)))
104.0ms
(pow.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) 2)
86.0ms
(*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) 2))
51.0ms
(cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))

rewrite101.0ms (1.3%)

Algorithm
2×batch-egg-rewrite
Rules
258×expm1-udef_binary64
258×log1p-udef_binary64
147×add-sqr-sqrt_binary64
145×egg-rr
144×expm1-log1p-u_binary64
Counts
4 → 145
Calls

4 calls:

96.0ms
(*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) 2))
96.0ms
(pow.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) 2)
96.0ms
(cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))
96.0ms
(-.f64 wj (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) 2)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01586
133884
2430184
3496784
000
100

simplify107.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
992×fma-neg_binary64
704×rules-41_binary64
704×rules-43_binary64
702×rules-42_binary64
381×rules-40_binary64
Counts
241 → 276
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
04075583
129255288
249195288

prune255.0ms (3.4%)

Pruning

16 alts after pruning (13 fresh and 3 done)

PrunedKeptTotal
New3508358
Fresh257
Picked101
Done033
Total35316369
Error
4.2b
Counts
369 → 16
Alt Table
StatusErrorProgram
63.0b
(-.f64 wj (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) (pow.f64 (pow.f64 (exp.f64 1/3) (-.f64 (-.f64 wj (+.f64 wj (log1p.f64 wj))) (neg.f64 (log.f64 wj)))) 2)))
✓35.2b
wj
51.6b
(-.f64 wj (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))) (cbrt.f64 (exp.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))))
39.6b
(exp.f64 (log.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))
✓36.6b
(-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj)))))
59.6b
(*.f64 -1 (*.f64 wj (expm1.f64 (-.f64 wj (+.f64 wj (log1p.f64 wj))))))
61.4b
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))))
58.3b
(-.f64 wj (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) (pow.f64 (/.f64 (*.f64 (pow.f64 (exp.f64 wj) 2) (pow.f64 wj 2)) (pow.f64 (exp.f64 (+.f64 (log.f64 (+.f64 1 wj)) wj)) 2)) 1/3)))
61.4b
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))))) (cbrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))))
51.3b
(-.f64 wj (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) (pow.f64 (log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj)))))))) 2)))
61.0b
(-.f64 wj (*.f64 (cbrt.f64 (/.f64 (*.f64 wj (exp.f64 wj)) (exp.f64 (+.f64 wj (log1p.f64 wj))))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) 2)))
51.6b
(-.f64 wj (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) (pow.f64 (-.f64 (exp.f64 (log1p.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))))) 1) 2)))
50.7b
(-.f64 (-.f64 (exp.f64 (log1p.f64 (fma.f64 5/2 (*.f64 x (*.f64 wj wj)) (fma.f64 wj wj x)))) 1) (fma.f64 x (*.f64 2 wj) (*.f64 (pow.f64 wj 3) (+.f64 (*.f64 x 8/3) 1))))
✓31.8b
(-.f64 (fma.f64 5/2 (*.f64 x (*.f64 wj wj)) (fma.f64 wj wj x)) (fma.f64 x (*.f64 2 wj) (*.f64 (pow.f64 wj 3) (+.f64 (*.f64 x 8/3) 1))))
60.6b
(-.f64 wj (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) (pow.f64 (cbrt.f64 (/.f64 (*.f64 wj (exp.f64 wj)) (exp.f64 (+.f64 wj (log1p.f64 wj))))) 2)))
63.0b
(-.f64 wj (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (exp.f64 (+.f64 wj (log1p.f64 wj))))) (pow.f64 (pow.f64 (/.f64 (*.f64 (exp.f64 wj) wj) (exp.f64 (+.f64 (log.f64 (+.f64 1 wj)) wj))) 1/3) 2)))
Compiler

Compiled 17915 to 7178 computations (59.9% saved)

regimes644.0ms (8.5%)

Accuracy

Total 10.7b remaining (99.8%)

Threshold costs 0b (0%)

Counts
134 → 2
Compiler

Compiled 9090 to 5310 computations (41.6% saved)

bsearch27.0ms (0.4%)

Steps
ItersRangePoint
6
-2.4812520333759072e-158
-2.7513046653480877e-167
-1.7279931553913336e-158
Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01747
11747

end339.0ms (4.5%)

Remove

(sort wj x)

Compiler

Compiled 626 to 316 computations (49.5% saved)

Profiling

Loading profile data...