Details

Time bar (total: 2.0s)

analyze91.0ms (4.6%)

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
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
18.8%18.7%81.2%0.1%0%0%0%5
34.4%34.3%65.6%0.1%0%0%0%6
54.7%54.6%45.3%0.1%0%0%0%7
64.8%64.8%35.1%0.1%0%0%0%8
76.2%76.1%23.8%0.1%0%0%0%9
81.8%81.8%18.1%0.1%0%0%0%10
87.8%87.7%12.2%0.1%0%0%0%11
90.8%90.7%9.2%0.1%0%0%0%12
Compiler

Compiled 15 to 11 computations (26.7% saved)

sample1.3s (68.3%)

Results
1.3s8256×body256valid
Bogosity

preprocess3.0ms (0.2%)

Algorithm
2×egg-herbie
Rules
2×swap-re-im
2×rational.json-simplify-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01774
11774
022
122
Stop Event
1×unsound
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
0
Call 2
Inputs
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re)))) (log.f64 10))
Outputs
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re)))) (log.f64 10))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
Symmetry

(sort re im)

Compiler

Compiled 16 to 12 computations (25% saved)

simplify4.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
2×rational.json-simplify-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01337
11437
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
Outputs
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))

eval0.0ms (0%)

Compiler

Compiled 14 to 10 computations (28.6% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
30.8b
Counts
2 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶30.8b
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
Compiler

Compiled 14 to 10 computations (28.6% saved)

localize16.0ms (0.8%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (*.f64 re re) (*.f64 im im))
✓0.6b
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
✓28.4b
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
Compiler

Compiled 49 to 13 computations (73.5% saved)

series9.0ms (0.5%)

Counts
3 → 72
Calls

18 calls:

TimeVariablePointExpression
2.0ms
re
@0
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
1.0ms
im
@inf
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
1.0ms
im
@0
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
1.0ms
re
@inf
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
0.0ms
re
@0
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

rewrite6.0ms (0.3%)

Algorithm
1×batch-egg-rewrite
Rules
34×bool.json-1
30×rational.json-simplify-1
28×rational.json-1
28×rational.json-2
28×rational.json-simplify-2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01379
15779
29379
39779
Stop Event
1×saturated
Counts
3 → 10
Calls
Call 1
Inputs
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
(+.f64 (*.f64 re re) (*.f64 im im))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x or (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)) (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)))))))
((#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 re re) (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im)))))))

simplify54.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
504×rational.json-simplify-1
324×rational.json-simplify-33
78×rational.json-simplify-2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01693854
12943854
24223854
35693854
46613854
56693854
Stop Event
1×saturated
Counts
82 → 109
Calls
Call 1
Inputs
im
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im)
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) 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 (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) im)))
re
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re)
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
(*.f64 -1 re)
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)))
(+.f64 (*.f64 -1 re) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))))
(+.f64 (*.f64 -1 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 -1/2 (/.f64 (pow.f64 im 2) re)))))
re
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re)
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
im
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im)
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) 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 (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) im)))
(*.f64 -1 im)
(+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 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 -1 im)))
(+.f64 (*.f64 -1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im))))
(/.f64 (log.f64 im) (log.f64 10))
(+.f64 (/.f64 (log.f64 im) (log.f64 10)) (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))))
(+.f64 (/.f64 (log.f64 im) (log.f64 10)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))) (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (log.f64 10) (pow.f64 im 4))))))
(+.f64 (/.f64 (log.f64 im) (log.f64 10)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))) (+.f64 (*.f64 1/6 (/.f64 (pow.f64 re 6) (*.f64 (log.f64 10) (pow.f64 im 6)))) (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (log.f64 10) (pow.f64 im 4)))))))
(*.f64 -1 (/.f64 (log.f64 (/.f64 1 re)) (log.f64 10)))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 1 re)) (log.f64 10))) (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 1 re)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))) (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (log.f64 10) (pow.f64 re 4))))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 1 re)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (log.f64 10) (pow.f64 re 4)))) (*.f64 1/720 (/.f64 (+.f64 (*.f64 90 (pow.f64 im 6)) (*.f64 30 (pow.f64 im 6))) (*.f64 (log.f64 10) (pow.f64 re 6)))))))
(*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10)))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10))) (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))) (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (log.f64 10) (pow.f64 re 4))))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (log.f64 10) (pow.f64 re 4)))) (*.f64 1/720 (/.f64 (+.f64 (*.f64 90 (pow.f64 im 6)) (*.f64 30 (pow.f64 im 6))) (*.f64 (log.f64 10) (pow.f64 re 6)))))))
(/.f64 (log.f64 re) (log.f64 10))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))) (/.f64 (log.f64 re) (log.f64 10)))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (log.f64 10) (pow.f64 re 4)))) (/.f64 (log.f64 re) (log.f64 10))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (log.f64 10) (pow.f64 re 4)))) (+.f64 (*.f64 1/6 (/.f64 (pow.f64 im 6) (*.f64 (log.f64 10) (pow.f64 re 6)))) (/.f64 (log.f64 re) (log.f64 10)))))
(*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10)))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10))) (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))) (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (log.f64 10) (pow.f64 im 4))))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (log.f64 10) (pow.f64 im 4)))) (*.f64 1/720 (/.f64 (+.f64 (*.f64 30 (pow.f64 re 6)) (*.f64 90 (pow.f64 re 6))) (*.f64 (log.f64 10) (pow.f64 im 6)))))))
(*.f64 -1 (/.f64 (log.f64 (/.f64 -1 im)) (log.f64 10)))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 im)) (log.f64 10))) (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 im)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))) (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (log.f64 10) (pow.f64 im 4))))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 im)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (log.f64 10) (pow.f64 im 4)))) (*.f64 1/720 (/.f64 (+.f64 (*.f64 30 (pow.f64 re 6)) (*.f64 90 (pow.f64 re 6))) (*.f64 (log.f64 10) (pow.f64 im 6)))))))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0)
(+.f64 0 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
(*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1)
(*.f64 1 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
(+.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)) 0)
(+.f64 0 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)))
(*.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)) 1)
(*.f64 1 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)))
(*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1)
(*.f64 1 (+.f64 (*.f64 re re) (*.f64 im im)))
Outputs
im
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im)
(+.f64 im (*.f64 1/2 (/.f64 (pow.f64 re 2) im)))
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im))
(+.f64 (+.f64 im (*.f64 1/2 (/.f64 (pow.f64 re 2) im))) (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))))
(+.f64 im (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 im (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)))))
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) im)))
(+.f64 (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (*.f64 1/2 (/.f64 (pow.f64 re 2) im))) (+.f64 im (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5)))))
(+.f64 (+.f64 im (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5)))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)))))
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 im (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))))))
(+.f64 (+.f64 im (*.f64 1/2 (/.f64 (pow.f64 re 2) im))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5)))))
re
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re)
(+.f64 re (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))) (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 re (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))))))
(*.f64 -1 re)
(*.f64 re -1)
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)))
(+.f64 (*.f64 re -1) (*.f64 (/.f64 (pow.f64 im 2) re) -1/2))
(+.f64 (*.f64 -1 re) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))))
(+.f64 (*.f64 re -1) (+.f64 (*.f64 (/.f64 (pow.f64 im 2) re) -1/2) (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8)))
(+.f64 (*.f64 -1 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 -1/2 (/.f64 (pow.f64 im 2) re)))))
(+.f64 (+.f64 (*.f64 re -1) (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8)) (+.f64 (*.f64 (/.f64 (pow.f64 im 2) re) -1/2) (*.f64 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) -1/16)))
(+.f64 (+.f64 (*.f64 (/.f64 (pow.f64 im 2) re) -1/2) (*.f64 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) -1/16)) (+.f64 (*.f64 re -1) (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8)))
(+.f64 (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8) (+.f64 (*.f64 re -1) (+.f64 (*.f64 (/.f64 (pow.f64 im 2) re) -1/2) (*.f64 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) -1/16))))
re
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re)
(+.f64 re (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))) (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 re (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))))))
im
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im)
(+.f64 im (*.f64 1/2 (/.f64 (pow.f64 re 2) im)))
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im))
(+.f64 (+.f64 im (*.f64 1/2 (/.f64 (pow.f64 re 2) im))) (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))))
(+.f64 im (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 im (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)))))
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) im)))
(+.f64 (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (*.f64 1/2 (/.f64 (pow.f64 re 2) im))) (+.f64 im (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5)))))
(+.f64 (+.f64 im (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5)))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)))))
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 im (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))))))
(+.f64 (+.f64 im (*.f64 1/2 (/.f64 (pow.f64 re 2) im))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5)))))
(*.f64 -1 im)
(*.f64 im -1)
(+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im))
(+.f64 (*.f64 im -1) (*.f64 (/.f64 (pow.f64 re 2) im) -1/2))
(+.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im)))
(+.f64 (+.f64 (*.f64 im -1) (*.f64 (/.f64 (pow.f64 re 2) im) -1/2)) (*.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) 1/8))
(+.f64 (*.f64 im -1) (+.f64 (*.f64 (/.f64 (pow.f64 re 2) im) -1/2) (*.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) 1/8)))
(+.f64 (*.f64 -1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im))))
(+.f64 (+.f64 (+.f64 (*.f64 im -1) (*.f64 (/.f64 (pow.f64 re 2) im) -1/2)) (*.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) 1/8)) (*.f64 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) -1/16))
(+.f64 (+.f64 (*.f64 im -1) (*.f64 (/.f64 (pow.f64 re 2) im) -1/2)) (+.f64 (*.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) 1/8) (*.f64 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) -1/16)))
(+.f64 (*.f64 im -1) (+.f64 (*.f64 (/.f64 (pow.f64 re 2) im) -1/2) (+.f64 (*.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) 1/8) (*.f64 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) -1/16))))
(/.f64 (log.f64 im) (log.f64 10))
(+.f64 (/.f64 (log.f64 im) (log.f64 10)) (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))))
(+.f64 (/.f64 (log.f64 im) (log.f64 10)) (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) (log.f64 10)))))
(+.f64 (/.f64 (log.f64 im) (log.f64 10)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))) (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (log.f64 10) (pow.f64 im 4))))))
(+.f64 (/.f64 (log.f64 im) (log.f64 10)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) (log.f64 10)))) (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (pow.f64 im 4) (log.f64 10))))))
(+.f64 (/.f64 (log.f64 im) (log.f64 10)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))) (+.f64 (*.f64 1/6 (/.f64 (pow.f64 re 6) (*.f64 (log.f64 10) (pow.f64 im 6)))) (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (log.f64 10) (pow.f64 im 4)))))))
(+.f64 (+.f64 (/.f64 (log.f64 im) (log.f64 10)) (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) (log.f64 10))))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (pow.f64 im 4) (log.f64 10)))) (*.f64 1/6 (/.f64 (pow.f64 re 6) (*.f64 (pow.f64 im 6) (log.f64 10))))))
(+.f64 (/.f64 (log.f64 im) (log.f64 10)) (+.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) (log.f64 10)))) (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (pow.f64 im 4) (log.f64 10))))) (*.f64 1/6 (/.f64 (pow.f64 re 6) (*.f64 (pow.f64 im 6) (log.f64 10))))))
(+.f64 (/.f64 (log.f64 im) (log.f64 10)) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) (log.f64 10)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (pow.f64 im 4) (log.f64 10)))) (*.f64 1/6 (/.f64 (pow.f64 re 6) (*.f64 (pow.f64 im 6) (log.f64 10)))))))
(*.f64 -1 (/.f64 (log.f64 (/.f64 1 re)) (log.f64 10)))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 1 re)) (log.f64 10))) (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 1 re)) (log.f64 10))) (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 2) (log.f64 10)))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 1 re)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))) (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (log.f64 10) (pow.f64 re 4))))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 1 re)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 2) (log.f64 10)))) (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (pow.f64 re 4) (log.f64 10))))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 1 re)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (log.f64 10) (pow.f64 re 4)))) (*.f64 1/720 (/.f64 (+.f64 (*.f64 90 (pow.f64 im 6)) (*.f64 30 (pow.f64 im 6))) (*.f64 (log.f64 10) (pow.f64 re 6)))))))
(+.f64 (+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 1 re)) (log.f64 10))) (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 2) (log.f64 10))))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (pow.f64 re 4) (log.f64 10)))) (*.f64 1/720 (/.f64 (+.f64 (*.f64 (pow.f64 im 6) 90) (*.f64 (pow.f64 im 6) 30)) (*.f64 (pow.f64 re 6) (log.f64 10))))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 1 re)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 2) (log.f64 10)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (pow.f64 re 4) (log.f64 10)))) (*.f64 1/720 (/.f64 (+.f64 (*.f64 (pow.f64 im 6) 90) (*.f64 (pow.f64 im 6) 30)) (*.f64 (pow.f64 re 6) (log.f64 10)))))))
(*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10)))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10))) (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 2) (log.f64 10)))) (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))) (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (log.f64 10) (pow.f64 re 4))))))
(+.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 2) (log.f64 10)))) (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (pow.f64 re 4) (log.f64 10))))) (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10))))
(+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (pow.f64 re 4) (log.f64 10)))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 2) (log.f64 10)))) (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 2) (log.f64 10)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (pow.f64 re 4) (log.f64 10)))) (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10)))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (log.f64 10) (pow.f64 re 4)))) (*.f64 1/720 (/.f64 (+.f64 (*.f64 90 (pow.f64 im 6)) (*.f64 30 (pow.f64 im 6))) (*.f64 (log.f64 10) (pow.f64 re 6)))))))
(+.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 2) (log.f64 10)))) (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (pow.f64 re 4) (log.f64 10)))) (*.f64 1/720 (/.f64 (+.f64 (*.f64 (pow.f64 im 6) 90) (*.f64 (pow.f64 im 6) 30)) (*.f64 (pow.f64 re 6) (log.f64 10))))))
(+.f64 (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (pow.f64 re 4) (log.f64 10)))) (*.f64 1/720 (/.f64 (+.f64 (*.f64 (pow.f64 im 6) 90) (*.f64 (pow.f64 im 6) 30)) (*.f64 (pow.f64 re 6) (log.f64 10))))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 2) (log.f64 10)))) (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 2) (log.f64 10)))) (+.f64 (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (pow.f64 re 4) (log.f64 10)))) (*.f64 1/720 (/.f64 (+.f64 (*.f64 (pow.f64 im 6) 90) (*.f64 (pow.f64 im 6) 30)) (*.f64 (pow.f64 re 6) (log.f64 10))))) (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 2) (log.f64 10)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (pow.f64 re 4) (log.f64 10)))) (+.f64 (*.f64 1/720 (/.f64 (+.f64 (*.f64 (pow.f64 im 6) 90) (*.f64 (pow.f64 im 6) 30)) (*.f64 (pow.f64 re 6) (log.f64 10)))) (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10))))))
(/.f64 (log.f64 re) (log.f64 10))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))) (/.f64 (log.f64 re) (log.f64 10)))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 2) (log.f64 10)))) (/.f64 (log.f64 re) (log.f64 10)))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (log.f64 10) (pow.f64 re 4)))) (/.f64 (log.f64 re) (log.f64 10))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 2) (log.f64 10)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (pow.f64 re 4) (log.f64 10)))) (/.f64 (log.f64 re) (log.f64 10))))
(+.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 2) (log.f64 10)))) (/.f64 (log.f64 re) (log.f64 10))) (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (pow.f64 re 4) (log.f64 10)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (log.f64 10) (pow.f64 re 2)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (log.f64 10) (pow.f64 re 4)))) (+.f64 (*.f64 1/6 (/.f64 (pow.f64 im 6) (*.f64 (log.f64 10) (pow.f64 re 6)))) (/.f64 (log.f64 re) (log.f64 10)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (*.f64 (pow.f64 re 2) (log.f64 10)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 im 4) (*.f64 (pow.f64 re 4) (log.f64 10)))) (+.f64 (/.f64 (log.f64 re) (log.f64 10)) (*.f64 1/6 (/.f64 (pow.f64 im 6) (*.f64 (pow.f64 re 6) (log.f64 10)))))))
(*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10)))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10))) (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) (log.f64 10)))) (*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))) (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (log.f64 10) (pow.f64 im 4))))))
(+.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) (log.f64 10)))) (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (pow.f64 im 4) (log.f64 10))))) (*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) (log.f64 10)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (pow.f64 im 4) (log.f64 10)))) (*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10)))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (log.f64 10) (pow.f64 im 4)))) (*.f64 1/720 (/.f64 (+.f64 (*.f64 30 (pow.f64 re 6)) (*.f64 90 (pow.f64 re 6))) (*.f64 (log.f64 10) (pow.f64 im 6)))))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10))) (+.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) (log.f64 10)))) (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (pow.f64 im 4) (log.f64 10))))) (*.f64 1/720 (/.f64 (+.f64 (*.f64 (pow.f64 re 6) 30) (*.f64 (pow.f64 re 6) 90)) (*.f64 (pow.f64 im 6) (log.f64 10))))))
(+.f64 (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (pow.f64 im 4) (log.f64 10)))) (+.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) (log.f64 10)))) (*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10)))) (*.f64 1/720 (/.f64 (+.f64 (*.f64 (pow.f64 re 6) 30) (*.f64 (pow.f64 re 6) 90)) (*.f64 (pow.f64 im 6) (log.f64 10))))))
(*.f64 -1 (/.f64 (log.f64 (/.f64 -1 im)) (log.f64 10)))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 im)) (log.f64 10))) (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) (log.f64 10)))) (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 im)) (log.f64 10))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 im)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))) (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (log.f64 10) (pow.f64 im 4))))))
(+.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) (log.f64 10)))) (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (pow.f64 im 4) (log.f64 10))))) (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 im)) (log.f64 10))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) (log.f64 10)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (pow.f64 im 4) (log.f64 10)))) (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 im)) (log.f64 10)))))
(+.f64 (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 im)) (log.f64 10))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (log.f64 10) (pow.f64 im 2)))) (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (log.f64 10) (pow.f64 im 4)))) (*.f64 1/720 (/.f64 (+.f64 (*.f64 30 (pow.f64 re 6)) (*.f64 90 (pow.f64 re 6))) (*.f64 (log.f64 10) (pow.f64 im 6)))))))
(+.f64 (+.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) (log.f64 10)))) (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (pow.f64 im 4) (log.f64 10))))) (*.f64 1/720 (/.f64 (+.f64 (*.f64 (pow.f64 re 6) 30) (*.f64 (pow.f64 re 6) 90)) (*.f64 (pow.f64 im 6) (log.f64 10))))) (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 im)) (log.f64 10))))
(+.f64 (+.f64 (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (pow.f64 im 4) (log.f64 10)))) (*.f64 1/720 (/.f64 (+.f64 (*.f64 (pow.f64 re 6) 30) (*.f64 (pow.f64 re 6) 90)) (*.f64 (pow.f64 im 6) (log.f64 10))))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) (log.f64 10)))) (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 im)) (log.f64 10)))))
(+.f64 (*.f64 -1/4 (/.f64 (pow.f64 re 4) (*.f64 (pow.f64 im 4) (log.f64 10)))) (+.f64 (*.f64 1/720 (/.f64 (+.f64 (*.f64 (pow.f64 re 6) 30) (*.f64 (pow.f64 re 6) 90)) (*.f64 (pow.f64 im 6) (log.f64 10)))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) (*.f64 (pow.f64 im 2) (log.f64 10)))) (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 im)) (log.f64 10))))))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0)
(+.f64 0 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
(+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0)
(*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1)
(*.f64 1 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
(*.f64 1 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
(+.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)) 0)
(+.f64 0 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)))
(+.f64 0 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)))
(*.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)) 1)
(*.f64 1 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)))
(*.f64 1 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)))
(*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1)
(*.f64 1 (+.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 1 (+.f64 (*.f64 re re) (*.f64 im im)))

eval59.0ms (3%)

Compiler

Compiled 3077 to 2498 computations (18.8% saved)

prune16.0ms (0.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1072109
Fresh000
Picked011
Done000
Total1073110
Error
0.8b
Counts
110 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
▶31.0b
(/.f64 (log.f64 (*.f64 re -1)) (log.f64 10))
✓30.8b
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
▶30.8b
(/.f64 (log.f64 im) (log.f64 10))
Compiler

Compiled 30 to 24 computations (20% saved)

localize8.0ms (0.4%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.5b
(/.f64 (log.f64 im) (log.f64 10))
Compiler

Compiled 13 to 9 computations (30.8% saved)

series55.0ms (2.8%)

Counts
1 → 8
Calls

3 calls:

TimeVariablePointExpression
33.0ms
im
@0
(/.f64 (log.f64 im) (log.f64 10))
12.0ms
im
@inf
(/.f64 (log.f64 im) (log.f64 10))
9.0ms
im
@-inf
(/.f64 (log.f64 im) (log.f64 10))

rewrite5.0ms (0.3%)

Algorithm
1×batch-egg-rewrite
Rules
24×bool.json-1
18×rational.json-1
18×rational.json-2
18×rational.json-simplify-2
18×rational.json-simplify-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
13615
26215
36615
Stop Event
1×saturated
Counts
1 → 4
Calls
Call 1
Inputs
(/.f64 (log.f64 im) (log.f64 10))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (log.f64 im) (log.f64 10)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (log.f64 im) (log.f64 10)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (log.f64 im) (log.f64 10)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (log.f64 im) (log.f64 10)))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (log.f64 im) (log.f64 10)) (/.f64 (log.f64 im) (log.f64 10)))))))

