Details

Time bar (total: 6.1s)

analyze106.0ms (1.7%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
50%50%50%0.1%0%0%0%2
50%50%50%0.1%0%0%0%3
75%74.9%25%0.1%0%0%0%4
75%74.9%25%0.1%0%0%0%5
80%74.9%18.7%0.1%6.2%0%0%6
80%74.9%18.7%0.1%6.2%0%0%7
82.8%74.9%15.6%0.1%9.4%0%0%8
82.8%74.9%15.6%0.1%9.4%0%0%9
84.2%74.9%14%0.1%10.9%0%0%10
84.2%74.9%14%0.1%10.9%0%0%11
85%74.9%13.3%0.1%11.7%0%0%12
Compiler

Compiled 8 to 6 computations (25% saved)

sample4.3s (70.3%)

Results
1.8s6204×body256valid
946.0ms1331×body1024valid
647.0ms677×body1024infinite
468.0ms713×body512valid
181.0ms326×body512infinite
165.0ms435×body256infinite
71.0ms8×body2048valid
Bogosity

preprocess266.0ms (4.4%)

Algorithm
2×egg-herbie
Rules
1578×rational.json-simplify-64
1462×trig.json-simplify-41
768×rational.json-simplify-45
678×rational.json-simplify-1
636×rational.json-simplify-42
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01130
12530
24530
37530
412030
523930
659130
7226830
8480730
022
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 im) (cos.f64 re))
Outputs
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 im) (cos.f64 re))
Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify70.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
1234×rational.json-simplify-1
1208×rational.json-simplify-64
906×rational.json-simplify-46
738×trig.json-simplify-41
662×trig.json-simplify-49
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
11715
22815
34415
46815
513415
632615
7123215
8318715
Stop Event
1×node limit
Counts
1 → 1
Calls
Call 1
Inputs
(*.f64 (exp.f64 re) (cos.f64 im))
Outputs
(*.f64 (exp.f64 re) (cos.f64 im))

eval0.0ms (0%)

Compiler

Compiled 7 to 5 computations (28.6% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶0.0b
(*.f64 (exp.f64 re) (cos.f64 im))
Compiler

Compiled 7 to 5 computations (28.6% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (exp.f64 re) (cos.f64 im))
Compiler

Compiled 13 to 5 computations (61.5% saved)

series3.0ms (0.1%)

Counts
1 → 8
Calls

6 calls:

TimeVariablePointExpression
1.0ms
re
@inf
(*.f64 (exp.f64 re) (cos.f64 im))
1.0ms
im
@0
(*.f64 (exp.f64 re) (cos.f64 im))
0.0ms
re
@-inf
(*.f64 (exp.f64 re) (cos.f64 im))
0.0ms
re
@0
(*.f64 (exp.f64 re) (cos.f64 im))
0.0ms
im
@inf
(*.f64 (exp.f64 re) (cos.f64 im))

rewrite116.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
1130×rational.json-simplify-2
734×rational.json-simplify-42
712×rational.json-5
710×exponential.json-3
710×rational.json-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
17515
229115
3121115
4566915
Stop Event
1×node limit
Counts
1 → 8
Calls
Call 1
Inputs
(*.f64 (exp.f64 re) (cos.f64 im))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (exp.f64 re) (cos.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (exp.f64 re) (cos.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (*.f64 (exp.f64 re) (cos.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (exp.f64 re) (cos.f64 im))))))))

