Details

Time bar (total: 3.9s)

analyze627.0ms (16%)

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
0%99.9%0.1%5
0%99.9%0.1%6
25%74.9%0.1%7
37.4%62.4%0.1%8
37.4%62.4%0.1%9
56.2%43.7%0.1%10
65.5%34.3%0.1%11
65.5%34.3%0.1%12
76.5%23.4%0.1%13
81.9%17.9%0.1%14
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample2.3s (57.7%)

Results
940.0ms1336×body1024valid
929.0ms5887×body128valid
272.0ms688×body512valid
98.0ms340×body256valid
6.0ms5×body2048valid
Compiler

Compiled 26 to 18 computations (30.8% saved)

preprocess18.0ms (0.4%)

Algorithm
2×egg-herbie
Rules
24×fma-def_binary64
18×+-commutative_binary64
12×associate-+r+_binary64
12×associate-+l+_binary64
4×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02256
14248
27848
310248
033
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
1
2
Outputs
0
1
2
Call 2
Inputs
(+.f64 (+.f64 x (sin.f64 y)) (*.f64 z (cos.f64 y)))
(+.f64 (+.f64 y (sin.f64 x)) (*.f64 z (cos.f64 x)))
(+.f64 (+.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y)))
(+.f64 (+.f64 x (sin.f64 z)) (*.f64 y (cos.f64 z)))
Outputs
(+.f64 (+.f64 x (sin.f64 y)) (*.f64 z (cos.f64 y)))
(+.f64 x (+.f64 (sin.f64 y) (*.f64 z (cos.f64 y))))
(fma.f64 z (cos.f64 y) (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (+.f64 y (sin.f64 x)) (*.f64 z (cos.f64 x)))
(fma.f64 z (cos.f64 x) (+.f64 y (sin.f64 x)))
(+.f64 (sin.f64 x) (fma.f64 z (cos.f64 x) y))
(+.f64 (+.f64 z (sin.f64 y)) (*.f64 x (cos.f64 y)))
(+.f64 (+.f64 (sin.f64 y) z) (*.f64 x (cos.f64 y)))
(fma.f64 x (cos.f64 y) (+.f64 (sin.f64 y) z))
(+.f64 (sin.f64 y) (fma.f64 x (cos.f64 y) z))
(+.f64 (+.f64 x (sin.f64 z)) (*.f64 y (cos.f64 z)))
(fma.f64 y (cos.f64 z) (+.f64 x (sin.f64 z)))
(+.f64 (sin.f64 z) (fma.f64 y (cos.f64 z) x))
Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify6.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
6×fma-def_binary64
5×+-commutative_binary64
3×associate-+r+_binary64
3×associate-+l+_binary64
1×*-commutative_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0914
11412
22312
32912
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 (+.f64 x (sin.f64 y)) (*.f64 z (cos.f64 y)))
Outputs
(+.f64 (+.f64 x (sin.f64 y)) (*.f64 z (cos.f64 y)))
(+.f64 x (+.f64 (sin.f64 y) (*.f64 z (cos.f64 y))))
(fma.f64 z (cos.f64 y) (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.1b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.1b
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
Compiler

Compiled 42 to 24 computations (42.9% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(cos.f64 y)
✓0.0b
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
✓0.1b
(fma.f64 z (cos.f64 y) x)

series10.0ms (0.2%)

Counts
3 → 76
Calls

21 calls:

TimeVariablePointExpression
1.0ms
y
@0
(fma.f64 z (cos.f64 y) x)
1.0ms
z
@0
(fma.f64 z (cos.f64 y) x)
1.0ms
y
@-inf
(fma.f64 z (cos.f64 y) x)
1.0ms
z
@0
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
1.0ms
z
@inf
(fma.f64 z (cos.f64 y) x)

rewrite48.0ms (1.2%)

Algorithm
1×batch-egg-rewrite
Rules
843×log1p-expm1-u_binary64
843×expm1-log1p-u_binary64
90×add-sqr-sqrt_binary64
89×*-un-lft-identity_binary64
89×pow1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0822
116722
2222622
Stop Event
1×node limit
Counts
3 → 76
Calls
Call 1
Inputs
(fma.f64 z (cos.f64 y) x)
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(cos.f64 y)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 x (*.f64 z (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z (cos.f64 y)) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 z (cos.f64 y)) 1) x)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 z (cos.f64 y) x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 z (cos.f64 y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 z (cos.f64 y) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 z (cos.f64 y) x)) (pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 y) x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 y) x)) 2) (cbrt.f64 (fma.f64 z (cos.f64 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 z (cos.f64 y) x)) (sqrt.f64 (fma.f64 z (cos.f64 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 z (cos.f64 y)) 3) (pow.f64 x 3)) (+.f64 (*.f64 (*.f64 z (cos.f64 y)) (*.f64 z (cos.f64 y))) (-.f64 (*.f64 x x) (*.f64 (*.f64 z (cos.f64 y)) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 z (cos.f64 y)) (*.f64 z (cos.f64 y))) (*.f64 x x)) (-.f64 (*.f64 z (cos.f64 y)) x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 z (cos.f64 y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 y) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 z (cos.f64 y) x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 z (cos.f64 y) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 z (cos.f64 y) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 z (cos.f64 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 z (cos.f64 y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 z (cos.f64 y) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 z (cos.f64 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 z (cos.f64 y) x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 z (cos.f64 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 z (cos.f64 y) x)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (sin.f64 y) 2) (-.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))) (/.f64 (pow.f64 (fma.f64 z (cos.f64 y) x) 2) (-.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y))) (pow.f64 (cbrt.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y))) 2) (cbrt.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y))) (sqrt.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (sin.f64 y) 3) (pow.f64 (fma.f64 z (cos.f64 y) x) 3)) (/.f64 1 (+.f64 (pow.f64 (sin.f64 y) 2) (*.f64 (fma.f64 z (cos.f64 y) x) (-.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 (fma.f64 z (cos.f64 y) x) 2)) (/.f64 1 (-.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (sin.f64 y) 2) (*.f64 (fma.f64 z (cos.f64 y) x) (-.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y)))) (+.f64 (pow.f64 (sin.f64 y) 3) (pow.f64 (fma.f64 z (cos.f64 y) x) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x)) (-.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 (fma.f64 z (cos.f64 y) x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (sin.f64 y) 3) (pow.f64 (fma.f64 z (cos.f64 y) x) 3)) (+.f64 (pow.f64 (sin.f64 y) 2) (*.f64 (fma.f64 z (cos.f64 y) x) (-.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (sin.f64 y) 3) (pow.f64 (fma.f64 z (cos.f64 y) x) 3)) (+.f64 (pow.f64 (fma.f64 z (cos.f64 y) x) 2) (-.f64 (pow.f64 (sin.f64 y) 2) (*.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 (fma.f64 z (cos.f64 y) x) 2)) (-.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (sin.f64 y) 3) (pow.f64 (fma.f64 z (cos.f64 y) x) 3))) (neg.f64 (+.f64 (pow.f64 (sin.f64 y) 2) (*.f64 (fma.f64 z (cos.f64 y) x) (-.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 (fma.f64 z (cos.f64 y) x) 2))) (neg.f64 (-.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 z (cos.f64 y) x) 2) (pow.f64 (sin.f64 y) 2)) (-.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 z (cos.f64 y) x) (sin.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (sin.f64 y) (fma.f64 z (cos.f64 y) x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 y) x)) 2) (cbrt.f64 (fma.f64 z (cos.f64 y) x)) (sin.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (sin.f64 y)) 2) (cbrt.f64 (sin.f64 y)) (fma.f64 z (cos.f64 y) x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 z (cos.f64 y) x)) (sqrt.f64 (fma.f64 z (cos.f64 y) x)) (sin.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (sin.f64 y)) (sqrt.f64 (sin.f64 y)) (fma.f64 z (cos.f64 y) x))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 (fma.f64 z (cos.f64 y) x) (sin.f64 y))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cos.f64 y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cos.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cos.f64 y)) (pow.f64 (cbrt.f64 (cos.f64 y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cos.f64 y)) 2) (cbrt.f64 (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cos.f64 y)) (sqrt.f64 (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 y) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 y)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 y)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 y) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cos.f64 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 y)))))))