simplify9.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
6×rational.json-simplify-2
4×rational.json-simplify-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
025340
128340
Stop Event
1×saturated
Counts
12 → 6
Calls
Call 1
Inputs
(*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10)))
(*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10)))
(*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10)))
(*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10)))
(/.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 im))) (log.f64 -1)) (log.f64 10))
(/.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 im))) (log.f64 -1)) (log.f64 10))
(/.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 im))) (log.f64 -1)) (log.f64 10))
(/.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 im))) (log.f64 -1)) (log.f64 10))
(+.f64 (/.f64 (log.f64 im) (log.f64 10)) 0)
(+.f64 0 (/.f64 (log.f64 im) (log.f64 10)))
(*.f64 (/.f64 (log.f64 im) (log.f64 10)) 1)
(*.f64 1 (/.f64 (log.f64 im) (log.f64 10)))
Outputs
(*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10)))
(*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10)))
(*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10)))
(*.f64 -1 (/.f64 (log.f64 (/.f64 1 im)) (log.f64 10)))
(/.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 im))) (log.f64 -1)) (log.f64 10))
(/.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 im))) (log.f64 -1)) (log.f64 10))
(/.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 im))) (log.f64 -1)) (log.f64 10))
(/.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 im))) (log.f64 -1)) (log.f64 10))
(+.f64 (/.f64 (log.f64 im) (log.f64 10)) 0)
(+.f64 0 (/.f64 (log.f64 im) (log.f64 10)))
(+.f64 (/.f64 (log.f64 im) (log.f64 10)) 0)
(*.f64 (/.f64 (log.f64 im) (log.f64 10)) 1)
(*.f64 1 (/.f64 (log.f64 im) (log.f64 10)))
(*.f64 1 (/.f64 (log.f64 im) (log.f64 10)))