simplify164.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
928×rational.json-simplify-46
844×rational.json-simplify-111
832×rational.json-simplify-2
624×rational.json-simplify-41
556×rational.json-simplify-49
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
054460
1116460
2234420
3476400
41710400
54399400
67530400
Stop Event
1×node limit
Counts
16 → 36
Calls
Call 1
Inputs
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(+.f64 (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))) (+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))))
(exp.f64 re)
(+.f64 (*.f64 -1/2 (*.f64 (exp.f64 re) (pow.f64 im 2))) (exp.f64 re))
(+.f64 (*.f64 -1/2 (*.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (*.f64 1/24 (*.f64 (exp.f64 re) (pow.f64 im 4))) (exp.f64 re)))
(+.f64 (*.f64 -1/2 (*.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (*.f64 1/24 (*.f64 (exp.f64 re) (pow.f64 im 4))) (+.f64 (exp.f64 re) (*.f64 -1/720 (*.f64 (exp.f64 re) (pow.f64 im 6))))))
(+.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 0)
(+.f64 0 (*.f64 (exp.f64 re) (cos.f64 im)))
(-.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 0)
(-.f64 0 (neg.f64 (*.f64 (exp.f64 re) (cos.f64 im))))
(/.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1)
(/.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (*.f64 (exp.f64 re) (cos.f64 im))))
(pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1)
(neg.f64 (neg.f64 (*.f64 (exp.f64 re) (cos.f64 im))))
Outputs
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (cos.f64 im) (*.f64 (cos.f64 im) re))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(+.f64 (+.f64 (cos.f64 im) (*.f64 (cos.f64 im) re)) (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))))
(+.f64 (cos.f64 im) (*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) re)))
(+.f64 (cos.f64 im) (*.f64 (cos.f64 im) (+.f64 re (*.f64 1/2 (pow.f64 re 2)))))
(+.f64 (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))) (+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (+.f64 (cos.f64 im) (*.f64 (cos.f64 im) re)) (*.f64 (cos.f64 im) (*.f64 (pow.f64 re 3) 1/6))))
(+.f64 (+.f64 (cos.f64 im) (*.f64 (cos.f64 im) re)) (+.f64 (*.f64 (cos.f64 im) (*.f64 1/6 (pow.f64 re 3))) (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2)))))
(+.f64 (+.f64 (cos.f64 im) (*.f64 (cos.f64 im) re)) (*.f64 (cos.f64 im) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (*.f64 1/2 (pow.f64 re 2)))))
(+.f64 (cos.f64 im) (*.f64 (cos.f64 im) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 1/2 (pow.f64 re 2))))))
(+.f64 (cos.f64 im) (*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/6 (pow.f64 re 3)) (*.f64 1/2 (pow.f64 re 2))))))
(exp.f64 re)
(+.f64 (*.f64 -1/2 (*.f64 (exp.f64 re) (pow.f64 im 2))) (exp.f64 re))
(+.f64 (exp.f64 re) (*.f64 -1/2 (*.f64 (exp.f64 re) (pow.f64 im 2))))
(+.f64 (exp.f64 re) (*.f64 (exp.f64 re) (*.f64 -1/2 (pow.f64 im 2))))
(+.f64 (*.f64 -1/2 (*.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (*.f64 1/24 (*.f64 (exp.f64 re) (pow.f64 im 4))) (exp.f64 re)))
(+.f64 (*.f64 -1/2 (*.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (exp.f64 re) (*.f64 (exp.f64 re) (*.f64 (pow.f64 im 4) 1/24))))
(+.f64 (*.f64 -1/2 (*.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (exp.f64 re) (*.f64 (exp.f64 re) (*.f64 1/24 (pow.f64 im 4)))))
(+.f64 (exp.f64 re) (*.f64 (exp.f64 re) (+.f64 (*.f64 1/24 (pow.f64 im 4)) (*.f64 -1/2 (pow.f64 im 2)))))
(+.f64 (*.f64 -1/2 (*.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (*.f64 1/24 (*.f64 (exp.f64 re) (pow.f64 im 4))) (+.f64 (exp.f64 re) (*.f64 -1/720 (*.f64 (exp.f64 re) (pow.f64 im 6))))))
(+.f64 (*.f64 -1/2 (*.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (*.f64 (exp.f64 re) (*.f64 (pow.f64 im 4) 1/24)) (+.f64 (exp.f64 re) (*.f64 (exp.f64 re) (*.f64 (pow.f64 im 6) -1/720)))))
(+.f64 (*.f64 -1/2 (*.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (*.f64 (exp.f64 re) (*.f64 1/24 (pow.f64 im 4))) (+.f64 (exp.f64 re) (*.f64 (exp.f64 re) (*.f64 -1/720 (pow.f64 im 6))))))
(+.f64 (exp.f64 re) (+.f64 (*.f64 (exp.f64 re) (*.f64 -1/2 (pow.f64 im 2))) (*.f64 (exp.f64 re) (+.f64 (*.f64 -1/720 (pow.f64 im 6)) (*.f64 1/24 (pow.f64 im 4))))))
(+.f64 (exp.f64 re) (*.f64 (exp.f64 re) (+.f64 (*.f64 -1/2 (pow.f64 im 2)) (+.f64 (*.f64 1/24 (pow.f64 im 4)) (*.f64 -1/720 (pow.f64 im 6))))))
(+.f64 (exp.f64 re) (*.f64 (exp.f64 re) (+.f64 (*.f64 1/24 (pow.f64 im 4)) (+.f64 (*.f64 -1/2 (pow.f64 im 2)) (*.f64 -1/720 (pow.f64 im 6))))))
(+.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))
(+.f64 0 (*.f64 (exp.f64 re) (cos.f64 im)))
(*.f64 (cos.f64 im) (exp.f64 re))
(-.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))
(-.f64 0 (neg.f64 (*.f64 (exp.f64 re) (cos.f64 im))))
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1)
(*.f64 (cos.f64 im) (exp.f64 re))
(/.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (/.f64 (*.f64 (exp.f64 re) (cos.f64 im)) (*.f64 (exp.f64 re) (cos.f64 im))))
(*.f64 (cos.f64 im) (exp.f64 re))
(pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1)
(*.f64 (cos.f64 im) (exp.f64 re))
(neg.f64 (neg.f64 (*.f64 (exp.f64 re) (cos.f64 im))))
(*.f64 (cos.f64 im) (exp.f64 re))

eval10.0ms (0.2%)

Compiler

Compiled 554 to 290 computations (47.7% saved)

prune7.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New33336
Fresh000
Picked011
Done000
Total33437
Error
0b
Counts
37 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
▶26.5b
(+.f64 (cos.f64 im) (*.f64 (cos.f64 im) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 1/2 (pow.f64 re 2))))))
✓0.0b
(*.f64 (exp.f64 re) (cos.f64 im))
▶18.2b
(exp.f64 re)
▶26.3b
(cos.f64 im)
Compiler