simplify42.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
456×sub-neg_binary64
445×fma-neg_binary64
235×associate-+l+_binary64
206×*-commutative_binary64
199×distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
049740
1139731
2430715
31727713
44450713
Stop Event
1×node limit
Counts
152 → 107
Calls
Call 1
Inputs
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 z x)
(-.f64 (+.f64 z x) (*.f64 1/2 (*.f64 (pow.f64 y 2) z)))
(-.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 y 4) z)) (+.f64 z x)) (*.f64 1/2 (*.f64 (pow.f64 y 2) z)))
(-.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 y 4) z)) (+.f64 z x)) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) z)) (*.f64 1/720 (*.f64 (pow.f64 y 6) z))))
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 z x)
(+.f64 y (+.f64 z x))
(-.f64 (+.f64 y (+.f64 z x)) (*.f64 1/2 (*.f64 (pow.f64 y 2) z)))
(-.f64 (+.f64 y (+.f64 z x)) (+.f64 (*.f64 1/6 (pow.f64 y 3)) (*.f64 1/2 (*.f64 (pow.f64 y 2) z))))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) x)
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(*.f64 (cos.f64 y) z)
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(*.f64 (cos.f64 y) z)
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (*.f64 (cos.f64 y) z))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
x
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
x
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
1
(-.f64 1 (*.f64 1/2 (pow.f64 y 2)))
(-.f64 (+.f64 1 (*.f64 1/24 (pow.f64 y 4))) (*.f64 1/2 (pow.f64 y 2)))
(-.f64 (+.f64 1 (*.f64 1/24 (pow.f64 y 4))) (+.f64 (*.f64 1/2 (pow.f64 y 2)) (*.f64 1/720 (pow.f64 y 6))))
Outputs
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 z x)
(+.f64 x z)
(-.f64 (+.f64 z x) (*.f64 1/2 (*.f64 (pow.f64 y 2) z)))
(+.f64 z (-.f64 x (*.f64 1/2 (*.f64 z (*.f64 y y)))))
(+.f64 x (-.f64 z (*.f64 z (*.f64 1/2 (*.f64 y y)))))
(+.f64 x (*.f64 (fma.f64 (*.f64 y y) -1/2 1) z))
(fma.f64 (*.f64 y (*.f64 y z)) -1/2 (+.f64 x z))
(-.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 y 4) z)) (+.f64 z x)) (*.f64 1/2 (*.f64 (pow.f64 y 2) z)))
(+.f64 (fma.f64 1/24 (*.f64 z (pow.f64 y 4)) (+.f64 x z)) (*.f64 -1/2 (*.f64 z (*.f64 y y))))
(+.f64 (fma.f64 1/24 (*.f64 z (pow.f64 y 4)) (+.f64 x z)) (*.f64 (*.f64 z (*.f64 y y)) -1/2))
(fma.f64 (*.f64 y (*.f64 y z)) -1/2 (fma.f64 (fma.f64 1/24 (pow.f64 y 4) 1) z x))
(+.f64 x (*.f64 z (fma.f64 (*.f64 y y) -1/2 (fma.f64 1/24 (pow.f64 y 4) 1))))
(-.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 y 4) z)) (+.f64 z x)) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) z)) (*.f64 1/720 (*.f64 (pow.f64 y 6) z))))
(-.f64 (fma.f64 1/24 (*.f64 z (pow.f64 y 4)) (+.f64 x z)) (fma.f64 1/2 (*.f64 z (*.f64 y y)) (*.f64 1/720 (*.f64 z (pow.f64 y 6)))))
(+.f64 (*.f64 (fma.f64 1/24 (pow.f64 y 4) 1) z) (-.f64 x (*.f64 z (fma.f64 1/2 (*.f64 y y) (*.f64 1/720 (pow.f64 y 6))))))
(+.f64 (+.f64 x z) (*.f64 z (fma.f64 1/24 (pow.f64 y 4) (fma.f64 (*.f64 y y) -1/2 (*.f64 (pow.f64 y 6) -1/720)))))
(+.f64 x (*.f64 z (+.f64 (fma.f64 (*.f64 y y) -1/2 (fma.f64 1/24 (pow.f64 y 4) 1)) (*.f64 (pow.f64 y 6) -1/720))))
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 z x)
(+.f64 x z)
(+.f64 y (+.f64 z x))
(+.f64 y (+.f64 x z))
(+.f64 x (+.f64 y z))
(+.f64 z (+.f64 x y))
(-.f64 (+.f64 y (+.f64 z x)) (*.f64 1/2 (*.f64 (pow.f64 y 2) z)))
(+.f64 y (+.f64 z (-.f64 x (*.f64 1/2 (*.f64 z (*.f64 y y))))))
(+.f64 (+.f64 x z) (-.f64 y (*.f64 z (*.f64 1/2 (*.f64 y y)))))
(fma.f64 (*.f64 y (*.f64 y z)) -1/2 (+.f64 x (+.f64 y z)))
(+.f64 y (fma.f64 (*.f64 y (*.f64 y z)) -1/2 (+.f64 x z)))
(-.f64 (+.f64 y (+.f64 z x)) (+.f64 (*.f64 1/6 (pow.f64 y 3)) (*.f64 1/2 (*.f64 (pow.f64 y 2) z))))
(-.f64 (+.f64 y (+.f64 x z)) (fma.f64 1/6 (pow.f64 y 3) (*.f64 1/2 (*.f64 z (*.f64 y y)))))
(+.f64 y (-.f64 (+.f64 x z) (fma.f64 1/2 (*.f64 z (*.f64 y y)) (*.f64 1/6 (pow.f64 y 3)))))
(+.f64 x (-.f64 (+.f64 y z) (*.f64 (*.f64 y y) (+.f64 (*.f64 z 1/2) (*.f64 y 1/6)))))
(+.f64 x (+.f64 y (fma.f64 (fma.f64 (*.f64 y y) -1/2 1) z (*.f64 (pow.f64 y 3) -1/6))))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) x)
(+.f64 x (sin.f64 y))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(*.f64 (cos.f64 y) z)
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(*.f64 (cos.f64 y) z)
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (*.f64 (cos.f64 y) z))
(+.f64 (*.f64 (cos.f64 y) z) (sin.f64 y))
(fma.f64 (cos.f64 y) z (sin.f64 y))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
x
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
x
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (fma.f64 (cos.f64 y) z x) (sin.f64 y))
(+.f64 x (fma.f64 (cos.f64 y) z (sin.f64 y)))
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
1
(-.f64 1 (*.f64 1/2 (pow.f64 y 2)))
(-.f64 1 (*.f64 1/2 (*.f64 y y)))
(fma.f64 (*.f64 y y) -1/2 1)
(-.f64 (+.f64 1 (*.f64 1/24 (pow.f64 y 4))) (*.f64 1/2 (pow.f64 y 2)))
(+.f64 1 (-.f64 (*.f64 1/24 (pow.f64 y 4)) (*.f64 1/2 (*.f64 y y))))
(+.f64 (fma.f64 1/24 (pow.f64 y 4) 1) (*.f64 (*.f64 y y) -1/2))
(fma.f64 (*.f64 y y) -1/2 (fma.f64 1/24 (pow.f64 y 4) 1))
(-.f64 (+.f64 1 (*.f64 1/24 (pow.f64 y 4))) (+.f64 (*.f64 1/2 (pow.f64 y 2)) (*.f64 1/720 (pow.f64 y 6))))
(-.f64 (+.f64 1 (*.f64 1/24 (pow.f64 y 4))) (fma.f64 1/2 (*.f64 y y) (*.f64 1/720 (pow.f64 y 6))))
(-.f64 (fma.f64 1/24 (pow.f64 y 4) 1) (fma.f64 1/2 (*.f64 y y) (*.f64 1/720 (pow.f64 y 6))))
(+.f64 (fma.f64 1/24 (pow.f64 y 4) 1) (fma.f64 (*.f64 y y) -1/2 (*.f64 (pow.f64 y 6) -1/720)))
(+.f64 (fma.f64 (*.f64 y y) -1/2 (fma.f64 1/24 (pow.f64 y 4) 1)) (*.f64 (pow.f64 y 6) -1/720))

