Details

Time bar (total: 13.4s)

analyze1.5s (11%)

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)

sample7.7s (57.8%)

Results
3.7s2470×body2048valid
1.8s1993×body1024valid
920.0ms308×body4096valid
566.0ms969×body512valid
475.0ms2092×body128valid
179.0ms424×body256valid
Compiler

Compiled 101 to 80 computations (20.8% saved)

simplify38.0ms (0.3%)

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.7b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶46.2b
(*.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))))
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)))
Compiler

Compiled 174 to 132 computations (24.1% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓1.4b
(*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))
✓2.3b
(*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))
✓35.7b
(cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))
✓36.5b
(cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))

series69.0ms (0.5%)

Counts
4 → 144
Calls

4 calls:

23.0ms
(cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))
22.0ms
(cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16)))
12.0ms
(*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))
11.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 z t) (fma.f64 y 1/8 1/16))
4.0ms
(*.f64 (*.f64 t b) (fma.f64 a 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)))

simplify112.0ms (0.8%)

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 → 148
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03635086
19974318
241074270
353134270

prune333.0ms (2.5%)

Pruning

33 alts after pruning (33 fresh and 0 done)

PrunedKeptTotal
New11533148
Fresh101
Picked101
Done000
Total11733150
Error
41.3b
Counts
150 → 33
Alt Table
StatusErrorProgram
60.4b
(*.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))))))
47.5b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (exp.f64 (log.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
46.2b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
46.9b
(*.f64 (*.f64 x (-.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (*.f64 1/8 (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (*.f64 y (*.f64 t z)))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.3b
(*.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.5b
(*.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)))))))
45.4b
(*.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 (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))))
47.3b
(*.f64 (*.f64 x (cos.f64 (expm1.f64 (log1p.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 (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.2b
(*.f64 (*.f64 x (cbrt.f64 (pow.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))) 3))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.5b
(*.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.2b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) (*.f64 1/8 (*.f64 a (*.f64 t (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t b))) b))))))
51.9b
(*.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.2b
(*.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.8b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 1/16 (*.f64 t b))))
54.7b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 t b)) (log.f64 (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))))
46.8b
(*.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.1b
(*.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))))
49.3b
(*.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)))))
46.2b
(*.f64 (*.f64 x (log1p.f64 (expm1.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))))
47.4b
(*.f64 (*.f64 x (cos.f64 (cbrt.f64 (pow.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))) 3)))) (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)))) (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.2b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) 1)
52.1b
(*.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))))))
46.2b
(*.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))))))
46.2b
(*.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 a 1/8 1/16) (*.f64 t b))) 3)))
53.8b
(*.f64 (*.f64 x (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 z t)) (log.f64 (fma.f64 y 1/8 1/16)))))) (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)))) (-.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))))))
46.1b
(*.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.2b
(*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.3b
(*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (sin.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
Compiler

Compiled 7777 to 5104 computations (34.4% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))))
1.4b
(*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))
35.7b
(cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))

series50.0ms (0.4%)

Counts
1 → 48
Calls

1 calls:

50.0ms
(*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))))

rewrite4.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64
3×associate-*r*_binary64
3×associate-*l*_binary64
3×*-un-lft-identity_binary64
3×add-cube-cbrt_binary64
Counts
1 → 20
Calls

1 calls:

3.0ms
(*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))))

simplify77.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
657×cancel-sign-sub-inv_binary64
480×associate--l+_binary64
367×sub-neg_binary64
339×associate-*r*_binary64
241×distribute-rgt-out_binary64
Counts
68 → 55
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01782301
15342019
221461819
344571819
450021819

prune325.0ms (2.4%)

Pruning

43 alts after pruning (43 fresh and 0 done)