Compiled 36 to 26 computations (27.8% saved)

localize149.0ms (2.4%)

Compiler

Compiled 5 to 3 computations (40% saved)

localize5.0ms (0.1%)

Compiler

Compiled 5 to 3 computations (40% saved)

localize62.0ms (1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 1/2 (pow.f64 re 2)))))
✓0.1b
(*.f64 1/6 (pow.f64 re 3))
✓14.2b
(+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
Compiler

Compiled 81 to 57 computations (29.6% saved)

series8.0ms (0.1%)

Counts
3 → 36
Calls

12 calls:

TimeVariablePointExpression
2.0ms
im
@inf
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 1/2 (pow.f64 re 2)))))
1.0ms
re
@inf
(*.f64 1/6 (pow.f64 re 3))
1.0ms
im
@0
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 1/2 (pow.f64 re 2)))))
1.0ms
im
@-inf
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 1/2 (pow.f64 re 2)))))
1.0ms
re
@0
(*.f64 1/6 (pow.f64 re 3))

rewrite101.0ms (1.7%)

Algorithm
1×batch-egg-rewrite
Rules
986×rational.json-5
984×exponential.json-3
984×rational.json-1
984×rational.json-2
984×rational.json-4
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01797
114897
246897
3183997
Stop Event
1×node limit
Counts
3 → 23
Calls
Call 1
Inputs
(+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(*.f64 1/6 (pow.f64 re 3))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 1/2 (pow.f64 re 2)))))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (/.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))) (/.f64 1 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))) (*.f64 (/.f64 1 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))) (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))))) (/.f64 (/.f64 1 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))) (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (/.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/6 (pow.f64 re 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 1/6 (pow.f64 re 3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 1/6 (pow.f64 re 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/6 (pow.f64 re 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/6 (pow.f64 re 3)) (/.f64 (*.f64 1/6 (pow.f64 re 3)) (*.f64 1/6 (pow.f64 re 3))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/6 (pow.f64 re 3)) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) (/.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) 1)))))