prune65.0ms (1.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New998107
Fresh000
Picked101
Done000
Total1008108
Error
0.0b
Counts
108 → 8
Alt Table
StatusErrorProgram
0.1b
(+.f64 (sin.f64 y) (fma.f64 z (expm1.f64 (log1p.f64 (cos.f64 y))) x))
▶0.1b
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
0.1b
(+.f64 (sin.f64 y) (fma.f64 z (log1p.f64 (expm1.f64 (cos.f64 y))) x))
0.1b
(+.f64 (sin.f64 y) (fma.f64 z (cbrt.f64 (pow.f64 (cos.f64 y) 3)) x))
0.2b
(+.f64 (sin.f64 y) (fma.f64 z (-.f64 (exp.f64 (log1p.f64 (cos.f64 y))) 1) x))
31.1b
(*.f64 (-.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 (fma.f64 z (cos.f64 y) x) 2)) (/.f64 1 (-.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))))
31.5b
(+.f64 (sin.f64 y) (pow.f64 (sqrt.f64 (fma.f64 z (cos.f64 y) x)) 2))
1.2b
(+.f64 (sin.f64 y) (pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 y) x)) 3))
Compiler

Compiled 1742 to 688 computations (60.5% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(cos.f64 y)
✓0.1b
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))

series4.0ms (0.1%)

Counts
1 → 36
Calls

9 calls:

TimeVariablePointExpression
1.0ms
y
@inf
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
0.0ms
y
@-inf
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
0.0ms
y
@0
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
0.0ms
z
@-inf
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
0.0ms
z
@0
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))

rewrite37.0ms (1%)

Algorithm
1×batch-egg-rewrite
Rules
838×log1p-expm1-u_binary64
838×expm1-log1p-u_binary64
90×add-sqr-sqrt_binary64
89×*-un-lft-identity_binary64
89×pow1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0812
116712
2221812
Stop Event
1×node limit
Counts
1 → 25
Calls
Call 1
Inputs
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x (sin.f64 y)) (*.f64 (cos.f64 y) z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 y) z) (+.f64 x (sin.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (cos.f64 y) z) 1) (+.f64 x (sin.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (cos.f64 y) z) x) (sin.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (cos.f64 y) z) (sin.f64 y)) x)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))) (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))) 2) (cbrt.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))) (sqrt.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 (cos.f64 y) z) 3) (pow.f64 (+.f64 x (sin.f64 y)) 3)) (+.f64 (*.f64 (*.f64 (cos.f64 y) z) (*.f64 (cos.f64 y) z)) (-.f64 (pow.f64 (+.f64 x (sin.f64 y)) 2) (*.f64 (*.f64 (cos.f64 y) z) (+.f64 x (sin.f64 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 (cos.f64 y) z) (*.f64 (cos.f64 y) z)) (pow.f64 (+.f64 x (sin.f64 y)) 2)) (-.f64 (*.f64 (cos.f64 y) z) (+.f64 x (sin.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))))))))

simplify41.0ms (1%)