localize12.0ms (0.6%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.4b
(/.f64 (log.f64 (*.f64 re -1)) (log.f64 10))
Compiler

Compiled 21 to 17 computations (19% saved)

series28.0ms (1.4%)

Counts
1 → 12
Calls

3 calls:

TimeVariablePointExpression
12.0ms
re
@0
(/.f64 (log.f64 (*.f64 re -1)) (log.f64 10))
9.0ms
re
@inf
(/.f64 (log.f64 (*.f64 re -1)) (log.f64 10))
6.0ms
re
@-inf
(/.f64 (log.f64 (*.f64 re -1)) (log.f64 10))

rewrite5.0ms (0.3%)

Algorithm
1×batch-egg-rewrite
Rules
28×bool.json-1
22×rational.json-simplify-2
20×rational.json-1
20×rational.json-2
20×rational.json-simplify-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01021
14521
27321
37821
Stop Event
1×saturated
Counts
1 → 4
Calls
Call 1
Inputs
(/.f64 (log.f64 (*.f64 re -1)) (log.f64 10))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)) (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)))))))

simplify9.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
8×rational.json-simplify-2
6×rational.json-simplify-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
029464
134464
Stop Event
1×saturated
Counts
16 → 9
Calls
Call 1
Inputs
(/.f64 (+.f64 (log.f64 -1) (log.f64 re)) (log.f64 10))
(/.f64 (+.f64 (log.f64 -1) (log.f64 re)) (log.f64 10))
(/.f64 (+.f64 (log.f64 -1) (log.f64 re)) (log.f64 10))
(/.f64 (+.f64 (log.f64 -1) (log.f64 re)) (log.f64 10))
(/.f64 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 re)))) (log.f64 10))
(/.f64 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 re)))) (log.f64 10))
(/.f64 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 re)))) (log.f64 10))
(/.f64 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 re)))) (log.f64 10))
(*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10)))
(*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10)))
(*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10)))
(*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10)))
(+.f64 (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)) 0)
(+.f64 0 (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)))
(*.f64 (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)) 1)
(*.f64 1 (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)))
Outputs
(/.f64 (+.f64 (log.f64 -1) (log.f64 re)) (log.f64 10))
(/.f64 (+.f64 (log.f64 -1) (log.f64 re)) (log.f64 10))
(/.f64 (+.f64 (log.f64 -1) (log.f64 re)) (log.f64 10))
(/.f64 (+.f64 (log.f64 -1) (log.f64 re)) (log.f64 10))
(/.f64 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 re)))) (log.f64 10))
(/.f64 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 re)))) (log.f64 10))
(/.f64 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 re)))) (log.f64 10))
(/.f64 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 re)))) (log.f64 10))
(*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10)))
(*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10)))
(*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10)))
(*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10)))
(+.f64 (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)) 0)
(+.f64 (/.f64 (log.f64 (*.f64 -1 re)) (log.f64 10)) 0)
(+.f64 0 (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)))
(+.f64 (/.f64 (log.f64 (*.f64 -1 re)) (log.f64 10)) 0)
(*.f64 (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)) 1)
(*.f64 1 (/.f64 (log.f64 (*.f64 -1 re)) (log.f64 10)))
(*.f64 1 (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)))
(*.f64 1 (/.f64 (log.f64 (*.f64 -1 re)) (log.f64 10)))