simplify189.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
1368×rational.json-simplify-47
1074×rational.json-simplify-43
1014×rational.json-simplify-49
726×rational.json-simplify-54
672×rational.json-simplify-50
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0872461
11902451
25512347
323302269
466242269
Stop Event
1×node limit
Counts
59 → 64
Calls
Call 1
Inputs
re
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re))
(*.f64 1/6 (pow.f64 re 3))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re))
(*.f64 1/6 (pow.f64 re 3))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 -1/2 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)) (pow.f64 im 2))))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 (*.f64 1/24 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)) (pow.f64 im 4))) (+.f64 re (*.f64 -1/2 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)) (pow.f64 im 2)))))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 -1/720 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)) (pow.f64 im 6))) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 (*.f64 1/24 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)) (pow.f64 im 4))) (+.f64 re (*.f64 -1/2 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)) (pow.f64 im 2))))))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)))
(*.f64 (cos.f64 im) re)
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) re))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))) (*.f64 (cos.f64 im) re)))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))) (*.f64 (cos.f64 im) re)))
(*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3)))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))) (*.f64 (cos.f64 im) re)))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))) (*.f64 (cos.f64 im) re)))
(*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3)))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))) (*.f64 (cos.f64 im) re)))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))) (*.f64 (cos.f64 im) re)))
(-.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) 0)
(*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) 1)
(*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (/.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))))
(*.f64 1 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))) (/.f64 1 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))))
(*.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))) (*.f64 (/.f64 1 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))) 1))
(*.f64 (/.f64 1 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))) (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))))
(*.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))))) (/.f64 (/.f64 1 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))) (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))))
(/.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) 1)
(/.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (/.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))))
(pow.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) 1)
(+.f64 (*.f64 1/6 (pow.f64 re 3)) 0)
(+.f64 0 (*.f64 1/6 (pow.f64 re 3)))
(-.f64 (*.f64 1/6 (pow.f64 re 3)) 0)
(/.f64 (*.f64 1/6 (pow.f64 re 3)) 1)
(/.f64 (*.f64 1/6 (pow.f64 re 3)) (/.f64 (*.f64 1/6 (pow.f64 re 3)) (*.f64 1/6 (pow.f64 re 3))))
(pow.f64 (*.f64 1/6 (pow.f64 re 3)) 1)
(+.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) 0)
(+.f64 0 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)))
(-.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) 0)
(/.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) 1)
(/.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) (/.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im))))
(pow.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) 1)
Outputs
re
(+.f64 (*.f64 1/2 (pow.f64 re 2)) re)
(+.f64 re (*.f64 1/2 (pow.f64 re 2)))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(*.f64 1/6 (pow.f64 re 3))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(*.f64 1/6 (pow.f64 re 3))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 -1/2 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)) (pow.f64 im 2))))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 -1/2 (*.f64 (pow.f64 im 2) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))))))
(+.f64 re (+.f64 (+.f64 (*.f64 1/6 (pow.f64 re 3)) (*.f64 (pow.f64 im 2) (*.f64 -1/2 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))))) (*.f64 1/2 (pow.f64 re 2))))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (*.f64 -1/2 (pow.f64 im 2))))))
(*.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))) (+.f64 1 (*.f64 -1/2 (pow.f64 im 2))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 (*.f64 1/24 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)) (pow.f64 im 4))) (+.f64 re (*.f64 -1/2 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)) (pow.f64 im 2)))))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 (+.f64 re (*.f64 -1/2 (*.f64 (pow.f64 im 2) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))))) (*.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))) (*.f64 (pow.f64 im 4) 1/24)))))
(+.f64 (+.f64 (*.f64 (pow.f64 im 2) (*.f64 -1/2 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))) (+.f64 re (*.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))) (*.f64 1/24 (pow.f64 im 4))))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 re (+.f64 (+.f64 (*.f64 1/6 (pow.f64 re 3)) (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/24 (pow.f64 im 4)) (*.f64 -1/2 (pow.f64 im 2))))) (*.f64 1/2 (pow.f64 re 2))))
(+.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))) (+.f64 re (*.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 -1/2 (pow.f64 im 2)) (*.f64 1/24 (pow.f64 im 4))))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 -1/720 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)) (pow.f64 im 6))) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 (*.f64 1/24 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)) (pow.f64 im 4))) (+.f64 re (*.f64 -1/2 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)) (pow.f64 im 2))))))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 (+.f64 (+.f64 re (*.f64 -1/2 (*.f64 (pow.f64 im 2) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))))) (*.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))) (*.f64 (pow.f64 im 4) 1/24))) (*.f64 -1/720 (*.f64 (pow.f64 im 6) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))))))
(+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 (+.f64 (+.f64 (*.f64 (pow.f64 im 2) (*.f64 -1/2 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))) (+.f64 re (*.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))) (*.f64 1/24 (pow.f64 im 4))))) (*.f64 -1/720 (*.f64 (pow.f64 im 6) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))))) (*.f64 1/2 (pow.f64 re 2))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (+.f64 re (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/24 (pow.f64 im 4)) (*.f64 -1/2 (pow.f64 im 2))))) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (*.f64 -1/720 (*.f64 (pow.f64 im 6) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))))))
(+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 -1/720 (pow.f64 im 6)) (+.f64 (*.f64 -1/2 (pow.f64 im 2)) (*.f64 1/24 (pow.f64 im 4))))))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 (*.f64 1/6 (pow.f64 re 3)) re)))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) re)
(*.f64 re (cos.f64 im))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 (cos.f64 im) re))
(+.f64 (*.f64 re (cos.f64 im)) (*.f64 1/2 (*.f64 (pow.f64 re 2) (cos.f64 im))))
(*.f64 (cos.f64 im) (+.f64 re (*.f64 1/2 (pow.f64 re 2))))
(*.f64 (+.f64 re (*.f64 1/2 (pow.f64 re 2))) (cos.f64 im))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))) (*.f64 (cos.f64 im) re)))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))) (*.f64 (cos.f64 im) re)))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3)))
(*.f64 (cos.f64 im) (*.f64 1/6 (pow.f64 re 3)))
(*.f64 1/6 (*.f64 (pow.f64 re 3) (cos.f64 im)))
(*.f64 (pow.f64 re 3) (*.f64 1/6 (cos.f64 im)))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (*.f64 (pow.f64 re 2) (cos.f64 im))) (*.f64 (cos.f64 im) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 (pow.f64 re 2) (*.f64 (cos.f64 im) 1/2)) (*.f64 1/6 (*.f64 (pow.f64 re 3) (cos.f64 im))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))) (*.f64 (cos.f64 im) re)))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))) (*.f64 (cos.f64 im) re)))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3)))
(*.f64 (cos.f64 im) (*.f64 1/6 (pow.f64 re 3)))
(*.f64 1/6 (*.f64 (pow.f64 re 3) (cos.f64 im)))
(*.f64 (pow.f64 re 3) (*.f64 1/6 (cos.f64 im)))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (*.f64 (pow.f64 re 2) (cos.f64 im))) (*.f64 (cos.f64 im) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 (pow.f64 re 2) (*.f64 (cos.f64 im) 1/2)) (*.f64 1/6 (*.f64 (pow.f64 re 3) (cos.f64 im))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))) (*.f64 (cos.f64 im) re)))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 im) (pow.f64 re 3))) (*.f64 (cos.f64 im) re)))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(-.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) 0)
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) 1)
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (/.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(*.f64 1 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(*.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))) (/.f64 1 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(*.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))) (*.f64 (/.f64 1 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))) 1))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(*.f64 (/.f64 1 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))) (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(*.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))))) (/.f64 (/.f64 1 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))) (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(/.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) 1)
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(/.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (/.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))))
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(pow.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) 1)
(+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3))))
(+.f64 (*.f64 1/6 (pow.f64 re 3)) 0)
(*.f64 1/6 (pow.f64 re 3))
(+.f64 0 (*.f64 1/6 (pow.f64 re 3)))
(*.f64 1/6 (pow.f64 re 3))
(-.f64 (*.f64 1/6 (pow.f64 re 3)) 0)
(*.f64 1/6 (pow.f64 re 3))
(/.f64 (*.f64 1/6 (pow.f64 re 3)) 1)
(*.f64 1/6 (pow.f64 re 3))
(/.f64 (*.f64 1/6 (pow.f64 re 3)) (/.f64 (*.f64 1/6 (pow.f64 re 3)) (*.f64 1/6 (pow.f64 re 3))))
(*.f64 1/6 (pow.f64 re 3))
(pow.f64 (*.f64 1/6 (pow.f64 re 3)) 1)
(*.f64 1/6 (pow.f64 re 3))
(+.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) 0)
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(+.f64 0 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(-.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) 0)
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(/.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) 1)
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(/.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) (/.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im))))
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(pow.f64 (*.f64 (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))) (cos.f64 im)) 1)
(*.f64 (cos.f64 im) (+.f64 re (+.f64 (*.f64 1/2 (pow.f64 re 2)) (*.f64 1/6 (pow.f64 re 3)))))
(*.f64 (cos.f64 im) (+.f64 (*.f64 1/2 (pow.f64 re 2)) (+.f64 re (*.f64 1/6 (pow.f64 re 3)))))