Algorithm
1×egg-herbie
Rules
359×fma-def_binary64
335×distribute-rgt-neg-in_binary64
305×cancel-sign-sub-inv_binary64
294×distribute-lft-neg-in_binary64
193×associate-*l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
025399
169397
2197394
3686392
42559392
54929392
Stop Event
1×node limit
Counts
61 → 41
Calls
Call 1
Inputs
(+.f64 z x)
(+.f64 y (+.f64 z x))
(-.f64 (+.f64 y (+.f64 z x)) (*.f64 1/2 (*.f64 (pow.f64 y 2) z)))
(-.f64 (+.f64 y (+.f64 z x)) (+.f64 (*.f64 1/6 (pow.f64 y 3)) (*.f64 1/2 (*.f64 (pow.f64 y 2) z))))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) x)
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(*.f64 (cos.f64 y) z)
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(*.f64 (cos.f64 y) z)
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (*.f64 (cos.f64 y) z))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
x
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
x
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
Outputs
(+.f64 z x)
(+.f64 y (+.f64 z x))
(+.f64 (+.f64 z x) y)
(+.f64 x (+.f64 z y))
(+.f64 z (+.f64 x y))
(-.f64 (+.f64 y (+.f64 z x)) (*.f64 1/2 (*.f64 (pow.f64 y 2) z)))
(+.f64 y (-.f64 (+.f64 z x) (*.f64 1/2 (*.f64 z (*.f64 y y)))))
(-.f64 (+.f64 (+.f64 z x) y) (*.f64 z (*.f64 1/2 (*.f64 y y))))
(fma.f64 (*.f64 z (*.f64 y y)) -1/2 (+.f64 (+.f64 z x) y))
(+.f64 z (+.f64 x (fma.f64 y (*.f64 y (*.f64 z -1/2)) y)))
(+.f64 z (fma.f64 y (*.f64 -1/2 (*.f64 z y)) (+.f64 x y)))
(-.f64 (+.f64 y (+.f64 z x)) (+.f64 (*.f64 1/6 (pow.f64 y 3)) (*.f64 1/2 (*.f64 (pow.f64 y 2) z))))
(-.f64 (+.f64 (+.f64 z x) y) (fma.f64 1/6 (pow.f64 y 3) (*.f64 1/2 (*.f64 z (*.f64 y y)))))
(+.f64 (+.f64 z x) (-.f64 y (fma.f64 1/2 (*.f64 z (*.f64 y y)) (*.f64 1/6 (pow.f64 y 3)))))
(+.f64 z (-.f64 (+.f64 x y) (*.f64 (*.f64 y y) (+.f64 (*.f64 z 1/2) (*.f64 y 1/6)))))
(+.f64 z (-.f64 x (fma.f64 (*.f64 y y) (fma.f64 z 1/2 (*.f64 y 1/6)) (neg.f64 y))))
(-.f64 x (-.f64 (*.f64 (*.f64 y y) (fma.f64 z 1/2 (*.f64 y 1/6))) (+.f64 z y)))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) x)
(+.f64 x (sin.f64 y))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(*.f64 (cos.f64 y) z)
(*.f64 z (cos.f64 y))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(*.f64 (cos.f64 y) z)
(*.f64 z (cos.f64 y))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (*.f64 (cos.f64 y) z))
(+.f64 (sin.f64 y) (*.f64 z (cos.f64 y)))
(fma.f64 z (cos.f64 y) (sin.f64 y))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
x
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
x
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))
(+.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) z) x))
(+.f64 (sin.f64 y) (fma.f64 (cos.f64 y) z x))
(+.f64 x (fma.f64 z (cos.f64 y) (sin.f64 y)))
(+.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))

prune55.0ms (1.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New66066
Fresh077
Picked011
Done000
Total66874
Error
0.0b
Counts
74 → 8
Alt Table
StatusErrorProgram
0.1b
(+.f64 (sin.f64 y) (fma.f64 z (expm1.f64 (log1p.f64 (cos.f64 y))) x))
✓0.1b
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
▶0.1b
(+.f64 (sin.f64 y) (fma.f64 z (log1p.f64 (expm1.f64 (cos.f64 y))) x))
0.1b
(+.f64 (sin.f64 y) (fma.f64 z (cbrt.f64 (pow.f64 (cos.f64 y) 3)) x))
0.2b
(+.f64 (sin.f64 y) (fma.f64 z (-.f64 (exp.f64 (log1p.f64 (cos.f64 y))) 1) x))
31.1b
(*.f64 (-.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 (fma.f64 z (cos.f64 y) x) 2)) (/.f64 1 (-.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))))
31.5b
(+.f64 (sin.f64 y) (pow.f64 (sqrt.f64 (fma.f64 z (cos.f64 y) x)) 2))
1.2b
(+.f64 (sin.f64 y) (pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 y) x)) 3))
Compiler

