Details

Time bar (total: 3.9s)

analyze524.0ms (13.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%50%50%0
0%50%50%1
25%25%50%2
25%25%50%3
31.2%18.7%50%4
31.2%18.7%50%5
34.3%15.6%50%6
34.3%15.6%50%7
35.9%14%50%8
35.9%14%50%9
36.7%13.3%50%10
36.7%13.3%50%11
37.1%12.9%50%12
37.1%12.9%50%13
37.3%12.7%50%14
Compiler

Compiled 20 to 14 computations (30% saved)

sample1.9s (49.3%)

Results
855.0ms6241×body128valid
398.0ms554×body4096valid
366.0ms671×body2048valid
170.0ms406×body1024valid
85.0ms263×body512valid
31.0ms121×body256valid
Compiler

Compiled 40 to 28 computations (30% saved)

preprocess34.0ms (0.9%)

Algorithm
2×egg-herbie
Rules
316×fma-def_binary64
164×fma-neg_binary64
86×distribute-rgt-in_binary64
48×distribute-lft-in_binary64
48×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01930
13330
25130
38830
413530
518530
630530
747830
868230
983330
10108330
11124330
12126130
13126530
022
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
(*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re))) im))))
Outputs
(*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
(*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re))))
(*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re))) im))))
(*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) im))))
Compiler

Compiled 17 to 12 computations (29.4% saved)

simplify23.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
201×fma-def_binary64
142×fma-neg_binary64
51×distribute-rgt-in_binary64
43×cancel-sign-sub-inv_binary64
27×sub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01315
12015
23315
35315
48015
510915
618015
728615
841015
949315
1061015
1168215
1270515
1374415
1479315
1585615
1689215
1790115
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
Outputs
(*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
(*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re))))

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
14.9b
Counts
3 → 2
Alt Table
StatusErrorProgram
35.7b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
▶14.9b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re))))
Compiler

Compiled 85 to 61 computations (28.2% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
✓1.1b
(-.f64 (hypot.f64 re im) re)

series18.0ms (0.5%)

Counts
2 → 32
Calls

12 calls:

TimeVariablePointExpression
5.0ms
re
@inf
(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
3.0ms
im
@0
(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
2.0ms
im
@inf
(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
1.0ms
re
@inf
(-.f64 (hypot.f64 re im) re)
1.0ms
re
@-inf
(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))

rewrite46.0ms (1.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0819
117319
2220619
Stop Event
1×node limit
Counts
2 → 62
Calls
Call 1
Inputs
(-.f64 (hypot.f64 re im) re)
(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (hypot.f64 re im) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (hypot.f64 re im) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (hypot.f64 re im) re) (fma.f64 (neg.f64 re) 1 re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (hypot.f64 re im) re) (fma.f64 (neg.f64 (cbrt.f64 re)) (pow.f64 (cbrt.f64 re) 2) re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (hypot.f64 re im) re) (fma.f64 (neg.f64 (sqrt.f64 re)) (sqrt.f64 re) re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 re) (hypot.f64 re im))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (hypot.f64 re im) re) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (hypot.f64 re im) re))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 (hypot.f64 re im) re)) (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 re im) re)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 re im) re)) 2) (cbrt.f64 (-.f64 (hypot.f64 re im) re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (hypot.f64 re im) re)) (sqrt.f64 (-.f64 (hypot.f64 re im) re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (hypot.f64 re im) 3) (pow.f64 re 3)) (/.f64 1 (+.f64 (pow.f64 (hypot.f64 re im) 2) (*.f64 re (+.f64 re (hypot.f64 re im))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (hypot.f64 re im) 2) (*.f64 re re)) (/.f64 1 (+.f64 re (hypot.f64 re im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 re)) (-.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (hypot.f64 re im) 2) (*.f64 re (+.f64 re (hypot.f64 re im)))) (-.f64 (pow.f64 (hypot.f64 re im) 3) (pow.f64 re 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 re (hypot.f64 re im)) (-.f64 (pow.f64 (hypot.f64 re im) 2) (*.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (hypot.f64 re im) 3) (pow.f64 re 3)) (+.f64 (pow.f64 (hypot.f64 re im) 2) (*.f64 re (+.f64 re (hypot.f64 re im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (hypot.f64 re im) 2) (*.f64 re re)) (+.f64 re (hypot.f64 re im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (hypot.f64 re im) 3) (pow.f64 re 3))) (neg.f64 (+.f64 (pow.f64 (hypot.f64 re im) 2) (*.f64 re (+.f64 re (hypot.f64 re im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (hypot.f64 re im) 2) (*.f64 re re))) (neg.f64 (+.f64 re (hypot.f64 re im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (hypot.f64 re im) 3) (pow.f64 (neg.f64 re) 3)) (+.f64 (pow.f64 (hypot.f64 re im) 2) (-.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 (hypot.f64 re im) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (hypot.f64 re im) 2) (*.f64 (neg.f64 re) (neg.f64 re))) (-.f64 (hypot.f64 re im) (neg.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (hypot.f64 re im) re) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (hypot.f64 re im) re) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 (hypot.f64 re im) re)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (hypot.f64 re im) re)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 (hypot.f64 re im) re) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 (hypot.f64 re im) re)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (hypot.f64 re im) re))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (hypot.f64 re im) re) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (hypot.f64 re im) re)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (-.f64 (hypot.f64 re im) re)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (hypot.f64 re im) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (hypot.f64 re im)) 2) (cbrt.f64 (hypot.f64 re im)) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (hypot.f64 re im) re)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (hypot.f64 re im) re)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2))) (cbrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2)) (cbrt.f64 (sqrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2) 1/4) (pow.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (hypot.f64 re im) re)) (sqrt.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 (hypot.f64 re im) re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2)) 2)) (sqrt.f64 (cbrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (sqrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2)) 2) 1/2) (pow.f64 (cbrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 (-.f64 (hypot.f64 re im) re) 2))))))))