eval3.0ms (0.1%)

Compiler

Compiled 134 to 116 computations (13.4% saved)

prune3.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New15015
Fresh000
Picked011
Done022
Total15318
Error
0.8b
Counts
18 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓31.0b
(/.f64 (log.f64 (*.f64 re -1)) (log.f64 10))
✓30.8b
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
✓30.8b
(/.f64 (log.f64 im) (log.f64 10))
Compiler

Compiled 30 to 24 computations (20% saved)

regimes95.0ms (4.8%)

Counts
3 → 3
Calls
Call 1
Inputs
(/.f64 (log.f64 im) (log.f64 10))
(/.f64 (log.f64 (*.f64 re -1)) (log.f64 10))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
Outputs
(/.f64 (log.f64 (*.f64 re -1)) (log.f64 10))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
(/.f64 (log.f64 im) (log.f64 10))
Calls

8 calls:

26.0ms
(*.f64 re re)
11.0ms
(*.f64 im im)
11.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
11.0ms
re
10.0ms
im
Results
ErrorSegmentsBranch
4.6b3re
8.7b3im
14.6b3(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
14.6b3(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
14.6b3(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
14.6b3(+.f64 (*.f64 re re) (*.f64 im im))
10.5b3(*.f64 re re)
10.0b5(*.f64 im im)
Compiler

Compiled 86 to 58 computations (32.6% saved)

bsearch24.0ms (1.2%)

Algorithm
2×binary-search
Steps
TimeLeftRight
10.0ms
-5.2370639799350935e-154
-3.149572874472737e-154
14.0ms
-5.154954045263535e+110
-7.2050564794085266e+109
Results
22.0ms160×body256valid
Compiler

Compiled 261 to 206 computations (21.1% saved)

regimes12.0ms (0.6%)

Accuracy

Total -52.4b remaining (-640.8%)

Threshold costs -52.4b (-640.8%)

Counts
2 → 2
Calls
Call 1
Inputs
(/.f64 (log.f64 im) (log.f64 10))
(/.f64 (log.f64 (*.f64 re -1)) (log.f64 10))
Outputs
(/.f64 (log.f64 (*.f64 re -1)) (log.f64 10))
(/.f64 (log.f64 im) (log.f64 10))
Calls

2 calls:

5.0ms
re
5.0ms
im
Results
ErrorSegmentsBranch
8.2b2re
10.7b2im
Compiler

Compiled 20 to 16 computations (20% saved)

bsearch25.0ms (1.3%)

Algorithm
1×binary-search
Steps
TimeLeftRight
24.0ms
-4.6117963087443755e-132
-5.874307088515016e-149
Results
22.0ms160×body256valid
Compiler

Compiled 199 to 174 computations (12.6% saved)

simplify4.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
031151
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(if (<=.f64 re -144999999999999998411338674115054090207850131448360101553748593920495912364214682893427375132528889871718154240) (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)) (if (<=.f64 re -2641773697375079/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952) (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)) (/.f64 (log.f64 im) (log.f64 10))))
(if (<=.f64 re -7672009237256583/12786682062094304179739022253232809188346257992355721833919106906625522642205759980012773798148063113870651109873281527379754908382364816614564560896) (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)) (/.f64 (log.f64 im) (log.f64 10)))
(/.f64 (log.f64 im) (log.f64 10))
Outputs
(if (<=.f64 re -144999999999999998411338674115054090207850131448360101553748593920495912364214682893427375132528889871718154240) (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)) (if (<=.f64 re -2641773697375079/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952) (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10)) (/.f64 (log.f64 im) (log.f64 10))))
(if (<=.f64 re -7672009237256583/12786682062094304179739022253232809188346257992355721833919106906625522642205759980012773798148063113870651109873281527379754908382364816614564560896) (/.f64 (log.f64 (*.f64 re -1)) (log.f64 10)) (/.f64 (log.f64 im) (log.f64 10)))
(/.f64 (log.f64 im) (log.f64 10))
Compiler

Compiled 59 to 47 computations (20.3% saved)

soundness16.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
504×rational.json-simplify-1
324×rational.json-simplify-33
78×rational.json-simplify-2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01693854
12943854
24223854
35693854
46613854
56693854
Stop Event
1×saturated
Compiler

Compiled 16 to 14 computations (12.5% saved)

end49.0ms (2.5%)

Compiler

Compiled 123 to 93 computations (24.4% saved)

Profiling

Loading profile data...