Compiled 1009 to 404 computations (60% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(cos.f64 y)
✓0.1b
(fma.f64 z (log1p.f64 (expm1.f64 (cos.f64 y))) x)
✓0.1b
(log1p.f64 (expm1.f64 (cos.f64 y)))
✓0.6b
(expm1.f64 (cos.f64 y))

series5.0ms (0.1%)

Counts
3 → 60
Calls

15 calls:

TimeVariablePointExpression
1.0ms
y
@0
(expm1.f64 (cos.f64 y))
0.0ms
y
@inf
(expm1.f64 (cos.f64 y))
0.0ms
y
@-inf
(expm1.f64 (cos.f64 y))
0.0ms
y
@0
(log1p.f64 (expm1.f64 (cos.f64 y)))
0.0ms
y
@0
(fma.f64 z (log1p.f64 (expm1.f64 (cos.f64 y))) x)

rewrite46.0ms (1.2%)

Algorithm
1×batch-egg-rewrite
Rules
647×pow1_binary64
592×expm1-log1p-u_binary64
591×add-log-exp_binary64
591×log1p-expm1-u_binary64
69×*-un-lft-identity_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
113915
2158715
Stop Event
1×node limit
Counts
3 → 57
Calls
Call 1
Inputs
(expm1.f64 (cos.f64 y))
(log1p.f64 (expm1.f64 (cos.f64 y)))
(fma.f64 z (log1p.f64 (expm1.f64 (cos.f64 y))) x)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (cos.f64 y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (cos.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (expm1.f64 (cos.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (expm1.f64 (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (expm1.f64 (cos.f64 y))) (pow.f64 (cbrt.f64 (expm1.f64 (cos.f64 y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (expm1.f64 (cos.f64 y))) 2) (cbrt.f64 (expm1.f64 (cos.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (expm1.f64 (cos.f64 y))) (sqrt.f64 (expm1.f64 (cos.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (exp.f64 (cos.f64 y)) 3) 1) (+.f64 (*.f64 (exp.f64 (cos.f64 y)) (exp.f64 (cos.f64 y))) (+.f64 1 (*.f64 (exp.f64 (cos.f64 y)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (exp.f64 (cos.f64 y)) (exp.f64 (cos.f64 y))) 1) (+.f64 (exp.f64 (cos.f64 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (expm1.f64 (cos.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (expm1.f64 (cos.f64 y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (expm1.f64 (cos.f64 y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (expm1.f64 (cos.f64 y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (expm1.f64 (cos.f64 y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (expm1.f64 (cos.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (expm1.f64 (cos.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (expm1.f64 (cos.f64 y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (expm1.f64 (cos.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (expm1.f64 (cos.f64 y))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cos.f64 y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cos.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cos.f64 y)) (pow.f64 (cbrt.f64 (cos.f64 y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cos.f64 y)) 2) (cbrt.f64 (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cos.f64 y)) (sqrt.f64 (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 y) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 y)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 y)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 y) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cos.f64 y)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 y)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 x (*.f64 (cos.f64 y) z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 y) z) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (cos.f64 y) z) 1) x)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 z (cos.f64 y) x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 z (cos.f64 y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 z (cos.f64 y) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 z (cos.f64 y) x)) (pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 y) x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 y) x)) 2) (cbrt.f64 (fma.f64 z (cos.f64 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 z (cos.f64 y) x)) (sqrt.f64 (fma.f64 z (cos.f64 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 (cos.f64 y) z) 3) (pow.f64 x 3)) (+.f64 (*.f64 (*.f64 (cos.f64 y) z) (*.f64 (cos.f64 y) z)) (-.f64 (*.f64 x x) (*.f64 (*.f64 (cos.f64 y) z) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 (cos.f64 y) z) (*.f64 (cos.f64 y) z)) (*.f64 x x)) (-.f64 (*.f64 (cos.f64 y) z) x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 z (cos.f64 y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 z (cos.f64 y) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 y) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 z (cos.f64 y) x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 z (cos.f64 y) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 z (cos.f64 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 z (cos.f64 y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 z (cos.f64 y) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 z (cos.f64 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 z (cos.f64 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 z (cos.f64 y) x)))))))

simplify39.0ms (1%)

Algorithm
1×egg-herbie
Rules
578×fma-neg_binary64
551×sub-neg_binary64
234×*-commutative_binary64
222×associate-+l-_binary64
219×associate-+l+_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
056493
1160482
2477462
31844455
44595455
Stop Event
1×node limit
Counts
117 → 84
Calls
Call 1
Inputs
(-.f64 (E.f64) 1)
(-.f64 (E.f64) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (E.f64))) 1))
(-.f64 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 4) (E.f64))) (E.f64)) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (E.f64))) 1))
(-.f64 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 4) (E.f64))) (E.f64)) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (E.f64))) (+.f64 1 (*.f64 31/720 (*.f64 (pow.f64 y 6) (E.f64))))))
(-.f64 (exp.f64 (cos.f64 y)) 1)
(-.f64 (exp.f64 (cos.f64 y)) 1)
(-.f64 (exp.f64 (cos.f64 y)) 1)
(-.f64 (exp.f64 (cos.f64 y)) 1)
(-.f64 (exp.f64 (cos.f64 y)) 1)
(-.f64 (exp.f64 (cos.f64 y)) 1)
(-.f64 (exp.f64 (cos.f64 y)) 1)
(-.f64 (exp.f64 (cos.f64 y)) 1)
1
(-.f64 1 (*.f64 1/2 (pow.f64 y 2)))
(-.f64 (+.f64 1 (*.f64 1/24 (pow.f64 y 4))) (*.f64 1/2 (pow.f64 y 2)))
(-.f64 (+.f64 1 (*.f64 1/24 (pow.f64 y 4))) (+.f64 (*.f64 1/2 (pow.f64 y 2)) (*.f64 1/720 (pow.f64 y 6))))
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 z x)
(-.f64 (+.f64 z x) (*.f64 1/2 (*.f64 (pow.f64 y 2) z)))
(-.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 y 4) z)) (+.f64 z x)) (*.f64 1/2 (*.f64 (pow.f64 y 2) z)))
(-.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 y 4) z)) (+.f64 z x)) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) z)) (*.f64 1/720 (*.f64 (pow.f64 y 6) z))))
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
Outputs
(-.f64 (E.f64) 1)
(+.f64 (E.f64) -1)
(expm1.f64 1)
(-.f64 (E.f64) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (E.f64))) 1))
(-.f64 (E.f64) (fma.f64 1/2 (*.f64 (E.f64) (*.f64 y y)) 1))
(+.f64 -1 (*.f64 (fma.f64 (*.f64 y y) -1/2 1) (E.f64)))
(fma.f64 (fma.f64 (*.f64 y y) -1/2 1) (E.f64) -1)
(-.f64 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 4) (E.f64))) (E.f64)) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (E.f64))) 1))
(-.f64 (fma.f64 1/6 (*.f64 (E.f64) (pow.f64 y 4)) (E.f64)) (fma.f64 1/2 (*.f64 (E.f64) (*.f64 y y)) 1))
(+.f64 -1 (*.f64 (E.f64) (-.f64 (fma.f64 1/6 (pow.f64 y 4) 1) (*.f64 1/2 (*.f64 y y)))))
(fma.f64 (E.f64) (+.f64 (*.f64 1/6 (pow.f64 y 4)) (fma.f64 (*.f64 y y) -1/2 1)) -1)
(-.f64 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 4) (E.f64))) (E.f64)) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (E.f64))) (+.f64 1 (*.f64 31/720 (*.f64 (pow.f64 y 6) (E.f64))))))
(-.f64 (fma.f64 1/6 (*.f64 (E.f64) (pow.f64 y 4)) (E.f64)) (+.f64 (fma.f64 1/2 (*.f64 (E.f64) (*.f64 y y)) 1) (*.f64 31/720 (*.f64 (E.f64) (pow.f64 y 6)))))
(-.f64 (fma.f64 1/6 (*.f64 (E.f64) (pow.f64 y 4)) (E.f64)) (fma.f64 1/2 (*.f64 (E.f64) (*.f64 y y)) (fma.f64 31/720 (*.f64 (E.f64) (pow.f64 y 6)) 1)))
(-.f64 (*.f64 (E.f64) (-.f64 (fma.f64 1/6 (pow.f64 y 4) 1) (*.f64 1/2 (*.f64 y y)))) (fma.f64 (E.f64) (*.f64 31/720 (pow.f64 y 6)) 1))
(+.f64 -1 (*.f64 (E.f64) (-.f64 (+.f64 (*.f64 1/6 (pow.f64 y 4)) (fma.f64 (*.f64 y y) -1/2 1)) (*.f64 31/720 (pow.f64 y 6)))))
(+.f64 -1 (*.f64 (E.f64) (+.f64 (+.f64 (*.f64 1/6 (pow.f64 y 4)) (fma.f64 (*.f64 y y) -1/2 1)) (*.f64 (pow.f64 y 6) -31/720))))
(-.f64 (exp.f64 (cos.f64 y)) 1)
(expm1.f64 (cos.f64 y))
(-.f64 (exp.f64 (cos.f64 y)) 1)
(expm1.f64 (cos.f64 y))
(-.f64 (exp.f64 (cos.f64 y)) 1)
(expm1.f64 (cos.f64 y))
(-.f64 (exp.f64 (cos.f64 y)) 1)
(expm1.f64 (cos.f64 y))
(-.f64 (exp.f64 (cos.f64 y)) 1)
(expm1.f64 (cos.f64 y))
(-.f64 (exp.f64 (cos.f64 y)) 1)
(expm1.f64 (cos.f64 y))
(-.f64 (exp.f64 (cos.f64 y)) 1)
(expm1.f64 (cos.f64 y))
(-.f64 (exp.f64 (cos.f64 y)) 1)
(expm1.f64 (cos.f64 y))
1
(-.f64 1 (*.f64 1/2 (pow.f64 y 2)))
(+.f64 1 (*.f64 -1/2 (*.f64 y y)))
(+.f64 1 (*.f64 (*.f64 y y) -1/2))
(fma.f64 (*.f64 y y) -1/2 1)
(-.f64 (+.f64 1 (*.f64 1/24 (pow.f64 y 4))) (*.f64 1/2 (pow.f64 y 2)))
(+.f64 1 (-.f64 (*.f64 (pow.f64 y 4) 1/24) (*.f64 1/2 (*.f64 y y))))
(+.f64 1 (fma.f64 (pow.f64 y 4) 1/24 (*.f64 (*.f64 y y) -1/2)))
(fma.f64 (pow.f64 y 4) 1/24 (fma.f64 (*.f64 y y) -1/2 1))
(-.f64 (+.f64 1 (*.f64 1/24 (pow.f64 y 4))) (+.f64 (*.f64 1/2 (pow.f64 y 2)) (*.f64 1/720 (pow.f64 y 6))))
(-.f64 (+.f64 1 (*.f64 (pow.f64 y 4) 1/24)) (fma.f64 1/2 (*.f64 y y) (*.f64 (pow.f64 y 6) 1/720)))
(-.f64 (fma.f64 (pow.f64 y 4) 1/24 1) (fma.f64 1/2 (*.f64 y y) (*.f64 (pow.f64 y 6) 1/720)))
(+.f64 (fma.f64 (pow.f64 y 4) 1/24 1) (fma.f64 (*.f64 y y) -1/2 (*.f64 (pow.f64 y 6) -1/720)))
(+.f64 (fma.f64 (pow.f64 y 4) 1/24 1) (fma.f64 y (*.f64 y -1/2) (*.f64 (pow.f64 y 6) -1/720)))
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 z x)
(+.f64 x z)
(-.f64 (+.f64 z x) (*.f64 1/2 (*.f64 (pow.f64 y 2) z)))
(+.f64 z (-.f64 x (*.f64 1/2 (*.f64 (*.f64 y y) z))))
(+.f64 x (+.f64 z (*.f64 (*.f64 (*.f64 y y) z) -1/2)))
(+.f64 x (*.f64 (fma.f64 (*.f64 y y) -1/2 1) z))
(+.f64 x (*.f64 z (fma.f64 (*.f64 y y) -1/2 1)))
(-.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 y 4) z)) (+.f64 z x)) (*.f64 1/2 (*.f64 (pow.f64 y 2) z)))
(+.f64 (fma.f64 1/24 (*.f64 (pow.f64 y 4) z) (+.f64 x z)) (*.f64 -1/2 (*.f64 (*.f64 y y) z)))
(+.f64 (+.f64 x (fma.f64 (*.f64 (pow.f64 y 4) 1/24) z z)) (*.f64 (*.f64 (*.f64 y y) z) -1/2))
(fma.f64 (*.f64 (*.f64 y y) z) -1/2 (fma.f64 (fma.f64 (pow.f64 y 4) 1/24 1) z x))
(+.f64 x (*.f64 z (fma.f64 (pow.f64 y 4) 1/24 (fma.f64 (*.f64 y y) -1/2 1))))
(-.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 y 4) z)) (+.f64 z x)) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) z)) (*.f64 1/720 (*.f64 (pow.f64 y 6) z))))
(-.f64 (fma.f64 1/24 (*.f64 (pow.f64 y 4) z) (+.f64 x z)) (fma.f64 1/2 (*.f64 (*.f64 y y) z) (*.f64 1/720 (*.f64 (pow.f64 y 6) z))))
(-.f64 (+.f64 x (fma.f64 (*.f64 (pow.f64 y 4) 1/24) z z)) (*.f64 z (fma.f64 1/2 (*.f64 y y) (*.f64 (pow.f64 y 6) 1/720))))
(+.f64 x (+.f64 z (*.f64 z (fma.f64 (pow.f64 y 4) 1/24 (fma.f64 (*.f64 y y) -1/2 (*.f64 (pow.f64 y 6) -1/720))))))
(+.f64 x (*.f64 z (+.f64 (fma.f64 (pow.f64 y 4) 1/24 1) (fma.f64 y (*.f64 y -1/2) (*.f64 (pow.f64 y 6) -1/720)))))
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)