simplify32.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
527×fma-def_binary64
371×associate-*l*_binary64
337×associate-/l*_binary64
311×times-frac_binary64
236×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01401017
1421994
21460945
Stop Event
1×node limit
Counts
94 → 107
Calls
Call 1
Inputs
im
(-.f64 im re)
(-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im) re)
(-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) re))
(*.f64 1/2 (/.f64 (pow.f64 im 2) re))
(-.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(-.f64 (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 1/2 (/.f64 (pow.f64 im 2) re))) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(-.f64 (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 1/2 (/.f64 (pow.f64 im 2) re))) (+.f64 (*.f64 5/128 (/.f64 (pow.f64 im 8) (pow.f64 re 7))) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(*.f64 -2 re)
(neg.f64 (+.f64 (*.f64 2 re) (*.f64 1/2 (/.f64 (pow.f64 im 2) re))))
(-.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (*.f64 2 re) (*.f64 1/2 (/.f64 (pow.f64 im 2) re))))
(-.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 (*.f64 2 re) (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
(*.f64 1/2 (/.f64 (pow.f64 im 2) re))
(-.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(-.f64 (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 1/2 (/.f64 (pow.f64 im 2) re))) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(-.f64 (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 1/2 (/.f64 (pow.f64 im 2) re))) (+.f64 (*.f64 5/128 (/.f64 (pow.f64 im 8) (pow.f64 re 7))) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
im
(-.f64 im re)
(-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im) re)
(-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) re))
(*.f64 -1 im)
(neg.f64 (+.f64 re im))
(neg.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im)))
(-.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im)))
(*.f64 (sqrt.f64 2) (sqrt.f64 im))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(-.f64 (+.f64 (*.f64 1/8 (*.f64 (*.f64 (sqrt.f64 2) (pow.f64 re 2)) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (*.f64 (sqrt.f64 2) (sqrt.f64 im))) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(-.f64 (+.f64 (*.f64 1/8 (*.f64 (*.f64 (sqrt.f64 2) (pow.f64 re 2)) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (+.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/16 (*.f64 (*.f64 (sqrt.f64 2) (pow.f64 re 3)) (sqrt.f64 (/.f64 1 (pow.f64 im 5))))))) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(-.f64 (*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))) (*.f64 1/16 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 3)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 5))))))
(-.f64 (+.f64 (*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))) (*.f64 1/32 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 5)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 9)))))) (+.f64 (*.f64 1/512 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 5)) (pow.f64 (sqrt.f64 1/2) 3)) (sqrt.f64 (/.f64 1 (pow.f64 re 9))))) (*.f64 1/16 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 3)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 5)))))))
(-.f64 (+.f64 (*.f64 1/512 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 7)) (pow.f64 (sqrt.f64 1/2) 3)) (sqrt.f64 (/.f64 1 (pow.f64 re 13))))) (+.f64 (*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))) (*.f64 1/32 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 5)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 9))))))) (+.f64 (*.f64 1/512 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 5)) (pow.f64 (sqrt.f64 1/2) 3)) (sqrt.f64 (/.f64 1 (pow.f64 re 9))))) (+.f64 (*.f64 1/16 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 3)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 5))))) (+.f64 (*.f64 1/8192 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 7)) (pow.f64 (sqrt.f64 1/2) 5)) (sqrt.f64 (/.f64 1 (pow.f64 re 13))))) (*.f64 5/256 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 7)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 13)))))))))
Outputs
im
(-.f64 im re)
(-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im) re)
(-.f64 (fma.f64 1/2 (/.f64 (*.f64 re re) im) im) re)
(-.f64 (fma.f64 1/2 (/.f64 re (/.f64 im re)) im) re)
(fma.f64 1/2 (/.f64 re (/.f64 im re)) (-.f64 im re))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) re))
(-.f64 (fma.f64 1/2 (/.f64 (*.f64 re re) im) im) (fma.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) re))
(-.f64 (fma.f64 1/2 (/.f64 re (/.f64 im re)) im) (fma.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) re))
(*.f64 1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 1/2 (/.f64 (*.f64 im im) re))
(*.f64 1/2 (/.f64 im (/.f64 re im)))
(*.f64 (/.f64 1/2 re) (*.f64 im im))
(-.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (/.f64 (*.f64 im im) re)) (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(fma.f64 1/2 (/.f64 im (/.f64 re im)) (/.f64 (*.f64 -1/8 (pow.f64 im 4)) (pow.f64 re 3)))
(fma.f64 1/2 (*.f64 (/.f64 im re) im) (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8))
(-.f64 (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 1/2 (/.f64 (pow.f64 im 2) re))) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(+.f64 (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (*.f64 1/2 (/.f64 (*.f64 im im) re))) (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 1/2 (/.f64 im (/.f64 re im)) (/.f64 (*.f64 -1/8 (pow.f64 im 4)) (pow.f64 re 3))))
(fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8 (fma.f64 1/2 (*.f64 (/.f64 im re) im) (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)))))
(-.f64 (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 1/2 (/.f64 (pow.f64 im 2) re))) (+.f64 (*.f64 5/128 (/.f64 (pow.f64 im 8) (pow.f64 re 7))) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(-.f64 (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (*.f64 1/2 (/.f64 (*.f64 im im) re))) (fma.f64 5/128 (/.f64 (pow.f64 im 8) (pow.f64 re 7)) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(-.f64 (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (*.f64 1/2 (/.f64 im (/.f64 re im)))) (fma.f64 5/128 (/.f64 (pow.f64 im 8) (pow.f64 re 7)) (/.f64 (*.f64 1/8 (pow.f64 im 4)) (pow.f64 re 3))))
(fma.f64 1/2 (*.f64 (/.f64 im re) im) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8 (*.f64 (/.f64 (pow.f64 im 8) (pow.f64 re 7)) -5/128))))
(*.f64 -2 re)
(*.f64 re -2)
(neg.f64 (+.f64 (*.f64 2 re) (*.f64 1/2 (/.f64 (pow.f64 im 2) re))))
(neg.f64 (fma.f64 2 re (*.f64 1/2 (/.f64 (*.f64 im im) re))))
(+.f64 (*.f64 re -2) (*.f64 (/.f64 im (/.f64 re im)) -1/2))
(fma.f64 re -2 (*.f64 (*.f64 (/.f64 im re) im) -1/2))
(-.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (*.f64 2 re) (*.f64 1/2 (/.f64 (pow.f64 im 2) re))))
(-.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (fma.f64 2 re (*.f64 1/2 (/.f64 (*.f64 im im) re))))
(-.f64 (/.f64 (*.f64 1/8 (pow.f64 im 4)) (pow.f64 re 3)) (fma.f64 1/2 (/.f64 im (/.f64 re im)) (*.f64 re 2)))
(fma.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (fma.f64 re -2 (*.f64 (*.f64 (/.f64 im re) im) -1/2)))
(-.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 (*.f64 2 re) (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
(-.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 2 re (*.f64 1/2 (/.f64 (*.f64 im im) re)))))
(-.f64 (/.f64 (*.f64 1/8 (pow.f64 im 4)) (pow.f64 re 3)) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 1/2 (/.f64 im (/.f64 re im)) (*.f64 re 2))))
(+.f64 (fma.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (fma.f64 re -2 (*.f64 (*.f64 (/.f64 im re) im) -1/2))) (/.f64 (*.f64 -1/16 (pow.f64 im 6)) (pow.f64 re 5)))
(*.f64 1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 1/2 (/.f64 (*.f64 im im) re))
(*.f64 1/2 (/.f64 im (/.f64 re im)))
(*.f64 (/.f64 1/2 re) (*.f64 im im))
(-.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (/.f64 (*.f64 im im) re)) (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(fma.f64 1/2 (/.f64 im (/.f64 re im)) (/.f64 (*.f64 -1/8 (pow.f64 im 4)) (pow.f64 re 3)))
(fma.f64 1/2 (*.f64 (/.f64 im re) im) (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8))
(-.f64 (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 1/2 (/.f64 (pow.f64 im 2) re))) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(+.f64 (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (*.f64 1/2 (/.f64 (*.f64 im im) re))) (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 1/2 (/.f64 im (/.f64 re im)) (/.f64 (*.f64 -1/8 (pow.f64 im 4)) (pow.f64 re 3))))
(fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8 (fma.f64 1/2 (*.f64 (/.f64 im re) im) (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)))))
(-.f64 (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 1/2 (/.f64 (pow.f64 im 2) re))) (+.f64 (*.f64 5/128 (/.f64 (pow.f64 im 8) (pow.f64 re 7))) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(-.f64 (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (*.f64 1/2 (/.f64 (*.f64 im im) re))) (fma.f64 5/128 (/.f64 (pow.f64 im 8) (pow.f64 re 7)) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(-.f64 (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (*.f64 1/2 (/.f64 im (/.f64 re im)))) (fma.f64 5/128 (/.f64 (pow.f64 im 8) (pow.f64 re 7)) (/.f64 (*.f64 1/8 (pow.f64 im 4)) (pow.f64 re 3))))
(fma.f64 1/2 (*.f64 (/.f64 im re) im) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8 (*.f64 (/.f64 (pow.f64 im 8) (pow.f64 re 7)) -5/128))))
im
(-.f64 im re)
(-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im) re)
(-.f64 (fma.f64 1/2 (/.f64 (*.f64 re re) im) im) re)
(-.f64 (fma.f64 1/2 (/.f64 re (/.f64 im re)) im) re)
(fma.f64 1/2 (/.f64 re (/.f64 im re)) (-.f64 im re))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) re))
(-.f64 (fma.f64 1/2 (/.f64 (*.f64 re re) im) im) (fma.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) re))
(-.f64 (fma.f64 1/2 (/.f64 re (/.f64 im re)) im) (fma.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) re))
(*.f64 -1 im)
(neg.f64 im)
(neg.f64 (+.f64 re im))
(neg.f64 (+.f64 im re))
(-.f64 (neg.f64 im) re)
(neg.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im)))
(neg.f64 (fma.f64 1/2 (/.f64 (*.f64 re re) im) (+.f64 im re)))
(-.f64 (*.f64 (/.f64 re (/.f64 im re)) -1/2) (+.f64 im re))
(-.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im)))
(-.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (fma.f64 1/2 (/.f64 (*.f64 re re) im) (+.f64 im re)))
(-.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 im (fma.f64 1/2 (/.f64 re (/.f64 im re)) re)))
(-.f64 (*.f64 (/.f64 1/8 (pow.f64 im 3)) (pow.f64 re 4)) (+.f64 im (fma.f64 1/2 (/.f64 re (/.f64 im re)) re)))
(*.f64 (sqrt.f64 2) (sqrt.f64 im))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(+.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 -1/2 (*.f64 (*.f64 re (sqrt.f64 2)) (sqrt.f64 (/.f64 1 im)))))
(fma.f64 (sqrt.f64 2) (sqrt.f64 im) (*.f64 (*.f64 -1/2 (sqrt.f64 (/.f64 1 im))) (*.f64 re (sqrt.f64 2))))
(*.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2))))
(-.f64 (+.f64 (*.f64 1/8 (*.f64 (*.f64 (sqrt.f64 2) (pow.f64 re 2)) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (*.f64 (sqrt.f64 2) (sqrt.f64 im))) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(+.f64 (fma.f64 1/8 (*.f64 (sqrt.f64 2) (*.f64 (*.f64 re re) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (*.f64 (sqrt.f64 2) (sqrt.f64 im))) (*.f64 -1/2 (*.f64 (*.f64 re (sqrt.f64 2)) (sqrt.f64 (/.f64 1 im)))))
(fma.f64 1/8 (*.f64 (*.f64 re re) (*.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (fma.f64 (sqrt.f64 2) (sqrt.f64 im) (*.f64 (*.f64 -1/2 (sqrt.f64 (/.f64 1 im))) (*.f64 re (sqrt.f64 2)))))
(fma.f64 1/8 (*.f64 (*.f64 re (sqrt.f64 2)) (*.f64 re (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (*.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2)))))
(-.f64 (+.f64 (*.f64 1/8 (*.f64 (*.f64 (sqrt.f64 2) (pow.f64 re 2)) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (+.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/16 (*.f64 (*.f64 (sqrt.f64 2) (pow.f64 re 3)) (sqrt.f64 (/.f64 1 (pow.f64 im 5))))))) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(+.f64 (fma.f64 1/8 (*.f64 (sqrt.f64 2) (*.f64 (*.f64 re re) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (fma.f64 (sqrt.f64 2) (sqrt.f64 im) (*.f64 1/16 (*.f64 (*.f64 (pow.f64 re 3) (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 im 5))))))) (*.f64 -1/2 (*.f64 (*.f64 re (sqrt.f64 2)) (sqrt.f64 (/.f64 1 im)))))
(+.f64 (fma.f64 1/8 (*.f64 (*.f64 re re) (*.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (fma.f64 1/16 (*.f64 (sqrt.f64 2) (*.f64 (pow.f64 re 3) (sqrt.f64 (/.f64 1 (pow.f64 im 5))))) (*.f64 (sqrt.f64 2) (sqrt.f64 im)))) (*.f64 (*.f64 -1/2 (sqrt.f64 (/.f64 1 im))) (*.f64 re (sqrt.f64 2))))
(+.f64 (*.f64 (sqrt.f64 2) (+.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 im 5))) (*.f64 (pow.f64 re 3) 1/16)))) (*.f64 (sqrt.f64 2) (-.f64 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 im 3))) (*.f64 (*.f64 re re) 1/8)) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2)))))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (*.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 2)) im) (sqrt.f64 (/.f64 1 re)))
(*.f64 (*.f64 im (sqrt.f64 2)) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re))))
(-.f64 (*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))) (*.f64 1/16 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 3)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 5))))))
(+.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 2)) im) (sqrt.f64 (/.f64 1 re))) (*.f64 -1/16 (*.f64 (/.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 1/2) (pow.f64 im 3))) (sqrt.f64 (/.f64 1 (pow.f64 re 5))))))
(fma.f64 (sqrt.f64 1/2) (*.f64 im (*.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 re)))) (*.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 1/2)) (pow.f64 im 3)) (sqrt.f64 (/.f64 1 (pow.f64 re 5)))) -1/16))
(fma.f64 (sqrt.f64 1/2) (*.f64 (*.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 5))) (*.f64 (*.f64 (/.f64 (pow.f64 im 3) (sqrt.f64 1/2)) (sqrt.f64 2)) -1/16)))
(-.f64 (+.f64 (*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))) (*.f64 1/32 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 5)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 9)))))) (+.f64 (*.f64 1/512 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 5)) (pow.f64 (sqrt.f64 1/2) 3)) (sqrt.f64 (/.f64 1 (pow.f64 re 9))))) (*.f64 1/16 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 3)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 5)))))))
(-.f64 (fma.f64 (*.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 2)) im) (sqrt.f64 (/.f64 1 re)) (*.f64 1/32 (*.f64 (/.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 1/2) (pow.f64 im 5))) (sqrt.f64 (/.f64 1 (pow.f64 re 9)))))) (fma.f64 1/512 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 5)) (pow.f64 (sqrt.f64 1/2) 3))) (*.f64 1/16 (*.f64 (/.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 1/2) (pow.f64 im 3))) (sqrt.f64 (/.f64 1 (pow.f64 re 5)))))))
(-.f64 (fma.f64 (sqrt.f64 1/2) (*.f64 im (*.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 re)))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (*.f64 1/32 (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 1/2)) (pow.f64 im 5))))) (fma.f64 1/16 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 1/2)) (pow.f64 im 3)) (sqrt.f64 (/.f64 1 (pow.f64 re 5)))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (/.f64 (*.f64 1/512 (sqrt.f64 2)) (/.f64 1/2 (/.f64 (pow.f64 im 5) (sqrt.f64 1/2)))))))
(+.f64 (fma.f64 (sqrt.f64 1/2) (*.f64 (*.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (-.f64 (*.f64 (/.f64 (*.f64 1/32 (sqrt.f64 2)) (sqrt.f64 1/2)) (pow.f64 im 5)) (*.f64 1/256 (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 1/2)) (pow.f64 im 5)))))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 5))) (*.f64 (*.f64 (/.f64 (pow.f64 im 3) (sqrt.f64 1/2)) (sqrt.f64 2)) -1/16)))
(-.f64 (+.f64 (*.f64 1/512 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 7)) (pow.f64 (sqrt.f64 1/2) 3)) (sqrt.f64 (/.f64 1 (pow.f64 re 13))))) (+.f64 (*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))) (*.f64 1/32 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 5)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 9))))))) (+.f64 (*.f64 1/512 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 5)) (pow.f64 (sqrt.f64 1/2) 3)) (sqrt.f64 (/.f64 1 (pow.f64 re 9))))) (+.f64 (*.f64 1/16 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 3)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 5))))) (+.f64 (*.f64 1/8192 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 7)) (pow.f64 (sqrt.f64 1/2) 5)) (sqrt.f64 (/.f64 1 (pow.f64 re 13))))) (*.f64 5/256 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 7)) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 re 13)))))))))
(-.f64 (fma.f64 1/512 (*.f64 (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 7)) (pow.f64 (sqrt.f64 1/2) 3)) (sqrt.f64 (/.f64 1 (pow.f64 re 13)))) (fma.f64 (*.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 2)) im) (sqrt.f64 (/.f64 1 re)) (*.f64 1/32 (*.f64 (/.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 1/2) (pow.f64 im 5))) (sqrt.f64 (/.f64 1 (pow.f64 re 9))))))) (fma.f64 1/512 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (/.f64 (*.f64 (sqrt.f64 2) (pow.f64 im 5)) (pow.f64 (sqrt.f64 1/2) 3))) (fma.f64 1/16 (*.f64 (/.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 1/2) (pow.f64 im 3))) (sqrt.f64 (/.f64 1 (pow.f64 re 5)))) (fma.f64 1/8192 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (/.f64 (sqrt.f64 2) (/.f64 (pow.f64 (sqrt.f64 1/2) 5) (pow.f64 im 7)))) (*.f64 5/256 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (/.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 1/2) (pow.f64 im 7)))))))))
(-.f64 (fma.f64 1/512 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) (*.f64 1/2 (sqrt.f64 1/2))) (pow.f64 im 7)) (sqrt.f64 (/.f64 1 (pow.f64 re 13)))) (fma.f64 (sqrt.f64 1/2) (*.f64 im (*.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 re)))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (*.f64 1/32 (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 1/2)) (pow.f64 im 5)))))) (fma.f64 1/512 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 1/2)) (/.f64 (pow.f64 im 5) 1/2))) (fma.f64 1/16 (*.f64 (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 1/2)) (pow.f64 im 3)) (sqrt.f64 (/.f64 1 (pow.f64 re 5)))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (+.f64 (*.f64 1/8192 (*.f64 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 1/2) 5)) (pow.f64 im 7))) (*.f64 5/256 (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 1/2)) (pow.f64 im 7))))))))
(-.f64 (fma.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (*.f64 1/256 (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 1/2)) (pow.f64 im 7))) (fma.f64 (sqrt.f64 1/2) (*.f64 (*.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 9))) (-.f64 (*.f64 (/.f64 (*.f64 1/32 (sqrt.f64 2)) (sqrt.f64 1/2)) (pow.f64 im 5)) (*.f64 1/256 (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 1/2)) (pow.f64 im 5))))))) (fma.f64 1/16 (*.f64 (*.f64 (/.f64 (pow.f64 im 3) (sqrt.f64 1/2)) (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 5)))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 13))) (fma.f64 5/256 (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 1/2)) (pow.f64 im 7)) (*.f64 (/.f64 (*.f64 1/8192 (sqrt.f64 2)) (pow.f64 (sqrt.f64 1/2) 5)) (pow.f64 im 7))))))