PrunedKeptTotal
New11021131
Fresh102232
Picked101
Done000
Total12143164
Error
39.4b
Counts
164 → 43
Alt Table
StatusErrorProgram
60.4b
(*.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))))))
47.5b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (exp.f64 (log.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
45.8b
(*.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))) (cbrt.f64 x))) 1)
46.2b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
46.3b
(*.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.5b
(*.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)))))))
45.4b
(*.f64 (*.f64 x (cos.f64 (*.f64 1/16 (*.f64 t z)))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
44.4b
(*.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) x) 1)
46.2b
(*.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))))
45.9b
(*.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.4b
(*.f64 (*.f64 x (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 z t)) (log.f64 (fma.f64 y 1/8 1/16)))))) 1)
45.5b
(*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))))) 1)
46.1b
(*.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.5b
(*.f64 (*.f64 x (-.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (*.f64 1/8 (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (*.f64 y (*.f64 t z)))))) 1)
46.2b
(*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.9b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 t z) (*.f64 (cbrt.f64 (fma.f64 1/8 y 1/16)) (cbrt.f64 (fma.f64 1/8 y 1/16)))) (cbrt.f64 (fma.f64 y 1/8 1/16))))) 1)
45.6b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cbrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
45.8b
(*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))) 1)
46.2b
(*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.5b
(*.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.2b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) (*.f64 1/8 (*.f64 a (*.f64 t (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t b))) b))))))
57.7b
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))) x) 3)) 1)
47.1b
(*.f64 (*.f64 x (cos.f64 (cbrt.f64 (pow.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))) 3)))) 1)
45.8b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 1/16 (*.f64 t b))))
▶44.1b
(*.f64 x 1)
46.3b
(*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (sin.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.1b
(*.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)))))) 1)
62.5b
(*.f64 (log.f64 (exp.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
54.7b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 t b)) (log.f64 (fma.f64 a 1/8 1/16))))))
45.2b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))) (cbrt.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))))) 1)
56.1b
(*.f64 (exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))) x))) 1)
46.1b
(*.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))))
49.3b
(*.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)))))
45.5b
(*.f64 (*.f64 (*.f64 x (*.f64 (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))))) 1)
46.1b
(*.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)))))
51.3b
(*.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)))))) 1)
45.5b
(*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (sin.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))))) 1)
51.4b
(*.f64 (expm1.f64 (log1p.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
52.1b
(*.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))))))
46.2b
(*.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))))))
47.1b
(*.f64 (*.f64 x (cos.f64 (expm1.f64 (log1p.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
45.3b
(*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (*.f64 y 1/8))) (cos.f64 (*.f64 (*.f64 z t) 1/16))) (*.f64 (sin.f64 (*.f64 (*.f64 z t) (*.f64 y 1/8))) (sin.f64 (*.f64 (*.f64 z t) 1/16))))) 1)
46.2b
(*.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 a 1/8 1/16) (*.f64 t b))) 3)))
Compiler

Compiled 7177 to 4986 computations (30.5% saved)

localize2.0ms (0%)

prune78.0ms (0.6%)

Pruning

43 alts after pruning (42 fresh and 1 done)