prune92.0ms (2.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1090109
Fresh066
Picked011
Done011
Total1098117
Error
0.0b
Counts
117 → 8
Alt Table
StatusErrorProgram
▶0.1b
(+.f64 (sin.f64 y) (fma.f64 z (expm1.f64 (log1p.f64 (cos.f64 y))) x))
✓0.1b
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
✓0.1b
(+.f64 (sin.f64 y) (fma.f64 z (log1p.f64 (expm1.f64 (cos.f64 y))) x))
0.1b
(+.f64 (sin.f64 y) (fma.f64 z (cbrt.f64 (pow.f64 (cos.f64 y) 3)) x))
0.2b
(+.f64 (sin.f64 y) (fma.f64 z (-.f64 (exp.f64 (log1p.f64 (cos.f64 y))) 1) x))
31.1b
(*.f64 (-.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 (fma.f64 z (cos.f64 y) x) 2)) (/.f64 1 (-.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))))
31.5b
(+.f64 (sin.f64 y) (pow.f64 (sqrt.f64 (fma.f64 z (cos.f64 y) x)) 2))
1.2b
(+.f64 (sin.f64 y) (pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 y) x)) 3))
Compiler

Compiled 1779 to 868 computations (51.2% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(cos.f64 y)
✓0.1b
(fma.f64 z (expm1.f64 (log1p.f64 (cos.f64 y))) x)
✓0.2b
(expm1.f64 (log1p.f64 (cos.f64 y)))
✓0.3b
(log1p.f64 (cos.f64 y))

series55.0ms (1.4%)

Counts
3 → 60
Calls

15 calls:

TimeVariablePointExpression
27.0ms
y
@inf
(log1p.f64 (cos.f64 y))
19.0ms
y
@-inf
(log1p.f64 (cos.f64 y))
4.0ms
y
@0
(expm1.f64 (log1p.f64 (cos.f64 y)))
1.0ms
y
@0
(log1p.f64 (cos.f64 y))
0.0ms
y
@-inf
(expm1.f64 (log1p.f64 (cos.f64 y)))

rewrite42.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
647×pow1_binary64
592×expm1-log1p-u_binary64
591×add-log-exp_binary64
591×log1p-expm1-u_binary64
69×*-un-lft-identity_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
113815
2158615
Stop Event
1×node limit
Counts
3 → 57
Calls
Call 1
Inputs
(log1p.f64 (cos.f64 y))
(expm1.f64 (log1p.f64 (cos.f64 y)))
(fma.f64 z (expm1.f64 (log1p.f64 (cos.f64 y))) x)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (log1p.f64 (cos.f64 y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log1p.f64 (cos.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log1p.f64 (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log1p.f64 (cos.f64 y))) (pow.f64 (cbrt.f64 (log1p.f64 (cos.f64 y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log1p.f64 (cos.f64 y))) 2) (cbrt.f64 (log1p.f64 (cos.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log1p.f64 (cos.f64 y))) (sqrt.f64 (log1p.f64 (cos.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log1p.f64 (cos.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log1p.f64 (cos.f64 y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (log1p.f64 (cos.f64 y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (log1p.f64 (cos.f64 y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log1p.f64 (cos.f64 y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 (cos.f64 y) 1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (log1p.f64 (cos.f64 y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (log1p.f64 (cos.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (log1p.f64 (cos.f64 y))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (cos.f64 y) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (cos.f64 y) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cos.f64 y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cos.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cos.f64 y)) (pow.f64 (cbrt.f64 (cos.f64 y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cos.f64 y)) 2) (cbrt.f64 (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cos.f64 y)) (sqrt.f64 (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 (cos.f64 y) 1) 3) 1) (+.f64 (*.f64 (+.f64 (cos.f64 y) 1) (+.f64 (cos.f64 y) 1)) (+.f64 1 (*.f64 (+.f64 (cos.f64 y) 1) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 (cos.f64 y) 1) (+.f64 (cos.f64 y) 1)) 1) (+.f64 (+.f64 (cos.f64 y) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 y) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 y)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 y)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 y) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cos.f64 y)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 y)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 x (*.f64 (cos.f64 y) z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 y) z) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (cos.f64 y) z) 1) x)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 z (cos.f64 y) x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 z (cos.f64 y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 z (cos.f64 y) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 z (cos.f64 y) x)) (pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 y) x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 y) x)) 2) (cbrt.f64 (fma.f64 z (cos.f64 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 z (cos.f64 y) x)) (sqrt.f64 (fma.f64 z (cos.f64 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 (cos.f64 y) z) 3) (pow.f64 x 3)) (+.f64 (*.f64 (*.f64 (cos.f64 y) z) (*.f64 (cos.f64 y) z)) (-.f64 (*.f64 x x) (*.f64 (*.f64 (cos.f64 y) z) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 (cos.f64 y) z) (*.f64 (cos.f64 y) z)) (*.f64 x x)) (-.f64 (*.f64 (cos.f64 y) z) x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 z (cos.f64 y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 z (cos.f64 y) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 y) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 z (cos.f64 y) x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 z (cos.f64 y) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 z (cos.f64 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 z (cos.f64 y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 z (cos.f64 y) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 z (cos.f64 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 z (cos.f64 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 z (cos.f64 y) x)))))))

simplify35.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
419×fma-neg_binary64
411×sub-neg_binary64
397×distribute-rgt-neg-in_binary64
349×distribute-lft-neg-in_binary64
193×*-commutative_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
052465
1142458
2412443
31556442
43759442
Stop Event
1×node limit
Counts
117 → 84
Calls
Call 1
Inputs
(log.f64 2)
(-.f64 (log.f64 2) (*.f64 1/4 (pow.f64 y 2)))
(-.f64 (log.f64 2) (+.f64 (*.f64 1/4 (pow.f64 y 2)) (*.f64 1/96 (pow.f64 y 4))))
(-.f64 (log.f64 2) (+.f64 (*.f64 1/4 (pow.f64 y 2)) (+.f64 (*.f64 1/96 (pow.f64 y 4)) (*.f64 1/1440 (pow.f64 y 6)))))
(log.f64 (+.f64 1 (cos.f64 y)))
(log.f64 (+.f64 1 (cos.f64 y)))
(log.f64 (+.f64 1 (cos.f64 y)))
(log.f64 (+.f64 1 (cos.f64 y)))
(log.f64 (+.f64 1 (cos.f64 y)))
(log.f64 (+.f64 1 (cos.f64 y)))
(log.f64 (+.f64 1 (cos.f64 y)))
(log.f64 (+.f64 1 (cos.f64 y)))
1
(-.f64 1 (*.f64 1/2 (pow.f64 y 2)))
(-.f64 (+.f64 1 (*.f64 1/24 (pow.f64 y 4))) (*.f64 1/2 (pow.f64 y 2)))
(-.f64 (+.f64 1 (*.f64 1/24 (pow.f64 y 4))) (+.f64 (*.f64 1/2 (pow.f64 y 2)) (*.f64 1/720 (pow.f64 y 6))))
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 z x)
(-.f64 (+.f64 z x) (*.f64 1/2 (*.f64 (pow.f64 y 2) z)))
(-.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 y 4) z)) (+.f64 z x)) (*.f64 1/2 (*.f64 (pow.f64 y 2) z)))
(-.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 y 4) z)) (+.f64 z x)) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) z)) (*.f64 1/720 (*.f64 (pow.f64 y 6) z))))
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(+.f64 (*.f64 (cos.f64 y) z) x)
Outputs
(log.f64 2)
(-.f64 (log.f64 2) (*.f64 1/4 (pow.f64 y 2)))
(+.f64 (log.f64 2) (*.f64 -1/4 (*.f64 y y)))
(+.f64 (log.f64 2) (*.f64 (*.f64 y y) -1/4))
(fma.f64 (*.f64 y y) -1/4 (log.f64 2))
(-.f64 (log.f64 2) (+.f64 (*.f64 1/4 (pow.f64 y 2)) (*.f64 1/96 (pow.f64 y 4))))
(-.f64 (log.f64 2) (fma.f64 1/4 (*.f64 y y) (*.f64 1/96 (pow.f64 y 4))))
(+.f64 (log.f64 2) (fma.f64 (*.f64 y y) -1/4 (*.f64 (pow.f64 y 4) -1/96)))
(+.f64 (log.f64 2) (fma.f64 y (*.f64 y -1/4) (*.f64 (pow.f64 y 4) -1/96)))
(-.f64 (log.f64 2) (+.f64 (*.f64 1/4 (pow.f64 y 2)) (+.f64 (*.f64 1/96 (pow.f64 y 4)) (*.f64 1/1440 (pow.f64 y 6)))))
(-.f64 (log.f64 2) (fma.f64 1/4 (*.f64 y y) (fma.f64 1/96 (pow.f64 y 4) (*.f64 1/1440 (pow.f64 y 6)))))
(-.f64 (log.f64 2) (fma.f64 1/4 (*.f64 y y) (fma.f64 1/1440 (pow.f64 y 6) (*.f64 1/96 (pow.f64 y 4)))))
(+.f64 (log.f64 2) (fma.f64 y (*.f64 y -1/4) (fma.f64 (pow.f64 y 4) -1/96 (*.f64 (pow.f64 y 6) -1/1440))))
(log.f64 (+.f64 1 (cos.f64 y)))
(log1p.f64 (cos.f64 y))
(log.f64 (+.f64 1 (cos.f64 y)))
(log1p.f64 (cos.f64 y))
(log.f64 (+.f64 1 (cos.f64 y)))
(log1p.f64 (cos.f64 y))
(log.f64 (+.f64 1 (cos.f64 y)))
(log1p.f64 (cos.f64 y))
(log.f64 (+.f64 1 (cos.f64 y)))
(log1p.f64 (cos.f64 y))
(log.f64 (+.f64 1 (cos.f64 y)))
(log1p.f64 (cos.f64 y))
(log.f64 (+.f64 1 (cos.f64 y)))
(log1p.f64 (cos.f64 y))
(log.f64 (+.f64 1 (cos.f64 y)))
(log1p.f64 (cos.f64 y))
1
(-.f64 1 (*.f64 1/2 (pow.f64 y 2)))
(+.f64 1 (*.f64 -1/2 (*.f64 y y)))
(-.f64 1 (*.f64 y (*.f64 y 1/2)))
(fma.f64 (*.f64 y y) -1/2 1)
(-.f64 (+.f64 1 (*.f64 1/24 (pow.f64 y 4))) (*.f64 1/2 (pow.f64 y 2)))
(+.f64 1 (-.f64 (*.f64 (pow.f64 y 4) 1/24) (*.f64 (*.f64 y y) 1/2)))
(+.f64 (fma.f64 (pow.f64 y 4) 1/24 1) (*.f64 (*.f64 y y) -1/2))
(fma.f64 (pow.f64 y 4) 1/24 (fma.f64 (*.f64 y y) -1/2 1))
(-.f64 (+.f64 1 (*.f64 1/24 (pow.f64 y 4))) (+.f64 (*.f64 1/2 (pow.f64 y 2)) (*.f64 1/720 (pow.f64 y 6))))
(-.f64 (+.f64 1 (*.f64 (pow.f64 y 4) 1/24)) (fma.f64 1/2 (*.f64 y y) (*.f64 (pow.f64 y 6) 1/720)))
(-.f64 (fma.f64 (pow.f64 y 4) 1/24 1) (fma.f64 (pow.f64 y 6) 1/720 (*.f64 y (*.f64 y 1/2))))
(fma.f64 (pow.f64 y 4) 1/24 (-.f64 1 (fma.f64 (pow.f64 y 6) 1/720 (*.f64 (*.f64 y y) 1/2))))
(+.f64 1 (fma.f64 (pow.f64 y 4) 1/24 (fma.f64 y (*.f64 y -1/2) (*.f64 (pow.f64 y 6) -1/720))))
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
(cos.f64 y)
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 z x)
(+.f64 x z)
(-.f64 (+.f64 z x) (*.f64 1/2 (*.f64 (pow.f64 y 2) z)))
(+.f64 z (-.f64 x (*.f64 1/2 (*.f64 (*.f64 y y) z))))
(+.f64 (+.f64 x z) (*.f64 (*.f64 y (*.f64 y z)) -1/2))
(fma.f64 (*.f64 (*.f64 y y) z) -1/2 (+.f64 x z))
(+.f64 x (*.f64 z (fma.f64 (*.f64 y y) -1/2 1)))
(-.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 y 4) z)) (+.f64 z x)) (*.f64 1/2 (*.f64 (pow.f64 y 2) z)))
(+.f64 (fma.f64 1/24 (*.f64 (pow.f64 y 4) z) (+.f64 x z)) (*.f64 -1/2 (*.f64 (*.f64 y y) z)))
(+.f64 (+.f64 x (*.f64 (fma.f64 (pow.f64 y 4) 1/24 1) z)) (*.f64 (*.f64 y (*.f64 y z)) -1/2))
(fma.f64 (*.f64 (*.f64 y y) z) -1/2 (fma.f64 (fma.f64 (pow.f64 y 4) 1/24 1) z x))
(+.f64 x (*.f64 z (fma.f64 (pow.f64 y 4) 1/24 (fma.f64 (*.f64 y y) -1/2 1))))
(-.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 y 4) z)) (+.f64 z x)) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) z)) (*.f64 1/720 (*.f64 (pow.f64 y 6) z))))
(-.f64 (fma.f64 1/24 (*.f64 (pow.f64 y 4) z) (+.f64 x z)) (fma.f64 1/2 (*.f64 (*.f64 y y) z) (*.f64 1/720 (*.f64 (pow.f64 y 6) z))))
(-.f64 (+.f64 x (*.f64 (fma.f64 (pow.f64 y 4) 1/24 1) z)) (*.f64 z (fma.f64 (pow.f64 y 6) 1/720 (*.f64 y (*.f64 y 1/2)))))
(+.f64 x (+.f64 z (*.f64 z (fma.f64 (pow.f64 y 4) 1/24 (fma.f64 (*.f64 y y) -1/2 (*.f64 (pow.f64 y 6) -1/720))))))
(+.f64 (+.f64 x z) (*.f64 z (fma.f64 (pow.f64 y 4) 1/24 (fma.f64 y (*.f64 y -1/2) (*.f64 (pow.f64 y 6) -1/720)))))
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(*.f64 (cos.f64 y) z)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
x
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)
(+.f64 (*.f64 (cos.f64 y) z) x)
(fma.f64 (cos.f64 y) z x)