eval143.0ms (2.3%)

Compiler

Compiled 1900 to 1329 computations (30.1% saved)

prune11.0ms (0.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New64064
Fresh000
Picked011
Done033
Total64468
Error
0b
Counts
68 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓26.5b
(+.f64 (cos.f64 im) (*.f64 (cos.f64 im) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 1/2 (pow.f64 re 2))))))
✓0.0b
(*.f64 (exp.f64 re) (cos.f64 im))
✓18.2b
(exp.f64 re)
✓26.3b
(cos.f64 im)
Compiler

Compiled 36 to 26 computations (27.8% saved)

regimes27.0ms (0.4%)

Counts
4 → 1
Calls
Call 1
Inputs
(cos.f64 im)
(exp.f64 re)
(*.f64 (exp.f64 re) (cos.f64 im))
(+.f64 (cos.f64 im) (*.f64 (cos.f64 im) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 re (*.f64 1/2 (pow.f64 re 2))))))
Outputs
(*.f64 (exp.f64 re) (cos.f64 im))
Calls

5 calls:

10.0ms
(*.f64 (exp.f64 re) (cos.f64 im))
5.0ms
im
4.0ms
re
4.0ms
(cos.f64 im)
2.0ms
(exp.f64 re)
Results
ErrorSegmentsBranch
0.0b1re
0.0b1im
0.0b1(*.f64 (exp.f64 re) (cos.f64 im))
0.0b1(exp.f64 re)
0.0b1(cos.f64 im)
Compiler