prune74.0ms (1.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1007107
Fresh101
Picked011
Done000
Total1018109
Error
0.1b
Counts
109 → 8
Alt Table
StatusErrorProgram
57.1b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (fma.f64 1/2 (*.f64 (/.f64 im re) im) (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8)))))
54.3b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (*.f64 (/.f64 1/2 re) (*.f64 im im)))))
54.3b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
✓14.9b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re))))
51.9b
(*.f64 1/2 (fma.f64 (sqrt.f64 1/2) (*.f64 (*.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 5))) (*.f64 (*.f64 (/.f64 (pow.f64 im 3) (sqrt.f64 1/2)) (sqrt.f64 2)) -1/16))))
45.8b
(*.f64 1/2 (*.f64 (*.f64 im (sqrt.f64 2)) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re)))))
45.9b
(*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
▶33.0b
(*.f64 1/2 (*.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2)))))
Compiler

Compiled 2562 to 1811 computations (29.3% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2)))
✓0.2b
(*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2))
✓0.4b
(sqrt.f64 (/.f64 1 im))
✓0.5b
(*.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2))))

series31.0ms (0.8%)

Counts
4 → 36
Calls

21 calls:

TimeVariablePointExpression
16.0ms
re
@inf
(*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2))
2.0ms
im
@0
(*.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2))))
1.0ms
im
@-inf
(*.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2))))
1.0ms
re
@0
(*.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2))))
1.0ms
im
@inf
(*.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2))))