PrunedKeptTotal
New000
Fresh04242
Picked011
Done000
Total04343
Error
39.4b
Counts
43 → 43
Alt Table
StatusErrorProgram
60.4b
(*.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))))))
47.5b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (exp.f64 (log.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
45.8b
(*.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))) (cbrt.f64 x))) 1)
46.2b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
46.3b
(*.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.5b
(*.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)))))))
45.4b
(*.f64 (*.f64 x (cos.f64 (*.f64 1/16 (*.f64 t z)))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
▶44.4b
(*.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) x) 1)
46.2b
(*.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))))
45.9b
(*.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.4b
(*.f64 (*.f64 x (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 z t)) (log.f64 (fma.f64 y 1/8 1/16)))))) 1)
45.5b
(*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))))) 1)
46.1b
(*.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.5b
(*.f64 (*.f64 x (-.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (*.f64 1/8 (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (*.f64 y (*.f64 t z)))))) 1)
46.2b
(*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.9b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 t z) (*.f64 (cbrt.f64 (fma.f64 1/8 y 1/16)) (cbrt.f64 (fma.f64 1/8 y 1/16)))) (cbrt.f64 (fma.f64 y 1/8 1/16))))) 1)
45.6b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cbrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
45.8b
(*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))) 1)
46.2b
(*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
46.5b
(*.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.2b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) (*.f64 1/8 (*.f64 a (*.f64 t (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t b))) b))))))
57.7b
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))) x) 3)) 1)
47.1b
(*.f64 (*.f64 x (cos.f64 (cbrt.f64 (pow.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))) 3)))) 1)
45.8b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (*.f64 1/16 (*.f64 t b))))
✓44.1b
(*.f64 x 1)
46.3b
(*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (sin.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.1b
(*.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)))))) 1)
62.5b
(*.f64 (log.f64 (exp.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
54.7b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 t b)) (log.f64 (fma.f64 a 1/8 1/16))))))
45.2b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))) (cbrt.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))))) 1)
56.1b
(*.f64 (exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))) x))) 1)
46.1b
(*.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))))
49.3b
(*.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)))))
45.5b
(*.f64 (*.f64 (*.f64 x (*.f64 (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))))) 1)
46.1b
(*.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)))))
51.3b
(*.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)))))) 1)
45.5b
(*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (sin.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))))) 1)
51.4b
(*.f64 (expm1.f64 (log1p.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
52.1b
(*.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))))))
46.2b
(*.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))))))
47.1b
(*.f64 (*.f64 x (cos.f64 (expm1.f64 (log1p.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
45.3b
(*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (*.f64 y 1/8))) (cos.f64 (*.f64 (*.f64 z t) 1/16))) (*.f64 (sin.f64 (*.f64 (*.f64 z t) (*.f64 y 1/8))) (sin.f64 (*.f64 (*.f64 z t) 1/16))))) 1)
46.2b
(*.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 a 1/8 1/16) (*.f64 t b))) 3)))
Compiler

Compiled 2819 to 2070 computations (26.6% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 1/16 (*.f64 t z))
✓0.1b
(*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) x)
✓27.2b
(cos.f64 (*.f64 1/16 (*.f64 t z)))

series26.0ms (0.2%)

Counts
3 → 16
Calls

3 calls:

17.0ms
(*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) x)
5.0ms
(*.f64 1/16 (*.f64 t z))
5.0ms
(cos.f64 (*.f64 1/16 (*.f64 t z)))

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:

3.0ms
(*.f64 1/16 (*.f64 t z))
3.0ms
(*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) x)
1.0ms
(cos.f64 (*.f64 1/16 (*.f64 t z)))

simplify84.0ms (0.6%)

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

prune161.0ms (1.2%)

Pruning

49 alts after pruning (48 fresh and 1 done)

