Details

Time bar (total: 18.2s)

analyze3.1s (17.1%)

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
49.9%49.9%0.3%8
49.9%49.9%0.3%9
49.9%49.9%0.3%10
49.9%49.9%0.3%11
49.9%49.9%0.3%12
49.9%49.9%0.3%13
74.8%24.9%0.3%14
Compiler

Compiled 34 to 27 computations (20.6% saved)

sample11.1s (60.7%)

Results
5.7s2494×body2048valid
2.4s2036×body1024valid
1.3s342×body4096valid
694.0ms940×body512valid
588.0ms2030×body128valid
225.0ms414×body256valid
Compiler

Compiled 101 to 80 computations (20.8% saved)

simplify37.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
442×fma-def_binary64
259×associate-/l*_binary64
218×*-commutative_binary64
216×distribute-lft-in_binary64
212×associate-/r/_binary64
Counts
1 → 2
Iterations

Useful iterations: 8 (0.0ms)

IterNodesCost
02437
14737
210337
320037
444137
564037
682535
7109335
8115531
9123831
10127031
11127031
12125431

prune5.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
45.9b
Counts
3 → 2
Alt Table
StatusErrorProgram
46.4b
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
▶46.1b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
Compiler

Compiled 174 to 132 computations (24.1% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓2.0b
(*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))
✓2.5b
(*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))
✓35.1b
(cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))
✓35.4b
(cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))

series71.0ms (0.4%)

Counts
4 → 144
Calls

4 calls:

24.0ms
(cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))
23.0ms
(cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))
12.0ms
(*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))
12.0ms
(*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))

rewrite13.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
14×add-cbrt-cube_binary64
14×add-exp-log_binary64
14×pow1_binary64
8×fma-udef_binary64
6×associate-*r*_binary64
Counts
4 → 66
Calls

4 calls:

4.0ms
(*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))
4.0ms
(*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))
2.0ms
(cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))
2.0ms
(cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))

simplify106.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
697×associate-*r*_binary64
593×associate-*l*_binary64
426×unswap-sqr_binary64
340×*-commutative_binary64
277×fma-def_binary64
Counts
210 → 152
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03635086
19974318
241074270
353134270

prune343.0ms (1.9%)

Pruning

27 alts after pruning (27 fresh and 0 done)

PrunedKeptTotal
New12527152
Fresh101
Picked101
Done000
Total12727154
Error
41.1b
Counts
154 → 27
Alt Table
StatusErrorProgram
46.3b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))) (cbrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))) (cbrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
46.1b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b))) 3)))
46.4b
(*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 z (*.f64 y 1/8))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
▶45.2b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
61.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 t) (log.f64 b)) (log.f64 (fma.f64 a 1/8 1/16))))))
46.3b
(*.f64 (*.f64 x (cos.f64 (*.f64 1/8 (*.f64 y (*.f64 t z))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
47.3b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (expm1.f64 (log1p.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
45.4b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 1/16 (*.f64 t b))))
46.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 (fma.f64 y 1/8 1/16)) (cbrt.f64 (fma.f64 y 1/8 1/16)))) (cbrt.f64 (fma.f64 y 1/8 1/16))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.1b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 a b))))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t b))) (sin.f64 (*.f64 t (*.f64 1/8 (*.f64 a b)))))))
46.1b
(*.f64 (*.f64 x (cos.f64 (*.f64 z (*.f64 t (fma.f64 y 1/8 1/16))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 a 1/8) (*.f64 t b))) (cos.f64 (*.f64 1/16 (*.f64 t b)))) (*.f64 (sin.f64 (*.f64 (*.f64 a 1/8) (*.f64 t b))) (sin.f64 (*.f64 1/16 (*.f64 t b))))))
53.5b
(*.f64 (*.f64 x (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))) (sqrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.1b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (log1p.f64 (expm1.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
46.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))) (cbrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.1b
(*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
53.7b
(*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.1b
(*.f64 (*.f64 x (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.5b
(*.f64 (*.f64 x (cos.f64 (*.f64 1/16 (*.f64 t z)))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.9b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 a b)))))
46.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (*.f64 (cbrt.f64 (fma.f64 a 1/8 1/16)) (cbrt.f64 (fma.f64 a 1/8 1/16)))) (cbrt.f64 (fma.f64 a 1/8 1/16)))))
46.1b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
53.8b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))) (sqrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
53.3b
(*.f64 (*.f64 x (cos.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 (fma.f64 y 1/8 1/16) (fma.f64 y 1/8 1/16)) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.1b
(*.f64 (*.f64 x (cbrt.f64 (*.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))) (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.2b
(*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 y 1/8) (*.f64 z t))) (cos.f64 (*.f64 1/16 (*.f64 z t)))) (*.f64 (sin.f64 (*.f64 (*.f64 y 1/8) (*.f64 z t))) (sin.f64 (*.f64 1/16 (*.f64 z t)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
48.6b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (sqrt.f64 (fma.f64 a 1/8 1/16))) (sqrt.f64 (fma.f64 a 1/8 1/16)))))
Compiler

Compiled 7517 to 4901 computations (34.8% saved)

localize14.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
2.0b
(*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))
35.1b
(cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))