rewrite90.0ms (2.3%)

Algorithm
1×batch-egg-rewrite
Rules
915×prod-diff_binary64
168×egg-rr
142×add-sqr-sqrt_binary64
135×*-un-lft-identity_binary64
135×pow1_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01457
129446
2359646
Stop Event
1×node limit
Counts
4 → 234
Calls
Call 1
Inputs
(*.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2))))
(sqrt.f64 (/.f64 1 im))
(*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2))
(-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 im) (sqrt.f64 2)) (*.f64 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2) (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 (sqrt.f64 2) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (sqrt.f64 2) (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 im 3/2) (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 3)) (sqrt.f64 2)) (+.f64 im (*.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) (+.f64 (sqrt.f64 im) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 im (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2)) (sqrt.f64 2)) (+.f64 (sqrt.f64 im) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 2) (-.f64 (pow.f64 im 3/2) (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 3))) (+.f64 im (*.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) (+.f64 (sqrt.f64 im) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 2) (-.f64 im (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2))) (+.f64 (sqrt.f64 im) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 2) (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sqrt.f64 2) (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 2 (pow.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (sqrt.f64 2) (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 2) (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 2 (sqrt.f64 2)) (pow.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) 3) (*.f64 2 (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sqrt.f64 2) (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (sqrt.f64 2) (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 2) (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 2) (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 im -1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 im -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 im -1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 im -1/2)) (/.f64 1 (cbrt.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 im)) (cbrt.f64 (pow.f64 im -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 im -1/2)) (sqrt.f64 (pow.f64 im -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cbrt.f64 (pow.f64 im -2))) (sqrt.f64 (/.f64 1 (cbrt.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (pow.f64 im -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 im -2)) 1/2) (pow.f64 (/.f64 1 (cbrt.f64 im)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (sqrt.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (sqrt.f64 im) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (cbrt.f64 im)) (cbrt.f64 (sqrt.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (pow.f64 im -1/2)) (pow.f64 im 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (neg.f64 (sqrt.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 -1) (sqrt.f64 (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 im -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 im) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 im) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 im -1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 im -1/2) im) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (pow.f64 im -1/2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (pow.f64 im -1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (pow.f64 im -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 im -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 im -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 im -1/2) im))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (pow.f64 im -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (neg.f64 (log.f64 im)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 im -1/2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 im -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 im -1/2)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 re 1/2) (sqrt.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 im) (*.f64 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2) 1 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (*.f64 re 1/2)) (pow.f64 im -1/2) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (/.f64 -1 (sqrt.f64 im)) (*.f64 re 1/2) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))))) (cbrt.f64 (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2)) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))))) (sqrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 -1/2 (/.f64 re (sqrt.f64 im)) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (/.f64 re (sqrt.f64 im))) 1/2 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 -1 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2))) (cbrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2) (sqrt.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2) 1 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (*.f64 re 1/2)) (pow.f64 im -1/2) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (/.f64 -1 (sqrt.f64 im)) (*.f64 re 1/2) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))))) (cbrt.f64 (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2)) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))))) (sqrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 -1/2 (/.f64 re (sqrt.f64 im)) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (/.f64 re (sqrt.f64 im))) 1/2 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 -1 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2))) (cbrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2) 1 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (*.f64 re 1/2)) (pow.f64 im -1/2) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (/.f64 -1 (sqrt.f64 im)) (*.f64 re 1/2) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))))) (cbrt.f64 (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2)) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))))) (sqrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 -1/2 (/.f64 re (sqrt.f64 im)) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (/.f64 re (sqrt.f64 im))) 1/2 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 -1 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2))) (cbrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2) 1 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (*.f64 re 1/2)) (pow.f64 im -1/2) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (/.f64 -1 (sqrt.f64 im)) (*.f64 re 1/2) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))))) (cbrt.f64 (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2)) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))))) (sqrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 -1/2 (/.f64 re (sqrt.f64 im)) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (/.f64 re (sqrt.f64 im))) 1/2 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 -1 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2))) (cbrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2) 1 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (*.f64 re 1/2)) (pow.f64 im -1/2) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (/.f64 -1 (sqrt.f64 im)) (*.f64 re 1/2) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))))) (cbrt.f64 (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2)) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))))) (sqrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 -1/2 (/.f64 re (sqrt.f64 im)) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (/.f64 re (sqrt.f64 im))) 1/2 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 -1 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2))) (cbrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2) 1 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (*.f64 re 1/2)) (pow.f64 im -1/2) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (/.f64 -1 (sqrt.f64 im)) (*.f64 re 1/2) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))))) (cbrt.f64 (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2)) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))))) (sqrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 -1/2 (/.f64 re (sqrt.f64 im)) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (/.f64 re (sqrt.f64 im))) 1/2 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 -1 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2))) (cbrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im)))) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (neg.f64 (*.f64 (*.f64 1/2 (pow.f64 im -1/2)) re))) (fma.f64 (neg.f64 (*.f64 1/2 (pow.f64 im -1/2))) re (*.f64 (*.f64 1/2 (pow.f64 im -1/2)) re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 im) (neg.f64 (*.f64 (*.f64 1/2 (pow.f64 im -1/2)) re))) (fma.f64 (neg.f64 (*.f64 1/2 (pow.f64 im -1/2))) re (*.f64 (*.f64 1/2 (pow.f64 im -1/2)) re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (neg.f64 (*.f64 (*.f64 1/2 (pow.f64 im -1/2)) re))) (fma.f64 (neg.f64 (*.f64 1/2 (pow.f64 im -1/2))) re (*.f64 (*.f64 1/2 (pow.f64 im -1/2)) re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 im) (cbrt.f64 (sqrt.f64 im)) (neg.f64 (*.f64 (*.f64 1/2 (pow.f64 im -1/2)) re))) (fma.f64 (neg.f64 (*.f64 1/2 (pow.f64 im -1/2))) re (*.f64 (*.f64 1/2 (pow.f64 im -1/2)) re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 im 1/4) (pow.f64 im 1/4) (neg.f64 (*.f64 (*.f64 1/2 (pow.f64 im -1/2)) re))) (fma.f64 (neg.f64 (*.f64 1/2 (pow.f64 im -1/2))) re (*.f64 (*.f64 1/2 (pow.f64 im -1/2)) re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (neg.f64 (*.f64 (*.f64 1/2 (pow.f64 im -1/2)) re))) (fma.f64 (neg.f64 (*.f64 1/2 (pow.f64 im -1/2))) re (*.f64 (*.f64 1/2 (pow.f64 im -1/2)) re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (neg.f64 (*.f64 (*.f64 1/2 (pow.f64 im -1/2)) re))) (fma.f64 (neg.f64 (*.f64 1/2 (pow.f64 im -1/2))) re (*.f64 (*.f64 1/2 (pow.f64 im -1/2)) re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (neg.f64 (*.f64 (*.f64 1/2 (pow.f64 im -1/2)) re))) (fma.f64 (neg.f64 (*.f64 1/2 (pow.f64 im -1/2))) re (*.f64 (*.f64 1/2 (pow.f64 im -1/2)) re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (neg.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))))) (fma.f64 (neg.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2))) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)) (*.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 im) (neg.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))))) (fma.f64 (neg.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2))) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)) (*.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (neg.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))))) (fma.f64 (neg.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2))) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)) (*.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 im) (cbrt.f64 (sqrt.f64 im)) (neg.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))))) (fma.f64 (neg.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2))) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)) (*.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 im 1/4) (pow.f64 im 1/4) (neg.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))))) (fma.f64 (neg.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2))) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)) (*.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (neg.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))))) (fma.f64 (neg.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2))) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)) (*.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (neg.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))))) (fma.f64 (neg.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2))) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)) (*.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (neg.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))))) (fma.f64 (neg.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2))) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)) (*.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (neg.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (/.f64 1 (cbrt.f64 im))))) (fma.f64 (neg.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2))) (/.f64 1 (cbrt.f64 im)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (/.f64 1 (cbrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 im) (neg.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (/.f64 1 (cbrt.f64 im))))) (fma.f64 (neg.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2))) (/.f64 1 (cbrt.f64 im)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (/.f64 1 (cbrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (neg.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (/.f64 1 (cbrt.f64 im))))) (fma.f64 (neg.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2))) (/.f64 1 (cbrt.f64 im)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (/.f64 1 (cbrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 im) (cbrt.f64 (sqrt.f64 im)) (neg.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (/.f64 1 (cbrt.f64 im))))) (fma.f64 (neg.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2))) (/.f64 1 (cbrt.f64 im)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (/.f64 1 (cbrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 im 1/4) (pow.f64 im 1/4) (neg.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (/.f64 1 (cbrt.f64 im))))) (fma.f64 (neg.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2))) (/.f64 1 (cbrt.f64 im)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (/.f64 1 (cbrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (neg.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (/.f64 1 (cbrt.f64 im))))) (fma.f64 (neg.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2))) (/.f64 1 (cbrt.f64 im)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (/.f64 1 (cbrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (neg.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (/.f64 1 (cbrt.f64 im))))) (fma.f64 (neg.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2))) (/.f64 1 (cbrt.f64 im)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (/.f64 1 (cbrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (neg.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (/.f64 1 (cbrt.f64 im))))) (fma.f64 (neg.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2))) (/.f64 1 (cbrt.f64 im)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (/.f64 1 (cbrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (neg.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (sqrt.f64 (*.f64 re 1/2))))) (fma.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2))) (sqrt.f64 (*.f64 re 1/2)) (*.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (sqrt.f64 (*.f64 re 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 im) (neg.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (sqrt.f64 (*.f64 re 1/2))))) (fma.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2))) (sqrt.f64 (*.f64 re 1/2)) (*.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (sqrt.f64 (*.f64 re 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (neg.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (sqrt.f64 (*.f64 re 1/2))))) (fma.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2))) (sqrt.f64 (*.f64 re 1/2)) (*.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (sqrt.f64 (*.f64 re 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 im) (cbrt.f64 (sqrt.f64 im)) (neg.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (sqrt.f64 (*.f64 re 1/2))))) (fma.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2))) (sqrt.f64 (*.f64 re 1/2)) (*.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (sqrt.f64 (*.f64 re 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 im 1/4) (pow.f64 im 1/4) (neg.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (sqrt.f64 (*.f64 re 1/2))))) (fma.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2))) (sqrt.f64 (*.f64 re 1/2)) (*.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (sqrt.f64 (*.f64 re 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (neg.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (sqrt.f64 (*.f64 re 1/2))))) (fma.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2))) (sqrt.f64 (*.f64 re 1/2)) (*.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (sqrt.f64 (*.f64 re 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (neg.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (sqrt.f64 (*.f64 re 1/2))))) (fma.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2))) (sqrt.f64 (*.f64 re 1/2)) (*.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (sqrt.f64 (*.f64 re 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (neg.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (sqrt.f64 (*.f64 re 1/2))))) (fma.f64 (neg.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2))) (sqrt.f64 (*.f64 re 1/2)) (*.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (pow.f64 im -1/2)) (sqrt.f64 (*.f64 re 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (neg.f64 (*.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (sqrt.f64 (pow.f64 im -1/2))))) (fma.f64 (neg.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2))) (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (sqrt.f64 (pow.f64 im -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 im) (neg.f64 (*.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (sqrt.f64 (pow.f64 im -1/2))))) (fma.f64 (neg.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2))) (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (sqrt.f64 (pow.f64 im -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (neg.f64 (*.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (sqrt.f64 (pow.f64 im -1/2))))) (fma.f64 (neg.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2))) (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (sqrt.f64 (pow.f64 im -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 im) (cbrt.f64 (sqrt.f64 im)) (neg.f64 (*.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (sqrt.f64 (pow.f64 im -1/2))))) (fma.f64 (neg.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2))) (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (sqrt.f64 (pow.f64 im -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 im 1/4) (pow.f64 im 1/4) (neg.f64 (*.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (sqrt.f64 (pow.f64 im -1/2))))) (fma.f64 (neg.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2))) (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (sqrt.f64 (pow.f64 im -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (neg.f64 (*.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (sqrt.f64 (pow.f64 im -1/2))))) (fma.f64 (neg.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2))) (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (sqrt.f64 (pow.f64 im -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (neg.f64 (*.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (sqrt.f64 (pow.f64 im -1/2))))) (fma.f64 (neg.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2))) (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (sqrt.f64 (pow.f64 im -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (neg.f64 (*.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (sqrt.f64 (pow.f64 im -1/2))))) (fma.f64 (neg.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2))) (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 re 1/2)) (sqrt.f64 (pow.f64 im -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (neg.f64 (*.f64 re (*.f64 (pow.f64 im -1/2) 1/2)))) (fma.f64 (neg.f64 re) (*.f64 (pow.f64 im -1/2) 1/2) (*.f64 re (*.f64 (pow.f64 im -1/2) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 im) (neg.f64 (*.f64 re (*.f64 (pow.f64 im -1/2) 1/2)))) (fma.f64 (neg.f64 re) (*.f64 (pow.f64 im -1/2) 1/2) (*.f64 re (*.f64 (pow.f64 im -1/2) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (neg.f64 (*.f64 re (*.f64 (pow.f64 im -1/2) 1/2)))) (fma.f64 (neg.f64 re) (*.f64 (pow.f64 im -1/2) 1/2) (*.f64 re (*.f64 (pow.f64 im -1/2) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 im) (cbrt.f64 (sqrt.f64 im)) (neg.f64 (*.f64 re (*.f64 (pow.f64 im -1/2) 1/2)))) (fma.f64 (neg.f64 re) (*.f64 (pow.f64 im -1/2) 1/2) (*.f64 re (*.f64 (pow.f64 im -1/2) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 im 1/4) (pow.f64 im 1/4) (neg.f64 (*.f64 re (*.f64 (pow.f64 im -1/2) 1/2)))) (fma.f64 (neg.f64 re) (*.f64 (pow.f64 im -1/2) 1/2) (*.f64 re (*.f64 (pow.f64 im -1/2) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (neg.f64 (*.f64 re (*.f64 (pow.f64 im -1/2) 1/2)))) (fma.f64 (neg.f64 re) (*.f64 (pow.f64 im -1/2) 1/2) (*.f64 re (*.f64 (pow.f64 im -1/2) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (neg.f64 (*.f64 re (*.f64 (pow.f64 im -1/2) 1/2)))) (fma.f64 (neg.f64 re) (*.f64 (pow.f64 im -1/2) 1/2) (*.f64 re (*.f64 (pow.f64 im -1/2) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (neg.f64 (*.f64 re (*.f64 (pow.f64 im -1/2) 1/2)))) (fma.f64 (neg.f64 re) (*.f64 (pow.f64 im -1/2) 1/2) (*.f64 re (*.f64 (pow.f64 im -1/2) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (neg.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)))))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 re 1/2))) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))) (*.f64 (cbrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 im) (neg.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)))))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 re 1/2))) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))) (*.f64 (cbrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (neg.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)))))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 re 1/2))) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))) (*.f64 (cbrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 im) (cbrt.f64 (sqrt.f64 im)) (neg.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)))))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 re 1/2))) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))) (*.f64 (cbrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 im 1/4) (pow.f64 im 1/4) (neg.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)))))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 re 1/2))) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))) (*.f64 (cbrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (neg.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)))))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 re 1/2))) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))) (*.f64 (cbrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (neg.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)))))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 re 1/2))) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))) (*.f64 (cbrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (neg.f64 (*.f64 (cbrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4)))))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 re 1/2))) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))) (*.f64 (cbrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (cbrt.f64 (*.f64 (*.f64 re re) 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (neg.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2)))))) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 re 1/2))) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2))) (*.f64 (sqrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 im) (neg.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2)))))) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 re 1/2))) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2))) (*.f64 (sqrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (neg.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2)))))) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 re 1/2))) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2))) (*.f64 (sqrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 im) (cbrt.f64 (sqrt.f64 im)) (neg.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2)))))) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 re 1/2))) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2))) (*.f64 (sqrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 im 1/4) (pow.f64 im 1/4) (neg.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2)))))) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 re 1/2))) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2))) (*.f64 (sqrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (neg.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2)))))) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 re 1/2))) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2))) (*.f64 (sqrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (neg.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2)))))) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 re 1/2))) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2))) (*.f64 (sqrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (neg.f64 (*.f64 (sqrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2)))))) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 re 1/2))) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2))) (*.f64 (sqrt.f64 (*.f64 re 1/2)) (*.f64 (pow.f64 im -1/2) (sqrt.f64 (*.f64 re 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (neg.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 im -1/2))) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im))) (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 im) (neg.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 im -1/2))) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im))) (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (neg.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 im -1/2))) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im))) (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 im) (cbrt.f64 (sqrt.f64 im)) (neg.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 im -1/2))) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im))) (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 im 1/4) (pow.f64 im 1/4) (neg.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 im -1/2))) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im))) (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (neg.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 im -1/2))) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im))) (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (neg.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 im -1/2))) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im))) (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (neg.f64 (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 im -1/2))) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im))) (*.f64 (cbrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (/.f64 1 (cbrt.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 im) 1 (neg.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 im -1/2))) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2))) (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 im) (neg.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 im -1/2))) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2))) (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (sqrt.f64 im)) (cbrt.f64 im) (neg.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 im -1/2))) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2))) (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 im) (cbrt.f64 (sqrt.f64 im)) (neg.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 im -1/2))) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2))) (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 im 1/4) (pow.f64 im 1/4) (neg.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 im -1/2))) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2))) (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 im im))) (sqrt.f64 (cbrt.f64 im)) (neg.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 im -1/2))) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2))) (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 1 1/2) (sqrt.f64 im) (neg.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 im -1/2))) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2))) (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 im im)) 1/2) (pow.f64 (cbrt.f64 im) 1/2) (neg.f64 (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 im -1/2))) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2))) (*.f64 (sqrt.f64 (pow.f64 im -1/2)) (*.f64 (*.f64 re 1/2) (sqrt.f64 (pow.f64 im -1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))) (pow.f64 (cbrt.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))) 2) (cbrt.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))) (sqrt.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 im 3/2) (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 3)) (/.f64 1 (+.f64 im (*.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) (+.f64 (sqrt.f64 im) (*.f64 1/2 (/.f64 re (sqrt.f64 im))))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 im (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2)) (/.f64 1 (+.f64 (sqrt.f64 im) (*.f64 1/2 (/.f64 re (sqrt.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 im 1/4) (sqrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))))) (-.f64 (pow.f64 im 1/4) (sqrt.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 im (*.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) (+.f64 (sqrt.f64 im) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))) (-.f64 (pow.f64 im 3/2) (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (sqrt.f64 im) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))) (-.f64 im (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 im 3/2) (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 3)) (+.f64 im (*.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) (+.f64 (sqrt.f64 im) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 im (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2)) (+.f64 (sqrt.f64 im) (*.f64 1/2 (/.f64 re (sqrt.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 im 3/2) (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 3))) (neg.f64 (+.f64 im (*.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) (+.f64 (sqrt.f64 im) (*.f64 1/2 (/.f64 re (sqrt.f64 im))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 im (pow.f64 (*.f64 1/2 (/.f64 re (sqrt.f64 im))) 2))) (neg.f64 (+.f64 (sqrt.f64 im) (*.f64 1/2 (/.f64 re (sqrt.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 im 3/2) (pow.f64 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2) 3)) (+.f64 im (-.f64 (*.f64 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) (*.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 im (*.f64 (*.f64 (/.f64 re (sqrt.f64 im)) -1/2) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))) (-.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 im) (cbrt.f64 (sqrt.f64 im)) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 im 1/4) (pow.f64 im 1/4) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 (sqrt.f64 im) (*.f64 (/.f64 re (sqrt.f64 im)) -1/2))))))))