PrunedKeptTotal
New641175
Fresh43741
Picked101
Done011
Total6949118
Error
39.1b
Counts
118 → 49
Alt Table
StatusErrorProgram
44.4b
(*.f64 (*.f64 (cos.f64 (*.f64 (*.f64 (cbrt.f64 1/16) (cbrt.f64 1/16)) (*.f64 (cbrt.f64 1/16) (*.f64 t z)))) x) 1)
45.8b
(*.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))) (cbrt.f64 x))) 1)
60.4b
(*.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))))))
47.5b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (exp.f64 (log.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
46.2b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))))
62.3b
(*.f64 (log.f64 (exp.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) x))) 1)
46.3b
(*.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.5b
(*.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)))))))
45.4b
(*.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 (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))))
45.9b
(*.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))))))
44.6b
(*.f64 (*.f64 (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 1/16 (*.f64 t z))) (cbrt.f64 (*.f64 1/16 (*.f64 t z)))) (cbrt.f64 (*.f64 1/16 (*.f64 t z))))) x) 1)
46.1b
(*.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.5b
(*.f64 (*.f64 x (-.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (*.f64 1/8 (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (*.f64 y (*.f64 t z)))))) 1)
46.4b
(*.f64 (*.f64 (cos.f64 (cbrt.f64 (pow.f64 (*.f64 1/16 (*.f64 t z)) 3))) x) 1)
51.0b
(*.f64 (expm1.f64 (log1p.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) x))) 1)
46.2b
(*.f64 (*.f64 x (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.9b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 (*.f64 t z) (*.f64 (cbrt.f64 (fma.f64 1/8 y 1/16)) (cbrt.f64 (fma.f64 1/8 y 1/16)))) (cbrt.f64 (fma.f64 y 1/8 1/16))))) 1)
45.6b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))))) (cbrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) (cbrt.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
45.8b
(*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))) 1)
46.2b
(*.f64 (*.f64 x (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
51.4b
(*.f64 (*.f64 (cos.f64 (exp.f64 (+.f64 (log.f64 1/16) (log.f64 (*.f64 t z))))) x) 1)
59.3b
(*.f64 (*.f64 (cos.f64 (exp.f64 (+.f64 (log.f64 1/16) (+.f64 (log.f64 t) (log.f64 z))))) x) 1)
57.7b
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))) x) 3)) 1)
46.5b
(*.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.2b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (-.f64 (cos.f64 (*.f64 1/16 (*.f64 t b))) (*.f64 1/8 (*.f64 a (*.f64 t (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t b))) b))))))
47.1b
(*.f64 (*.f64 x (cos.f64 (cbrt.f64 (pow.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))) 3)))) 1)
45.8b
(*.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 (exp.f64 (log.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))))) x) 1)
✓44.1b
(*.f64 x 1)
46.3b
(*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (sin.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))))) (cos.f64 (*.f64 (*.f64 t b) (fma.f64 a 1/8 1/16))))
45.1b
(*.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)))))) 1)
44.8b
(*.f64 (*.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) 1)
56.1b
(*.f64 (exp.f64 (log.f64 (*.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16)))) x))) 1)
54.7b
(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))) (cos.f64 (exp.f64 (+.f64 (log.f64 (*.f64 t b)) (log.f64 (fma.f64 a 1/8 1/16))))))
46.1b
(*.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))))
49.3b
(*.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)))))
45.5b
(*.f64 (*.f64 (*.f64 x (*.f64 (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))) (cbrt.f64 (cos.f64 (*.f64 t (*.f64 z (fma.f64 1/8 y 1/16))))))) (cbrt.f64 (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16))))) 1)
44.4b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 1/16 (*.f64 t z)))) (cbrt.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))))) (*.f64 (cbrt.f64 (cos.f64 (*.f64 1/16 (*.f64 t z)))) x)) 1)
46.1b
(*.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)))))
51.3b
(*.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)))))) 1)
45.5b
(*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) (cos.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))) (*.f64 (sin.f64 (*.f64 1/16 (*.f64 t z))) (sin.f64 (*.f64 t (*.f64 1/8 (*.f64 y z))))))) 1)
51.4b
(*.f64 (expm1.f64 (log1p.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
52.1b
(*.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))))))
46.2b
(*.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))))))
47.1b
(*.f64 (*.f64 x (cos.f64 (expm1.f64 (log1p.f64 (*.f64 (*.f64 z t) (fma.f64 y 1/8 1/16)))))) 1)
45.3b
(*.f64 (*.f64 x (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 z t) (*.f64 y 1/8))) (cos.f64 (*.f64 (*.f64 z t) 1/16))) (*.f64 (sin.f64 (*.f64 (*.f64 z t) (*.f64 y 1/8))) (sin.f64 (*.f64 (*.f64 z t) 1/16))))) 1)
44.8b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) x)) (cbrt.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) x))) (cbrt.f64 (*.f64 (cos.f64 (*.f64 1/16 (*.f64 t z))) x))) 1)
46.2b
(*.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 a 1/8 1/16) (*.f64 t b))) 3)))
Compiler

Compiled 2818 to 1974 computations (30% saved)

regimes2.0s (15.1%)

Accuracy

Total 5.0b remaining (11.2%)

Threshold costs 0b (0%)

Counts
141 → 1
Compiler

Compiled 54219 to 40384 computations (25.5% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
1×*-commutative_binary64
1×*-rgt-identity_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
041
171
261

end735.0ms (5.5%)

Compiler

Compiled 1546 to 1143 computations (26.1% saved)

Profiling

Loading profile data...