series52.0ms (0.3%)

Counts
1 → 48
Calls

1 calls:

52.0ms
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))

rewrite6.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
8×add-exp-log_binary64
6×add-cbrt-cube_binary64
6×pow1_binary64
5×prod-exp_binary64
3×associate-*r*_binary64
Counts
1 → 21
Calls

1 calls:

4.0ms
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))

simplify78.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
554×associate-+l+_binary64
394×cancel-sign-sub-inv_binary64
369×associate-*r*_binary64
255×associate-*l*_binary64
229×associate--r+_binary64
Counts
69 → 51
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01742326
14781985
219561779
348081779
449911779

prune278.0ms (1.5%)

Pruning

40 alts after pruning (40 fresh and 0 done)

PrunedKeptTotal
New10819127
Fresh52126
Picked101
Done000
Total11440154
Error
39.2b
Counts
154 → 40
Alt Table
StatusErrorProgram
46.3b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))) (cbrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))) (cbrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
46.4b
(*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 z (*.f64 y 1/8))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
61.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 t) (log.f64 b)) (log.f64 (fma.f64 a 1/8 1/16))))))
46.3b
(*.f64 (*.f64 x (cos.f64 (*.f64 1/8 (*.f64 y (*.f64 t z))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.2b
(*.f64 (*.f64 x 1) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b))) 3)))
62.6b
(log.f64 (exp.f64 (*.f64 (cos.f64 (*.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))) x)))
45.4b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 1/16 (*.f64 t b))))
45.2b
(*.f64 (*.f64 x 1) (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b)))) (cbrt.f64 (cos.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b))))) (cbrt.f64 (cos.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b))))))
46.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 (fma.f64 y 1/8 1/16)) (cbrt.f64 (fma.f64 y 1/8 1/16)))) (cbrt.f64 (fma.f64 y 1/8 1/16))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.1b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 a b))))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t b))) (sin.f64 (*.f64 t (*.f64 1/8 (*.f64 a b)))))))
55.6b
(exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))) x)))
46.1b
(*.f64 (*.f64 x (cos.f64 (*.f64 z (*.f64 t (fma.f64 y 1/8 1/16))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 a 1/8) (*.f64 t b))) (cos.f64 (*.f64 1/16 (*.f64 t b)))) (*.f64 (sin.f64 (*.f64 (*.f64 a 1/8) (*.f64 t b))) (sin.f64 (*.f64 1/16 (*.f64 t b))))))
45.1b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (*.f64 (cbrt.f64 (fma.f64 1/8 a 1/16)) (cbrt.f64 (fma.f64 1/8 a 1/16)))) (cbrt.f64 (fma.f64 a 1/8 1/16)))))
56.5b
(exp.f64 (+.f64 (+.f64 (log.f64 x) 0) (log.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
53.5b
(*.f64 (*.f64 x (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))) (sqrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.2b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 1/8 (*.f64 a (*.f64 t b)))))
48.0b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (sqrt.f64 (fma.f64 1/8 a 1/16))) (sqrt.f64 (fma.f64 a 1/8 1/16)))))
53.3b
(*.f64 (*.f64 x (cos.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 (fma.f64 y 1/8 1/16) (fma.f64 y 1/8 1/16)) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.1b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 a b)))))
46.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))) (cbrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.1b
(*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.8b
(*.f64 (*.f64 x (sqrt.f64 (cos.f64 (*.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))))) (sqrt.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))))
44.6b
(*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) x)
46.1b
(*.f64 (*.f64 x (cbrt.f64 (*.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))) (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
▶44.1b
x
53.7b
(*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.1b
(*.f64 (*.f64 x (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.5b
(*.f64 (*.f64 x (cos.f64 (*.f64 1/16 (*.f64 t z)))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.2b
(*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 y 1/8) (*.f64 z t))) (cos.f64 (*.f64 1/16 (*.f64 z t)))) (*.f64 (sin.f64 (*.f64 (*.f64 y 1/8) (*.f64 z t))) (sin.f64 (*.f64 1/16 (*.f64 z t)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
53.8b
(*.f64 (*.f64 x 1) (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
45.4b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b))) (cbrt.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b)))) (cbrt.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b))))))
55.1b
(*.f64 (sqrt.f64 (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))) (sqrt.f64 (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
45.9b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 a b)))))
45.1b
(*.f64 (*.f64 x 1) (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 a b))))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t b))) (sin.f64 (*.f64 t (*.f64 1/8 (*.f64 a b)))))))
46.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (*.f64 (cbrt.f64 (fma.f64 a 1/8 1/16)) (cbrt.f64 (fma.f64 a 1/8 1/16)))) (cbrt.f64 (fma.f64 a 1/8 1/16)))))
45.0b
(*.f64 (*.f64 x 1) (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 t b) (*.f64 a 1/8))) (cos.f64 (*.f64 (*.f64 t b) 1/16))) (*.f64 (sin.f64 (*.f64 (*.f64 t b) (*.f64 a 1/8))) (sin.f64 (*.f64 (*.f64 t b) 1/16)))))
45.6b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))) (cbrt.f64 (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))))) (cbrt.f64 (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
53.8b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))) (sqrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
45.4b
(*.f64 (*.f64 x (*.f64 (cbrt.f64 (cos.f64 (*.f64 t (*.f64 (fma.f64 1/8 a 1/16) b)))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 (fma.f64 1/8 a 1/16) b)))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))))
Compiler