simplify97.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
401×fma-def_binary64
385×fma-neg_binary64
154×cancel-sign-sub-inv_binary64
138×associate-*l*_binary64
127×associate-*r*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
021609
148591
2115528
3319528
4558528
5761528
61051528
71320528
81822528
92015528
102123528
112123528
Stop Event
1×saturated
Counts
270 → 246
Calls
Call 1
Inputs
(*.f64 (sqrt.f64 2) (sqrt.f64 im))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(*.f64 -1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(*.f64 -1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(sqrt.f64 im)
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
(*.f64 -1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
(*.f64 -1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
Outputs
(*.f64 (sqrt.f64 2) (sqrt.f64 im))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(+.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(fma.f64 (sqrt.f64 2) (sqrt.f64 im) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(*.f64 (sqrt.f64 2) (fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im)))
(*.f64 (sqrt.f64 2) (fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im)))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(+.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(fma.f64 (sqrt.f64 2) (sqrt.f64 im) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(*.f64 (sqrt.f64 2) (fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im)))
(*.f64 (sqrt.f64 2) (fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im)))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(+.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(fma.f64 (sqrt.f64 2) (sqrt.f64 im) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(*.f64 (sqrt.f64 2) (fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im)))
(*.f64 (sqrt.f64 2) (fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im)))
(*.f64 -1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))))
(*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2)
(*.f64 (sqrt.f64 2) (*.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2)))
(*.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2)))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(+.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(fma.f64 (sqrt.f64 2) (sqrt.f64 im) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(*.f64 (sqrt.f64 2) (fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im)))
(*.f64 (sqrt.f64 2) (fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im)))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(+.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(fma.f64 (sqrt.f64 2) (sqrt.f64 im) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(*.f64 (sqrt.f64 2) (fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im)))
(*.f64 (sqrt.f64 2) (fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im)))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(+.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(fma.f64 (sqrt.f64 2) (sqrt.f64 im) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(*.f64 (sqrt.f64 2) (fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im)))
(*.f64 (sqrt.f64 2) (fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im)))
(*.f64 -1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))))
(*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2)
(*.f64 (sqrt.f64 2) (*.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2)))
(*.f64 (sqrt.f64 2) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2)))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(+.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(fma.f64 (sqrt.f64 2) (sqrt.f64 im) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(*.f64 (sqrt.f64 2) (fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im)))
(*.f64 (sqrt.f64 2) (fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im)))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(+.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(fma.f64 (sqrt.f64 2) (sqrt.f64 im) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(*.f64 (sqrt.f64 2) (fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im)))
(*.f64 (sqrt.f64 2) (fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im)))
(-.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(+.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 im)) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(fma.f64 (sqrt.f64 2) (sqrt.f64 im) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) -1/2))
(*.f64 (sqrt.f64 2) (fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im)))
(*.f64 (sqrt.f64 2) (fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im)))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 (*.f64 1/2 re) (sqrt.f64 (/.f64 1 im)))
(*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 (*.f64 1/2 re) (sqrt.f64 (/.f64 1 im)))
(*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 (*.f64 1/2 re) (sqrt.f64 (/.f64 1 im)))
(*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 (*.f64 1/2 re) (sqrt.f64 (/.f64 1 im)))
(*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 (*.f64 1/2 re) (sqrt.f64 (/.f64 1 im)))
(*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 (*.f64 1/2 re) (sqrt.f64 (/.f64 1 im)))
(*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 (*.f64 1/2 re) (sqrt.f64 (/.f64 1 im)))
(*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 (*.f64 1/2 re) (sqrt.f64 (/.f64 1 im)))
(*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 (*.f64 1/2 re) (sqrt.f64 (/.f64 1 im)))
(*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 (*.f64 1/2 re) (sqrt.f64 (/.f64 1 im)))
(*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 (*.f64 1/2 re) (sqrt.f64 (/.f64 1 im)))
(*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re))
(*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 (*.f64 1/2 re) (sqrt.f64 (/.f64 1 im)))
(*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re))
(sqrt.f64 im)
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
(+.f64 (sqrt.f64 im) (*.f64 (*.f64 -1/2 re) (sqrt.f64 (/.f64 1 im))))
(-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re)))
(fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im))
(fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im))
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
(+.f64 (sqrt.f64 im) (*.f64 (*.f64 -1/2 re) (sqrt.f64 (/.f64 1 im))))
(-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re)))
(fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im))
(fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im))
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
(+.f64 (sqrt.f64 im) (*.f64 (*.f64 -1/2 re) (sqrt.f64 (/.f64 1 im))))
(-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re)))
(fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im))
(fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im))
(*.f64 -1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 (*.f64 -1/2 re) (sqrt.f64 (/.f64 1 im)))
(*.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2))
(*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2))
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
(+.f64 (sqrt.f64 im) (*.f64 (*.f64 -1/2 re) (sqrt.f64 (/.f64 1 im))))
(-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re)))
(fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im))
(fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im))
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
(+.f64 (sqrt.f64 im) (*.f64 (*.f64 -1/2 re) (sqrt.f64 (/.f64 1 im))))
(-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re)))
(fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im))
(fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im))
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
(+.f64 (sqrt.f64 im) (*.f64 (*.f64 -1/2 re) (sqrt.f64 (/.f64 1 im))))
(-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re)))
(fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im))
(fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im))
(*.f64 -1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))))
(*.f64 (*.f64 -1/2 re) (sqrt.f64 (/.f64 1 im)))
(*.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2))
(*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2))
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
(+.f64 (sqrt.f64 im) (*.f64 (*.f64 -1/2 re) (sqrt.f64 (/.f64 1 im))))
(-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re)))
(fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im))
(fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im))
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
(+.f64 (sqrt.f64 im) (*.f64 (*.f64 -1/2 re) (sqrt.f64 (/.f64 1 im))))
(-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re)))
(fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im))
(fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im))
(-.f64 (sqrt.f64 im) (*.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im)))))
(+.f64 (sqrt.f64 im) (*.f64 (*.f64 -1/2 re) (sqrt.f64 (/.f64 1 im))))
(-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re)))
(fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re -1/2) (sqrt.f64 im))
(fma.f64 re (*.f64 (sqrt.f64 (/.f64 1 im)) -1/2) (sqrt.f64 im))