prune100.0ms (2.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1072109
Fresh145
Picked101
Done112
Total1107117
Error
0b
Counts
117 → 7
Alt Table
StatusErrorProgram
✓0.1b
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
0.1b
(+.f64 (sin.f64 y) (fma.f64 z (cbrt.f64 (pow.f64 (cos.f64 y) 3)) x))
0.8b
(+.f64 (sin.f64 y) (fma.f64 z (expm1.f64 (*.f64 (cbrt.f64 (log1p.f64 (cos.f64 y))) (pow.f64 (cbrt.f64 (log1p.f64 (cos.f64 y))) 2))) x))
31.1b
(*.f64 (-.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 (fma.f64 z (cos.f64 y) x) 2)) (/.f64 1 (-.f64 (sin.f64 y) (fma.f64 z (cos.f64 y) x))))
31.5b
(+.f64 (sin.f64 y) (pow.f64 (sqrt.f64 (fma.f64 z (cos.f64 y) x)) 2))
1.2b
(+.f64 (sin.f64 y) (pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 y) x)) 3))
0.2b
(+.f64 (sin.f64 y) (fma.f64 z (/.f64 (-.f64 (pow.f64 (+.f64 (cos.f64 y) 1) 3) 1) (+.f64 (*.f64 (+.f64 (cos.f64 y) 1) (+.f64 (cos.f64 y) 1)) (+.f64 1 (*.f64 (+.f64 (cos.f64 y) 1) 1)))) x))
Compiler

Compiled 1683 to 819 computations (51.3% saved)

regimes145.0ms (3.7%)

Accuracy

Total 0.0b remaining (59%)

Threshold costs 0.0b (59%)

Counts
59 → 1
Compiler

Compiled 698 to 290 computations (58.5% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0812
1912
Stop Event
1×saturated
Calls
Call 1
Inputs
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))
Outputs
(fma.f64 (cos.f64 y) z (+.f64 x (sin.f64 y)))

end110.0ms (2.8%)

Stop Event
1×fuel
Compiler

Compiled 158 to 105 computations (33.5% saved)

Profiling

Loading profile data...