Compiled 51 to 32 computations (37.3% saved)

regimes260.0ms (4.3%)

Accuracy

Total -43.5b remaining (-7137.9%)

Threshold costs -43.5b (-7137.9%)

Counts
2 → 2
Calls
Call 1
Inputs
(cos.f64 im)
(exp.f64 re)
Outputs
(exp.f64 re)
(cos.f64 im)
Calls

4 calls:

236.0ms
im
12.0ms
(cos.f64 im)
7.0ms
re
4.0ms
(exp.f64 re)
Results
ErrorSegmentsBranch
0.6b2re
9.4b8im
0.6b2(exp.f64 re)
13.9b2(cos.f64 im)
Compiler

Compiled 20 to 14 computations (30% saved)

bsearch64.0ms (1%)

Algorithm
1×binary-search
Steps
TimeLeftRight
64.0ms
0.0
0.9955679820912403
Results
27.0ms133×body256valid
25.0ms65×body1024valid
7.0ms26×body512valid
Compiler

Compiled 138 to 107 computations (22.5% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01443
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(*.f64 (exp.f64 re) (cos.f64 im))
(if (<=.f64 (exp.f64 re) 2206763817411543/2251799813685248) (exp.f64 re) (cos.f64 im))
(cos.f64 im)
Outputs
(*.f64 (exp.f64 re) (cos.f64 im))
(if (<=.f64 (exp.f64 re) 2206763817411543/2251799813685248) (exp.f64 re) (cos.f64 im))
(cos.f64 im)
Compiler

Compiled 22 to 15 computations (31.8% saved)

soundness0.0ms (0%)

end37.0ms (0.6%)

Compiler

Compiled 18 to 8 computations (55.6% saved)

Profiling

Loading profile data...