prune187.0ms (4.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New2460246
Fresh066
Picked011
Done011
Total2468254
Error
0.1b
Counts
254 → 8
Alt Table
StatusErrorProgram
57.1b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (fma.f64 1/2 (*.f64 (/.f64 im re) im) (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8)))))
54.3b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (*.f64 (/.f64 1/2 re) (*.f64 im im)))))
54.3b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
✓14.9b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re))))
51.9b
(*.f64 1/2 (fma.f64 (sqrt.f64 1/2) (*.f64 (*.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 5))) (*.f64 (*.f64 (/.f64 (pow.f64 im 3) (sqrt.f64 1/2)) (sqrt.f64 2)) -1/16))))
▶45.8b
(*.f64 1/2 (*.f64 (*.f64 im (sqrt.f64 2)) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re)))))
45.9b
(*.f64 1/2 (*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
✓33.0b
(*.f64 1/2 (*.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2)))))
Compiler

Compiled 8416 to 5577 computations (33.7% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(sqrt.f64 (/.f64 1 re))
✓0.1b
(*.f64 (*.f64 im (sqrt.f64 2)) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re))))
✓0.2b
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re)))
✓0.4b
(*.f64 im (sqrt.f64 2))

series13.0ms (0.3%)

Counts
4 → 24
Calls