Compiled 6335 to 4348 computations (31.4% saved)

localize1.0ms (0%)

prune57.0ms (0.3%)

Pruning

40 alts after pruning (39 fresh and 1 done)

PrunedKeptTotal
New000
Fresh03939
Picked011
Done000
Total04040
Error
39.2b
Counts
40 → 40
Alt Table
StatusErrorProgram
46.3b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))) (cbrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))) (cbrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
46.4b
(*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 z (*.f64 y 1/8))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
61.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 t) (log.f64 b)) (log.f64 (fma.f64 a 1/8 1/16))))))
46.3b
(*.f64 (*.f64 x (cos.f64 (*.f64 1/8 (*.f64 y (*.f64 t z))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.2b
(*.f64 (*.f64 x 1) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b))) 3)))
62.6b
(log.f64 (exp.f64 (*.f64 (cos.f64 (*.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))) x)))
45.4b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 1/16 (*.f64 t b))))
45.2b
(*.f64 (*.f64 x 1) (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b)))) (cbrt.f64 (cos.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b))))) (cbrt.f64 (cos.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b))))))
46.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 (fma.f64 y 1/8 1/16)) (cbrt.f64 (fma.f64 y 1/8 1/16)))) (cbrt.f64 (fma.f64 y 1/8 1/16))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.1b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 a b))))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t b))) (sin.f64 (*.f64 t (*.f64 1/8 (*.f64 a b)))))))
55.6b
(exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))) x)))
46.1b
(*.f64 (*.f64 x (cos.f64 (*.f64 z (*.f64 t (fma.f64 y 1/8 1/16))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 a 1/8) (*.f64 t b))) (cos.f64 (*.f64 1/16 (*.f64 t b)))) (*.f64 (sin.f64 (*.f64 (*.f64 a 1/8) (*.f64 t b))) (sin.f64 (*.f64 1/16 (*.f64 t b))))))
45.1b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (*.f64 (cbrt.f64 (fma.f64 1/8 a 1/16)) (cbrt.f64 (fma.f64 1/8 a 1/16)))) (cbrt.f64 (fma.f64 a 1/8 1/16)))))
56.5b
(exp.f64 (+.f64 (+.f64 (log.f64 x) 0) (log.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
53.5b
(*.f64 (*.f64 x (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))) (sqrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.2b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 1/8 (*.f64 a (*.f64 t b)))))
48.0b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (sqrt.f64 (fma.f64 1/8 a 1/16))) (sqrt.f64 (fma.f64 a 1/8 1/16)))))
53.3b
(*.f64 (*.f64 x (cos.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 (fma.f64 y 1/8 1/16) (fma.f64 y 1/8 1/16)) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.1b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 a b)))))
46.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))) (cbrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.1b
(*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.8b
(*.f64 (*.f64 x (sqrt.f64 (cos.f64 (*.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))))) (sqrt.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))))
▶44.6b
(*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) x)
46.1b
(*.f64 (*.f64 x (cbrt.f64 (*.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))) (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
✓44.1b
x
53.7b
(*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.1b
(*.f64 (*.f64 x (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.5b
(*.f64 (*.f64 x (cos.f64 (*.f64 1/16 (*.f64 t z)))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.2b
(*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 y 1/8) (*.f64 z t))) (cos.f64 (*.f64 1/16 (*.f64 z t)))) (*.f64 (sin.f64 (*.f64 (*.f64 y 1/8) (*.f64 z t))) (sin.f64 (*.f64 1/16 (*.f64 z t)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
53.8b
(*.f64 (*.f64 x 1) (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
45.4b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b))) (cbrt.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b)))) (cbrt.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b))))))
55.1b
(*.f64 (sqrt.f64 (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))) (sqrt.f64 (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
45.9b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 a b)))))
45.1b
(*.f64 (*.f64 x 1) (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 a b))))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t b))) (sin.f64 (*.f64 t (*.f64 1/8 (*.f64 a b)))))))
46.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (*.f64 (cbrt.f64 (fma.f64 a 1/8 1/16)) (cbrt.f64 (fma.f64 a 1/8 1/16)))) (cbrt.f64 (fma.f64 a 1/8 1/16)))))
45.0b
(*.f64 (*.f64 x 1) (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 t b) (*.f64 a 1/8))) (cos.f64 (*.f64 (*.f64 t b) 1/16))) (*.f64 (sin.f64 (*.f64 (*.f64 t b) (*.f64 a 1/8))) (sin.f64 (*.f64 (*.f64 t b) 1/16)))))
45.6b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))) (cbrt.f64 (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))))) (cbrt.f64 (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
53.8b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))) (sqrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
45.4b
(*.f64 (*.f64 x (*.f64 (cbrt.f64 (cos.f64 (*.f64 t (*.f64 (fma.f64 1/8 a 1/16) b)))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 (fma.f64 1/8 a 1/16) b)))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))))
Compiler