15 calls:

TimeVariablePointExpression
3.0ms
re
@-inf
(*.f64 (*.f64 im (sqrt.f64 2)) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re))))
1.0ms
im
@0
(*.f64 (*.f64 im (sqrt.f64 2)) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re))))
1.0ms
re
@0
(*.f64 (*.f64 im (sqrt.f64 2)) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re))))
1.0ms
im
@inf
(*.f64 (*.f64 im (sqrt.f64 2)) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re))))
1.0ms
re
@inf
(*.f64 (*.f64 im (sqrt.f64 2)) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re))))

rewrite53.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
574×log-prod_binary64
203×expm1-udef_binary64
203×log1p-udef_binary64
189×pow3_binary64
181×log-pow_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01338
126328
2292028
Stop Event
1×node limit
Counts
4 → 91
Calls
Call 1
Inputs
(*.f64 im (sqrt.f64 2))
(*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re)))
(*.f64 (*.f64 im (sqrt.f64 2)) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 1 re))))
(sqrt.f64 (/.f64 1 re))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 im (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 im) (sqrt.f64 2))) (cbrt.f64 (pow.f64 (exp.f64 im) (sqrt.f64 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 im) (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 im) (sqrt.f64 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 im) (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 im (sqrt.f64 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 im (sqrt.f64 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 im (sqrt.f64 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 im (sqrt.f64 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 im (sqrt.f64 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 2 (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 im) (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 im (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 im (sqrt.f64 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 im 3) (*.f64 2 (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 2 (sqrt.f64 2)) (pow.f64 im 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 im (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 im (sqrt.f64 2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 im (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 im (sqrt.f64 2))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (/.f64 1/2 re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 1/2 re)))) (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 1/2 re)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 1/2 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 1/2 re))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 1/2 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (/.f64 1/2 re)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 1/2) (sqrt.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 1/2 re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1/2 re) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (sqrt.f64 (/.f64 1/2 re)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 1/2 re))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 1/2 re))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 1/2 re))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (/.f64 1/2 re))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (/.f64 1/2 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 1/2 re)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 1/2 (sqrt.f64 1/2)) (pow.f64 (/.f64 1 re) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 1 re) 3/2) (*.f64 1/2 (sqrt.f64 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (/.f64 1/2 re))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 1/2 re))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (/.f64 1/2 re))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (/.f64 1/2 re))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 im) (sqrt.f64 (*.f64 2 (/.f64 1/2 re))))) (cbrt.f64 (pow.f64 (exp.f64 im) (sqrt.f64 (*.f64 2 (/.f64 1/2 re))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 im) (sqrt.f64 (*.f64 2 (/.f64 1/2 re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 im) (sqrt.f64 (*.f64 2 (/.f64 1/2 re)))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 im) (sqrt.f64 (*.f64 2 (/.f64 1/2 re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 im (*.f64 (sqrt.f64 2) (sqrt.f64 1/2))) (sqrt.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 im (*.f64 (sqrt.f64 2) (sqrt.f64 1/2))) 1) (sqrt.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (*.f64 2 (*.f64 im im)) (/.f64 1/2 re)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 im) (sqrt.f64 (*.f64 2 (/.f64 1/2 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 im (sqrt.f64 2)) 3) (pow.f64 (sqrt.f64 (/.f64 1/2 re)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 1/2 re)) 3) (pow.f64 (*.f64 im (sqrt.f64 2)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re))))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 re -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 re -1/2))) (cbrt.f64 (exp.f64 (pow.f64 re -1/2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 re -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 re -1/2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 re -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 re -1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 re -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 re -1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 re -1/2)) (/.f64 1 (cbrt.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 re)) (cbrt.f64 (pow.f64 re -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 re -1/2)) (sqrt.f64 (pow.f64 re -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cbrt.f64 (pow.f64 re -2))) (sqrt.f64 (/.f64 1 (cbrt.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (pow.f64 re -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 re -2)) 1/2) (pow.f64 (/.f64 1 (cbrt.f64 re)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (sqrt.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (sqrt.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (neg.f64 (sqrt.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 -1) (sqrt.f64 (neg.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 re -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 re) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 re -1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 1 re) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (pow.f64 re -1/2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (pow.f64 re -1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 re) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sqrt.f64 re) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (pow.f64 re -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 re -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 re -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 1 re) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 -1/2 (log.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (neg.f64 (log.f64 re)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 -1/2 (log.f64 re)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 re -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 re -1/2)))))))

simplify14.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
26×associate-*l*_binary64
16×associate-*r*_binary64
14×*-commutative_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
013300
122300
243300
382300
486300
Stop Event
1×saturated
Counts
115 → 94
Calls
Call 1
Inputs
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
Outputs
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (sqrt.f64 2) im)
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 (sqrt.f64 2) im) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 2) (*.f64 im (sqrt.f64 1/2))) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 2) (*.f64 (*.f64 im (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 (sqrt.f64 2) im) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 2) (*.f64 im (sqrt.f64 1/2))) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 2) (*.f64 (*.f64 im (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 (sqrt.f64 2) im) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 2) (*.f64 im (sqrt.f64 1/2))) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 2) (*.f64 (*.f64 im (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 (sqrt.f64 2) im) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 2) (*.f64 im (sqrt.f64 1/2))) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 2) (*.f64 (*.f64 im (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 (sqrt.f64 2) im) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 2) (*.f64 im (sqrt.f64 1/2))) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 2) (*.f64 (*.f64 im (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 (sqrt.f64 2) im) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 2) (*.f64 im (sqrt.f64 1/2))) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 2) (*.f64 (*.f64 im (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 (sqrt.f64 2) im) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 2) (*.f64 im (sqrt.f64 1/2))) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 2) (*.f64 (*.f64 im (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 (sqrt.f64 2) im) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 2) (*.f64 im (sqrt.f64 1/2))) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 2) (*.f64 (*.f64 im (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 (sqrt.f64 2) im) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 2) (*.f64 im (sqrt.f64 1/2))) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 2) (*.f64 (*.f64 im (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 (sqrt.f64 2) im) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 2) (*.f64 im (sqrt.f64 1/2))) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 2) (*.f64 (*.f64 im (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 (sqrt.f64 2) im) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 2) (*.f64 im (sqrt.f64 1/2))) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 2) (*.f64 (*.f64 im (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 (sqrt.f64 2) im) (sqrt.f64 (/.f64 1 re))))
(*.f64 (*.f64 (sqrt.f64 2) (*.f64 im (sqrt.f64 1/2))) (sqrt.f64 (/.f64 1 re)))
(*.f64 (sqrt.f64 2) (*.f64 (*.f64 im (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 re))))