Compiled 2635 to 1920 computations (27.1% saved)

localize7.0ms (0%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) x)
✓0.2b
(*.f64 1/16 (*.f64 t b))
✓28.2b
(cos.f64 (*.f64 1/16 (*.f64 t b)))

series23.0ms (0.1%)

Counts
3 → 16
Calls

3 calls:

15.0ms
(*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) x)
5.0ms
(cos.f64 (*.f64 1/16 (*.f64 t b)))
4.0ms
(*.f64 1/16 (*.f64 t b))

rewrite10.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
10×add-cbrt-cube_binary64
10×add-exp-log_binary64
10×pow1_binary64
8×add-sqr-sqrt_binary64
6×associate-*l*_binary64
Counts
3 → 49
Calls

3 calls:

4.0ms
(*.f64 1/16 (*.f64 t b))
4.0ms
(*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) x)
1.0ms
(cos.f64 (*.f64 1/16 (*.f64 t b)))

simplify75.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
942×fma-neg_binary64
691×fma-def_binary64
589×distribute-rgt-neg-in_binary64
381×cancel-sign-sub-inv_binary64
349×*-commutative_binary64
Counts
65 → 75
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01141084
1260971
2805935
31590921
43403921
54708921
65022921

prune157.0ms (0.9%)

Pruning