prune66.0ms (1.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New90494
Fresh415
Picked101
Done022
Total957102
Error
0.0b
Counts
102 → 7
Alt Table
StatusErrorProgram
▶45.7b
(*.f64 1/2 (+.f64 0 (*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re))))))
54.3b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (*.f64 (/.f64 1/2 re) (*.f64 im im)))))
46.9b
(*.f64 1/2 (*.f64 (*.f64 im (sqrt.f64 2)) (exp.f64 (log.f64 (sqrt.f64 (/.f64 1/2 re))))))
✓14.9b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re))))
45.8b
(*.f64 1/2 (*.f64 (*.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1/2 re))))
46.0b
(*.f64 1/2 (*.f64 (*.f64 im (sqrt.f64 2)) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 1/2 re))) 3)))
✓33.0b
(*.f64 1/2 (*.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2)))))
Compiler

Compiled 1703 to 1441 computations (15.4% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(sqrt.f64 (*.f64 2 (/.f64 1/2 re)))
✓0.1b
(*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re))))

series5.0ms (0.1%)

Counts
2 → 12
Calls

9 calls:

TimeVariablePointExpression
1.0ms
im
@inf
(*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re))))
1.0ms
re
@inf
(*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re))))
1.0ms
im
@0
(*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re))))
1.0ms
re
@0
(*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re))))
1.0ms
re
@-inf
(*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re))))

rewrite38.0ms (1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0915
118915
2212915
Stop Event
1×node limit
Counts
2 → 41
Calls
Call 1
Inputs
(*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re))))
(sqrt.f64 (*.f64 2 (/.f64 1/2 re)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 im (/.f64 1 (sqrt.f64 re))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 im (/.f64 1 (sqrt.f64 re))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 im (/.f64 1 (sqrt.f64 re))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 im (/.f64 1 (sqrt.f64 re)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 im (/.f64 1 (sqrt.f64 re)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (/.f64 1 re) (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 im) (/.f64 1 (sqrt.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 im (/.f64 1 (sqrt.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 im (/.f64 1 (sqrt.f64 re))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 im 3) (pow.f64 (/.f64 1 re) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 1 re) 3/2) (pow.f64 im 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 im (/.f64 1 (sqrt.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 im (/.f64 1 (sqrt.f64 re)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 im (/.f64 1 (sqrt.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 im (/.f64 1 (sqrt.f64 re)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 1 (sqrt.f64 re)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 1 (sqrt.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 re))) (/.f64 1 (cbrt.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 re)) (cbrt.f64 (/.f64 1 (sqrt.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 1 re) 1/4) (pow.f64 (/.f64 1 re) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 1/2 re)) (sqrt.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1/2 re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (/.f64 1 (cbrt.f64 re)) 2)) (sqrt.f64 (/.f64 1 (cbrt.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (/.f64 1 (sqrt.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (/.f64 1 (cbrt.f64 re)) 2) 1/2) (pow.f64 (/.f64 1 (cbrt.f64 re)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (sqrt.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 re) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (sqrt.f64 re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 1 re) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 re))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 1 re) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 1 (sqrt.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 1 (sqrt.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 1 (sqrt.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 1 re) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 1/2 (neg.f64 (log.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (neg.f64 (log.f64 re)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 1/2 (neg.f64 (log.f64 re))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 1 (sqrt.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 1 (sqrt.f64 re))))))))

simplify7.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
07108
110108
Stop Event
1×saturated
Counts
53 → 42
Calls
Call 1
Inputs
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
Outputs
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)
(*.f64 (sqrt.f64 (/.f64 1 re)) im)

prune26.0ms (0.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New42042
Fresh044
Picked011
Done022
Total42749
Error
0.0b
Counts
49 → 7
Alt Table
StatusErrorProgram
✓45.7b
(*.f64 1/2 (+.f64 0 (*.f64 im (sqrt.f64 (*.f64 2 (/.f64 1/2 re))))))
54.3b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (*.f64 (/.f64 1/2 re) (*.f64 im im)))))
46.9b
(*.f64 1/2 (*.f64 (*.f64 im (sqrt.f64 2)) (exp.f64 (log.f64 (sqrt.f64 (/.f64 1/2 re))))))
✓14.9b
(*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re))))
45.8b
(*.f64 1/2 (*.f64 (*.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1/2 re))))
46.0b
(*.f64 1/2 (*.f64 (*.f64 im (sqrt.f64 2)) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 1/2 re))) 3)))
✓33.0b
(*.f64 1/2 (*.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 re 1/2)))))
Compiler

Compiled 659 to 518 computations (21.4% saved)

regimes445.0ms (11.4%)

Accuracy

Total 6.4b remaining (98.2%)

Threshold costs 0b (0%)

Counts
55 → 2
Compiler

Compiled 806 to 620 computations (23.1% saved)

bsearch1.0ms (0%)

Algorithm
1×left-value
Calls

1 calls:

0.0ms
(-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)
Steps
ItersPointRange
0.0
∈ [
0.0
, 
2.3318681831843079e-265
]
Compiler

Compiled 12 to 7 computations (41.7% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
5×+-commutative_binary64
5×*-commutative_binary64
3×sub-neg_binary64
1×+-lft-identity_binary64
1×neg-sub0_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02548
13648
24148
34348
44448
Stop Event
1×saturated
Calls
Call 1
Inputs
(if (<=.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re) 0) (*.f64 1/2 (+.f64 0 (*.f64 im (pow.f64 (/.f64 1 re) 1/2)))) (*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))))
Outputs
(if (<=.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re) 0) (*.f64 1/2 (+.f64 0 (*.f64 im (pow.f64 (/.f64 1 re) 1/2)))) (*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))))
(if (<=.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re) 0) (*.f64 1/2 (*.f64 im (pow.f64 (/.f64 1 re) 1/2))) (*.f64 1/2 (sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))))

end114.0ms (2.9%)

Stop Event
1×fuel
Compiler

Compiled 170 to 133 computations (21.8% saved)

Profiling

Loading profile data...