49 alts after pruning (48 fresh and 1 done)

PrunedKeptTotal
New611475
Fresh43438
Picked101
Done011
Total6649115
Error
38.9b
Counts
115 → 49
Alt Table
StatusErrorProgram
46.3b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))) (cbrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))) (cbrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
46.4b
(*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 z (*.f64 y 1/8))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
61.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (+.f64 (log.f64 t) (log.f64 b)) (log.f64 (fma.f64 a 1/8 1/16))))))
46.3b
(*.f64 (*.f64 x (cos.f64 (*.f64 1/8 (*.f64 y (*.f64 t z))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
44.6b
(*.f64 (cos.f64 (*.f64 (*.f64 (cbrt.f64 1/16) (cbrt.f64 1/16)) (*.f64 (cbrt.f64 1/16) (*.f64 t b)))) x)
45.4b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 1/16 (*.f64 t b))))
45.2b
(*.f64 (*.f64 x 1) (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b)))) (cbrt.f64 (cos.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b))))) (cbrt.f64 (cos.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b))))))
52.4b
(*.f64 (cos.f64 (*.f64 (sqrt.f64 (*.f64 1/16 (*.f64 t b))) (sqrt.f64 (*.f64 1/16 (*.f64 t b))))) x)
44.5b
(*.f64 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 1/16 (*.f64 t b))) (cbrt.f64 (*.f64 1/16 (*.f64 t b)))) (cbrt.f64 (*.f64 1/16 (*.f64 t b))))) x)
55.6b
(exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))) x)))
46.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 (cbrt.f64 (fma.f64 y 1/8 1/16)) (cbrt.f64 (fma.f64 y 1/8 1/16)))) (cbrt.f64 (fma.f64 y 1/8 1/16))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.1b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 a b))))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t b))) (sin.f64 (*.f64 t (*.f64 1/8 (*.f64 a b)))))))
46.1b
(*.f64 (*.f64 x (cos.f64 (*.f64 z (*.f64 t (fma.f64 y 1/8 1/16))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 a 1/8) (*.f64 t b))) (cos.f64 (*.f64 1/16 (*.f64 t b)))) (*.f64 (sin.f64 (*.f64 (*.f64 a 1/8) (*.f64 t b))) (sin.f64 (*.f64 1/16 (*.f64 t b))))))
45.1b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (*.f64 (cbrt.f64 (fma.f64 1/8 a 1/16)) (cbrt.f64 (fma.f64 1/8 a 1/16)))) (cbrt.f64 (fma.f64 a 1/8 1/16)))))
54.9b
(*.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) (sqrt.f64 x)) (sqrt.f64 x))
52.8b
(*.f64 (cos.f64 (exp.f64 (+.f64 (log.f64 1/16) (log.f64 (*.f64 t b))))) x)
53.5b
(*.f64 (*.f64 x (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))) (sqrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.2b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 1/8 (*.f64 a (*.f64 t b)))))
48.0b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (sqrt.f64 (fma.f64 1/8 a 1/16))) (sqrt.f64 (fma.f64 a 1/8 1/16)))))
53.3b
(*.f64 (*.f64 x (cos.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 (fma.f64 y 1/8 1/16) (fma.f64 y 1/8 1/16)) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.1b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 a b)))))
44.6b
(*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 1/16 (*.f64 t b)))) (cbrt.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))))) (*.f64 (cbrt.f64 (cos.f64 (*.f64 1/16 (*.f64 t b)))) x))
59.9b
(*.f64 (cos.f64 (exp.f64 (+.f64 (log.f64 1/16) (+.f64 (log.f64 t) (log.f64 b))))) x)
46.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))) (cbrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.1b
(*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.8b
(*.f64 (*.f64 x (sqrt.f64 (cos.f64 (*.f64 t (*.f64 (fma.f64 1/8 a 1/16) b))))) (sqrt.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))))
45.8b
(*.f64 (cos.f64 (expm1.f64 (log1p.f64 (*.f64 1/16 (*.f64 t b))))) x)
44.9b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) x)) (cbrt.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) x))) (cbrt.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) x)))
45.4b
(*.f64 (*.f64 x (*.f64 (cbrt.f64 (cos.f64 (*.f64 t (*.f64 (fma.f64 1/8 a 1/16) b)))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 (fma.f64 1/8 a 1/16) b)))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))))
44.6b
(*.f64 (cbrt.f64 (pow.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) 3)) x)
✓44.1b
x
46.1b
(*.f64 (*.f64 x (cbrt.f64 (*.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))) (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
53.7b
(*.f64 (*.f64 x (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.1b
(*.f64 (*.f64 x (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.5b
(*.f64 (*.f64 x (cos.f64 (*.f64 1/16 (*.f64 t z)))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
62.4b
(log.f64 (exp.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) x)))
46.2b
(*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 y 1/8) (*.f64 z t))) (cos.f64 (*.f64 1/16 (*.f64 z t)))) (*.f64 (sin.f64 (*.f64 (*.f64 y 1/8) (*.f64 z t))) (sin.f64 (*.f64 1/16 (*.f64 z t)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
53.8b
(*.f64 (*.f64 x 1) (cos.f64 (exp.f64 (log.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
44.6b
(*.f64 (log.f64 (exp.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))))) x)
56.2b
(exp.f64 (+.f64 (log.f64 (cos.f64 (*.f64 1/16 (*.f64 t b)))) (log.f64 x)))
44.6b
(*.f64 (log1p.f64 (expm1.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))))) x)
45.9b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 a b)))))
45.1b
(*.f64 (*.f64 x 1) (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 a b))))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t b))) (sin.f64 (*.f64 t (*.f64 1/8 (*.f64 a b)))))))
46.0b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (*.f64 (*.f64 t b) (*.f64 (cbrt.f64 (fma.f64 a 1/8 1/16)) (cbrt.f64 (fma.f64 a 1/8 1/16)))) (cbrt.f64 (fma.f64 a 1/8 1/16)))))
45.0b
(*.f64 (*.f64 x 1) (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 t b) (*.f64 a 1/8))) (cos.f64 (*.f64 (*.f64 t b) 1/16))) (*.f64 (sin.f64 (*.f64 (*.f64 t b) (*.f64 a 1/8))) (sin.f64 (*.f64 (*.f64 t b) 1/16)))))
45.6b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))) (cbrt.f64 (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))))) (cbrt.f64 (*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
53.8b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 (sqrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))) (sqrt.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
45.4b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b))) (cbrt.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b)))) (cbrt.f64 (*.f64 (fma.f64 1/8 a 1/16) (*.f64 t b))))))
Compiler

Compiled 2634 to 1790 computations (32% saved)

regimes2.0s (11%)

Accuracy

Total 5.1b remaining (11.3%)

Threshold costs 0b (0%)

Counts
137 → 1
Compiler

Compiled 50696 to 37758 computations (25.5% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
011
111

end708.0ms (3.9%)

Compiler

Compiled 1512 to 1109 computations (26.7% saved)

Profiling

Loading profile data...