Details

Time bar (total: 8.5s)

analyze365.0ms (4.3%)

Algorithm
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
0%0%99.9%0.1%0%0%0%5
0%0%99.9%0.1%0%0%0%6
12.5%12.5%87.4%0.1%0%0%0%7
18.8%18.7%81.1%0.1%0%0%0%8
25.6%25%72.5%0.1%2.3%0%0%9
35.6%34.3%62%0.1%3.5%0%0%10
44.1%41.3%52.5%0.1%6%0%0%11
50.9%46.8%45.1%0.1%7.9%0%0%12
Compiler

Compiled 17 to 12 computations (29.4% saved)

sample1.7s (19.9%)

Results
1.3s8223×body256valid
342.0ms1238×body256infinite
4.0ms15×body1024valid
3.0ms18×body512valid
Bogosity

preprocess11.0ms (0.1%)

Algorithm
egg-herbie
Rules
182×rational.json-simplify-1
124×rational.json-simplify-41
52×rational.json-simplify-2
36×rational.json-simplify-51
swap-d2-d3
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
029124
159100
291100
315376
420276
524276
625776
033
133
Stop Event
unsound
saturated
Calls
Call 1
Inputs
0
1
2
Outputs
0
1
2
1
Call 2
Inputs
(+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(+.f64 (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 d3 5) d2)) (*.f64 d2 32))
(+.f64 (+.f64 (*.f64 d3 d2) (*.f64 (+.f64 d1 5) d3)) (*.f64 d3 32))
(+.f64 (+.f64 (*.f64 d1 d3) (*.f64 (+.f64 d2 5) d1)) (*.f64 d1 32))
Outputs
(+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(+.f64 (*.f64 d1 (+.f64 (+.f64 d3 5) d2)) (*.f64 d1 32))
(*.f64 d1 (+.f64 32 (+.f64 d2 (+.f64 d3 5))))
(*.f64 d1 (+.f64 (+.f64 d3 5) (+.f64 d2 32)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 d3 5) d2)) (*.f64 d2 32))
(+.f64 (*.f64 d2 (+.f64 (+.f64 d3 5) d1)) (*.f64 d2 32))
(*.f64 d2 (+.f64 32 (+.f64 d1 (+.f64 d3 5))))
(*.f64 d2 (+.f64 (+.f64 d3 5) (+.f64 d1 32)))
(*.f64 d2 (+.f64 d1 (+.f64 d3 37)))
(*.f64 d2 (+.f64 (+.f64 d1 d3) 37))
(+.f64 (+.f64 (*.f64 d3 d2) (*.f64 (+.f64 d1 5) d3)) (*.f64 d3 32))
(+.f64 (*.f64 d3 (+.f64 (+.f64 d1 5) d2)) (*.f64 d3 32))
(*.f64 d3 (+.f64 32 (+.f64 d2 (+.f64 d1 5))))
(*.f64 d3 (+.f64 d2 (+.f64 (+.f64 d1 5) 32)))
(*.f64 d3 (+.f64 d1 (+.f64 d2 37)))
(+.f64 (+.f64 (*.f64 d1 d3) (*.f64 (+.f64 d2 5) d1)) (*.f64 d1 32))
(+.f64 (*.f64 d1 (+.f64 (+.f64 d3 5) d2)) (*.f64 d1 32))
(*.f64 d1 (+.f64 32 (+.f64 d2 (+.f64 d3 5))))
(*.f64 d1 (+.f64 (+.f64 d3 5) (+.f64 d2 32)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
Symmetry

(sort d2 d3)

Compiler

Compiled 19 to 14 computations (26.3% saved)

simplify10.0ms (0.1%)

Algorithm
egg-herbie
Rules
68×rational.json-simplify-1
40×rational.json-simplify-41
14×rational.json-simplify-2
12×rational.json-simplify-51
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01331
12125
22925
34719
46619
58419
69419
Stop Event
saturated
Counts
1 → 5
Calls
Call 1
Inputs
(+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
Outputs
(+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(+.f64 (*.f64 d1 (+.f64 (+.f64 d3 5) d2)) (*.f64 d1 32))
(*.f64 d1 (+.f64 32 (+.f64 d2 (+.f64 d3 5))))
(*.f64 d1 (+.f64 (+.f64 d3 5) (+.f64 d2 32)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))

eval1.0ms (0%)

Compiler

Compiled 52 to 34 computations (34.6% saved)

prune3.0ms (0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New235
Fresh011
Picked000
Done000
Total246
Error
0.0b
Counts
6 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
0.0b
(+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
0.0b
(+.f64 (*.f64 d1 (+.f64 (+.f64 d3 5) d2)) (*.f64 d1 32))
0.0b
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
Compiler

Compiled 40 to 28 computations (30% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
Compiler

Compiled 22 to 13 computations (40.9% saved)

series3.0ms (0%)

Counts
1 → 36
Calls

9 calls:

TimeVariablePointExpression
1.0ms
d2
@inf
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
0.0ms
d1
@0
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
0.0ms
d1
@-inf
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
0.0ms
d1
@inf
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
0.0ms
d3
@inf
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))

rewrite110.0ms (1.3%)

Algorithm
batch-egg-rewrite
Rules
1670×rational.json-1
1670×rational.json-2
1670×rational.json-3
1624×exponential.json-3
1624×rational.json-4
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
16119
213319
328119
458619
5150519
6345719
7512519
8696719
Stop Event
node limit
Counts
1 → 13
Calls
Call 1
Inputs
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 d2 (+.f64 d3 37)) (*.f64 d1 1/2)) (*.f64 (+.f64 d2 (+.f64 d3 37)) (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d2 (+.f64 d3 37)) (+.f64 d1 d1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1)))))

simplify475.0ms (5.6%)

Algorithm
egg-herbie
Rules
2614×rational.json-simplify-2
2506×rational.json-simplify-41
2192×rational.json-simplify-35
1176×rational.json-simplify-53
932×exponential.json-simplify-26
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057871
1133871
2233871
3534871
41942871
53356871
63592871
73720871
83828871
93934871
105866871
116935871
127301871
137408871
147410871
157410871
167410871
177515871
187620871
Stop Event
node limit
Counts
49 → 24
Calls
Call 1
Inputs
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (+.f64 37 d3) d1)
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(*.f64 d2 d1)
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(*.f64 d2 d1)
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(*.f64 d1 (+.f64 d2 37))
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(+.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 0)
(+.f64 0 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
(+.f64 (*.f64 (+.f64 d2 (+.f64 d3 37)) (*.f64 d1 1/2)) (*.f64 (+.f64 d2 (+.f64 d3 37)) (*.f64 d1 1/2)))
(-.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 0)
(/.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1)
(/.f64 (*.f64 (+.f64 d2 (+.f64 d3 37)) (+.f64 d1 d1)) 2)
(/.f64 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 4)) 4)
(/.f64 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8)) 8)
(/.f64 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8))) 16)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8)))) 32)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8))))) 64)
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8)))))) 128)
(pow.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1)
Outputs
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (+.f64 37 d3) d1)
(*.f64 d1 (+.f64 37 d3))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 37))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 d3)
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 d3)
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 0)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 0 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 (+.f64 d2 (+.f64 d3 37)) (*.f64 d1 1/2)) (*.f64 (+.f64 d2 (+.f64 d3 37)) (*.f64 d1 1/2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(-.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 0)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 (+.f64 d2 (+.f64 d3 37)) (+.f64 d1 d1)) 2)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 4)) 4)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8)) 8)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8))) 16)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8)))) 32)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8))))) 64)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 (+.f64 d3 37)) 8)))))) 128)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(pow.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))

localize14.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(*.f64 d1 (+.f64 (+.f64 d3 5) d2))
0.0b
(+.f64 (*.f64 d1 (+.f64 (+.f64 d3 5) d2)) (*.f64 d1 32))
Compiler

Compiled 37 to 23 computations (37.8% saved)

series5.0ms (0.1%)

Counts
2 → 72
Calls

18 calls:

TimeVariablePointExpression
1.0ms
d1
@0
(+.f64 (*.f64 d1 (+.f64 (+.f64 d3 5) d2)) (*.f64 d1 32))
1.0ms
d1
@inf
(+.f64 (*.f64 d1 (+.f64 (+.f64 d3 5) d2)) (*.f64 d1 32))
1.0ms
d1
@-inf
(+.f64 (*.f64 d1 (+.f64 (+.f64 d3 5) d2)) (*.f64 d1 32))
0.0ms
d3
@0
(+.f64 (*.f64 d1 (+.f64 (+.f64 d3 5) d2)) (*.f64 d1 32))
0.0ms
d2
@0
(+.f64 (*.f64 d1 (+.f64 (+.f64 d3 5) d2)) (*.f64 d1 32))

rewrite225.0ms (2.7%)

Algorithm
batch-egg-rewrite
Rules
2514×rational.json-simplify-35
1654×rational.json-1
1654×rational.json-2
1654×rational.json-3
1624×exponential.json-3
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01250
17944
215744
335438
476138
5197438
6413538
7587238
8738638
9793738
10799438
11799438
Stop Event
node limit
Counts
2 → 52
Calls
Call 1
Inputs
(+.f64 (*.f64 d1 (+.f64 (+.f64 d3 5) d2)) (*.f64 d1 32))
(*.f64 d1 (+.f64 (+.f64 d3 5) d2))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 (+.f64 d3 (+.f64 d2 37)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 d3 (+.f64 d2 37)) (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d1 d1) (+.f64 d3 (+.f64 d2 37))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (*.f64 (+.f64 d3 (+.f64 d2 37)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (/.f64 (+.f64 d3 (+.f64 d2 37)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (+.f64 16 (*.f64 (+.f64 d3 (+.f64 5 d2)) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (+.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) 1/2) 16))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d3 (+.f64 d2 37)) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 37)) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (+.f64 d3 (+.f64 d2 37))) (*.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 d1 d1) (+.f64 d3 (+.f64 d2 37))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 d1 64) (*.f64 (+.f64 d3 (+.f64 5 d2)) (+.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) (+.f64 d1 d1)) (*.f64 d1 64)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d3 (+.f64 d2 37)) (*.f64 d1 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (*.f64 2 (+.f64 d3 (+.f64 d2 37))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (+.f64 64 (*.f64 (+.f64 d3 (+.f64 5 d2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (+.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) 2) 64))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d3 (+.f64 d2 37)) 1/2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 37)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 d3 (+.f64 d2 37)) 2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 d3 (+.f64 5 d2)) (+.f64 (+.f64 d3 (+.f64 5 d2)) 64)) (*.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) 1/2) (+.f64 32 (*.f64 (+.f64 d3 (+.f64 5 d2)) 1/2))) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 32 (+.f64 32 (*.f64 (+.f64 d3 (+.f64 5 d2)) 2))) (*.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 16 (+.f64 (+.f64 d3 (+.f64 5 d2)) 16)) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/4 (+.f64 d3 (+.f64 d2 37))) (*.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d1 d1) (+.f64 d3 (+.f64 d2 37))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 37)) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8)))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (+.f64 d3 (+.f64 5 d2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 d1 (+.f64 d3 (+.f64 5 d2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 1/2)) (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 d3 (+.f64 5 d2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 d3 (+.f64 5 d2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) (+.f64 d1 d1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 5 d2))) 1)))))

simplify448.0ms (5.3%)

Algorithm
egg-herbie
Rules
4178×rational.json-simplify-41
2588×rational.json-simplify-35
2316×rational.json-simplify-2
1232×rational.json-simplify-53
1128×exponential.json-simplify-26
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01512296
13322284
26872272
321942272
444972272
552122272
654292272
755952272
857532272
959032272
1069092272
1172882272
1274572272
1374572272
1474572272
1575992272
1677412272
Stop Event
node limit
Counts
124 → 84
Calls
Call 1
Inputs
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 (+.f64 5 (+.f64 d2 d3))) 32)))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 (+.f64 5 (+.f64 d2 d3))) 32)))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 (+.f64 5 (+.f64 d2 d3))) 32)))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 (+.f64 5 (+.f64 d2 d3))) 32)))
(+.f64 (*.f64 32 d1) (*.f64 d1 (+.f64 d2 5)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 (+.f64 d2 5))))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 (+.f64 d2 5))))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 (+.f64 d2 5))))
(*.f64 d1 d3)
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 (+.f64 d2 5)) (*.f64 d1 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 (+.f64 d2 5)) (*.f64 d1 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 (+.f64 d2 5)) (*.f64 d1 d3)))
(*.f64 d1 d3)
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 (+.f64 d2 5)) (*.f64 d1 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 (+.f64 d2 5)) (*.f64 d1 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 (+.f64 d2 5)) (*.f64 d1 d3)))
(+.f64 (*.f64 32 d1) (*.f64 (+.f64 5 d3) d1))
(+.f64 (*.f64 d2 d1) (+.f64 (*.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (*.f64 d2 d1) (+.f64 (*.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (*.f64 d2 d1) (+.f64 (*.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d2 d1)
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d2 d1)
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 (+.f64 5 (+.f64 d2 d3)) d1)
(*.f64 (+.f64 5 (+.f64 d2 d3)) d1)
(*.f64 (+.f64 5 (+.f64 d2 d3)) d1)
(*.f64 (+.f64 5 (+.f64 d2 d3)) d1)
(*.f64 (+.f64 5 (+.f64 d2 d3)) d1)
(*.f64 (+.f64 5 (+.f64 d2 d3)) d1)
(*.f64 (+.f64 5 (+.f64 d2 d3)) d1)
(*.f64 (+.f64 5 (+.f64 d2 d3)) d1)
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 5 d2))
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(*.f64 (+.f64 5 d3) d1)
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d2 d1)
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d2 d1)
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(-.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 0)
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 1)
(*.f64 1 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))))
(*.f64 2 (*.f64 (+.f64 d3 (+.f64 d2 37)) (*.f64 d1 1/2)))
(*.f64 (*.f64 (+.f64 d1 d1) (+.f64 d3 (+.f64 d2 37))) 1/2)
(*.f64 (+.f64 d1 d1) (*.f64 (+.f64 d3 (+.f64 d2 37)) 1/2))
(*.f64 (+.f64 d1 d1) (/.f64 (+.f64 d3 (+.f64 d2 37)) 2))
(*.f64 (+.f64 d1 d1) (+.f64 16 (*.f64 (+.f64 d3 (+.f64 5 d2)) 1/2)))
(*.f64 (+.f64 d1 d1) (+.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) 1/2) 16))
(*.f64 (+.f64 d3 (+.f64 d2 37)) d1)
(*.f64 4 (/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 4))
(*.f64 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 37)) 4)) 1/4)
(*.f64 (*.f64 2 (+.f64 d3 (+.f64 d2 37))) (*.f64 d1 1/2))
(*.f64 1/2 (*.f64 (+.f64 d1 d1) (+.f64 d3 (+.f64 d2 37))))
(*.f64 1/2 (+.f64 (*.f64 d1 64) (*.f64 (+.f64 d3 (+.f64 5 d2)) (+.f64 d1 d1))))
(*.f64 1/2 (+.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) (+.f64 d1 d1)) (*.f64 d1 64)))
(*.f64 (*.f64 (+.f64 d3 (+.f64 d2 37)) (*.f64 d1 1/2)) 2)
(*.f64 (*.f64 d1 1/2) (*.f64 2 (+.f64 d3 (+.f64 d2 37))))
(*.f64 (*.f64 d1 1/2) (+.f64 64 (*.f64 (+.f64 d3 (+.f64 5 d2)) 2)))
(*.f64 (*.f64 d1 1/2) (+.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) 2) 64))
(*.f64 (*.f64 (+.f64 d3 (+.f64 d2 37)) 1/2) (+.f64 d1 d1))
(*.f64 1/4 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 37)) 4)))
(*.f64 (/.f64 (+.f64 d3 (+.f64 d2 37)) 2) (+.f64 d1 d1))
(*.f64 (/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 4) 4)
(*.f64 (+.f64 (+.f64 d3 (+.f64 5 d2)) (+.f64 (+.f64 d3 (+.f64 5 d2)) 64)) (*.f64 d1 1/2))
(*.f64 (+.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) 1/2) (+.f64 32 (*.f64 (+.f64 d3 (+.f64 5 d2)) 1/2))) d1)
(*.f64 (+.f64 32 (+.f64 32 (*.f64 (+.f64 d3 (+.f64 5 d2)) 2))) (*.f64 d1 1/2))
(*.f64 (+.f64 16 (+.f64 (+.f64 d3 (+.f64 5 d2)) 16)) d1)
(*.f64 (*.f64 1/4 (+.f64 d3 (+.f64 d2 37))) (*.f64 d1 4))
(/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 1)
(/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d3 (+.f64 d2 37))) 2)
(/.f64 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 37)) 4)) 4)
(/.f64 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8) 8)
(/.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8)) 16)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8))) 32)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8)))) 64)
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8)))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8))))) 128)
(pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 1)
(+.f64 (*.f64 d1 (+.f64 d3 (+.f64 5 d2))) 0)
(+.f64 0 (*.f64 d1 (+.f64 d3 (+.f64 5 d2))))
(+.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 1/2)) (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 1/2)))
(-.f64 (*.f64 d1 (+.f64 d3 (+.f64 5 d2))) 0)
(/.f64 (*.f64 d1 (+.f64 d3 (+.f64 5 d2))) 1)
(/.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) (+.f64 d1 d1)) 2)
(/.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 4)) 4)
(/.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8)) 8)
(/.f64 (*.f64 2 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8))) 16)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8)))) 32)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8))))) 64)
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8)))))) 128)
(pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 5 d2))) 1)
Outputs
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 (+.f64 5 (+.f64 d2 d3))) 32)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 (+.f64 5 (+.f64 d2 d3))) 32)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 (+.f64 5 (+.f64 d2 d3))) 32)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 (+.f64 5 (+.f64 d2 d3))) 32)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 32 d1) (*.f64 d1 (+.f64 d2 5)))
(+.f64 (*.f64 d1 32) (*.f64 d1 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 5) 32))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 (+.f64 d2 5))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 (+.f64 d2 5))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 (+.f64 d2 5))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 d3)
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 (+.f64 d2 5)) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 (+.f64 d2 5)) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 (+.f64 d2 5)) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 d3)
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 (+.f64 d2 5)) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 (+.f64 d2 5)) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d1 (+.f64 d2 5)) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 32 d1) (*.f64 (+.f64 5 d3) d1))
(+.f64 (*.f64 d1 32) (*.f64 d1 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d3 5) 32))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (*.f64 d2 d1) (+.f64 (*.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d2 d1) (+.f64 (*.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d2 d1) (+.f64 (*.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (+.f64 5 (+.f64 d2 d3)) d1)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 (+.f64 5 (+.f64 d2 d3)) d1)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 (+.f64 5 (+.f64 d2 d3)) d1)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 (+.f64 5 (+.f64 d2 d3)) d1)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 (+.f64 5 (+.f64 d2 d3)) d1)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 (+.f64 5 (+.f64 d2 d3)) d1)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 (+.f64 5 (+.f64 d2 d3)) d1)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 (+.f64 5 (+.f64 d2 d3)) d1)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 5 d2))
(*.f64 d1 (+.f64 d2 5))
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 d3)
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 d3)
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(+.f64 (*.f64 d1 (+.f64 5 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 (+.f64 5 d3) d1)
(*.f64 d1 (+.f64 d3 5))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(-.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 0)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 1)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 1 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 2 (*.f64 (+.f64 d3 (+.f64 d2 37)) (*.f64 d1 1/2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 (+.f64 d1 d1) (+.f64 d3 (+.f64 d2 37))) 1/2)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (+.f64 d1 d1) (*.f64 (+.f64 d3 (+.f64 d2 37)) 1/2))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (+.f64 d1 d1) (/.f64 (+.f64 d3 (+.f64 d2 37)) 2))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (+.f64 d1 d1) (+.f64 16 (*.f64 (+.f64 d3 (+.f64 5 d2)) 1/2)))
(*.f64 (+.f64 d1 d1) (+.f64 16 (*.f64 1/2 (+.f64 d3 (+.f64 d2 5)))))
(*.f64 (+.f64 d1 d1) (+.f64 16 (*.f64 1/2 (+.f64 (+.f64 d2 d3) 5))))
(*.f64 (+.f64 d1 d1) (+.f64 16 (*.f64 1/2 (+.f64 d2 (+.f64 d3 5)))))
(*.f64 (+.f64 d1 d1) (+.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) 1/2) 16))
(*.f64 (+.f64 d1 d1) (+.f64 16 (*.f64 1/2 (+.f64 d3 (+.f64 d2 5)))))
(*.f64 (+.f64 d1 d1) (+.f64 16 (*.f64 1/2 (+.f64 (+.f64 d2 d3) 5))))
(*.f64 (+.f64 d1 d1) (+.f64 16 (*.f64 1/2 (+.f64 d2 (+.f64 d3 5)))))
(*.f64 (+.f64 d3 (+.f64 d2 37)) d1)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 4 (/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 4))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 37)) 4)) 1/4)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 2 (+.f64 d3 (+.f64 d2 37))) (*.f64 d1 1/2))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 1/2 (*.f64 (+.f64 d1 d1) (+.f64 d3 (+.f64 d2 37))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 1/2 (+.f64 (*.f64 d1 64) (*.f64 (+.f64 d3 (+.f64 5 d2)) (+.f64 d1 d1))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 1/2 (+.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) (+.f64 d1 d1)) (*.f64 d1 64)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 (+.f64 d3 (+.f64 d2 37)) (*.f64 d1 1/2)) 2)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 d1 1/2) (*.f64 2 (+.f64 d3 (+.f64 d2 37))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 d1 1/2) (+.f64 64 (*.f64 (+.f64 d3 (+.f64 5 d2)) 2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 d1 1/2) (+.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) 2) 64))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 (+.f64 d3 (+.f64 d2 37)) 1/2) (+.f64 d1 d1))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 1/4 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 37)) 4)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (/.f64 (+.f64 d3 (+.f64 d2 37)) 2) (+.f64 d1 d1))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 4) 4)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (+.f64 (+.f64 d3 (+.f64 5 d2)) (+.f64 (+.f64 d3 (+.f64 5 d2)) 64)) (*.f64 d1 1/2))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (+.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) 1/2) (+.f64 32 (*.f64 (+.f64 d3 (+.f64 5 d2)) 1/2))) d1)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (+.f64 32 (+.f64 32 (*.f64 (+.f64 d3 (+.f64 5 d2)) 2))) (*.f64 d1 1/2))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (+.f64 16 (+.f64 (+.f64 d3 (+.f64 5 d2)) 16)) d1)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 1/4 (+.f64 d3 (+.f64 d2 37))) (*.f64 d1 4))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 1)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d3 (+.f64 d2 37))) 2)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 37)) 4)) 4)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8) 8)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8)) 16)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8))) 32)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8)))) 64)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8)))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 8))))) 128)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 37))) 1)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d1 (+.f64 d3 (+.f64 5 d2))) 0)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(+.f64 0 (*.f64 d1 (+.f64 d3 (+.f64 5 d2))))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(+.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 1/2)) (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 1/2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(-.f64 (*.f64 d1 (+.f64 d3 (+.f64 5 d2))) 0)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(/.f64 (*.f64 d1 (+.f64 d3 (+.f64 5 d2))) 1)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(/.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) (+.f64 d1 d1)) 2)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(/.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 4)) 4)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(/.f64 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8)) 8)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(/.f64 (*.f64 2 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8))) 16)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8)))) 32)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8))))) 64)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 d3 (+.f64 5 d2)) (*.f64 d1 8)))))) 128)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 5 d2))) 1)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))

localize15.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1))
0.0b
(+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
Compiler

Compiled 44 to 24 computations (45.5% saved)

series7.0ms (0.1%)

Counts
2 → 72
Calls

18 calls:

TimeVariablePointExpression
3.0ms
d1
@0
(+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
1.0ms
d1
@inf
(+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
1.0ms
d1
@-inf
(+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
0.0ms
d3
@0
(+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
0.0ms
d2
@0
(+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))

rewrite218.0ms (2.6%)

Algorithm
batch-egg-rewrite
Rules
1574×rational.json-simplify-35
1460×exponential.json-3
1460×rational.json-1
1460×rational.json-2
1460×rational.json-4
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01350
18844
217744
339538
488238
5200438
6324738
7459238
8655938
9767438
10770138
11770138
Stop Event
node limit
Counts
2 → 65
Calls
Call 1
Inputs
(+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 (+.f64 d2 (+.f64 d3 37)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 (+.f64 d2 (+.f64 d3 37)) 1/2) d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (*.f64 (+.f64 d2 (+.f64 d3 37)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (/.f64 (+.f64 d2 (+.f64 d3 37)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (*.f64 2 (+.f64 d2 (+.f64 d3 37)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d2 (+.f64 d3 37)) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (+.f64 d2 (+.f64 d3 37))) (*.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 d1 (*.f64 2 (+.f64 d2 (+.f64 d3 37)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (*.f64 2 (+.f64 d2 (+.f64 d3 37))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d2 (+.f64 d3 37)) 1/2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 d2 (+.f64 d3 37)) 2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 (+.f64 d2 (+.f64 d3 37)) 1/2)) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (/.f64 (+.f64 d2 (+.f64 d3 37)) 2)) d1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 2 (+.f64 d2 (+.f64 d3 37)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 (+.f64 d3 (+.f64 d2 5)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d3 (+.f64 d2 5)) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 d3 (+.f64 d2 5)) (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2) (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (*.f64 d1 1/2) (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 4) (*.f64 1/2 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) 2) (*.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 8 (*.f64 (/.f64 d1 4) (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 8 (*.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2) (/.f64 d1 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4) (*.f64 1/2 (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 d1 4)) (*.f64 1/4 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (*.f64 (+.f64 d3 (+.f64 d2 5)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) (*.f64 d1 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (/.f64 d1 4)) (*.f64 4 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4))))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4)))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4))))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 1)))))

simplify294.0ms (3.5%)

Algorithm
egg-herbie
Rules
1994×rational.json-simplify-2
1952×rational.json-simplify-35
1350×rational.json-simplify-1
1046×rational.json-simplify-48
816×rational.json-simplify-41
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01622519
13942495
29492483
323572483
440722483
548462483
651232483
753652483
855872483
958372483
1066132483
1175902483
1278202483
Stop Event
node limit
Counts
137 → 94
Calls
Call 1
Inputs
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 -1 (*.f64 d1 (-.f64 (+.f64 (*.f64 -1 (+.f64 5 d3)) (*.f64 -1 d2)) 32)))
(*.f64 -1 (*.f64 d1 (-.f64 (+.f64 (*.f64 -1 (+.f64 5 d3)) (*.f64 -1 d2)) 32)))
(*.f64 -1 (*.f64 d1 (-.f64 (+.f64 (*.f64 -1 (+.f64 5 d3)) (*.f64 -1 d2)) 32)))
(*.f64 -1 (*.f64 d1 (-.f64 (+.f64 (*.f64 -1 (+.f64 5 d3)) (*.f64 -1 d2)) 32)))
(+.f64 (*.f64 32 d1) (*.f64 (+.f64 5 d3) d1))
(+.f64 (*.f64 d2 d1) (+.f64 (*.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (*.f64 d2 d1) (+.f64 (*.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (*.f64 d2 d1) (+.f64 (*.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d2 d1)
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d2 d1)
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 32 d1)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(*.f64 d1 d3)
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(*.f64 d1 d3)
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 -1 (*.f64 d1 (+.f64 (*.f64 -1 (+.f64 5 d3)) (*.f64 -1 d2))))
(*.f64 -1 (*.f64 d1 (+.f64 (*.f64 -1 (+.f64 5 d3)) (*.f64 -1 d2))))
(*.f64 -1 (*.f64 d1 (+.f64 (*.f64 -1 (+.f64 5 d3)) (*.f64 -1 d2))))
(*.f64 -1 (*.f64 d1 (+.f64 (*.f64 -1 (+.f64 5 d3)) (*.f64 -1 d2))))
(*.f64 (+.f64 5 d3) d1)
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d2 d1)
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d2 d1)
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(+.f64 (*.f64 5 d1) (*.f64 d2 d1))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 d3)
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 d3)
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(-.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 0)
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1)
(*.f64 1 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
(*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1/2))
(*.f64 2 (*.f64 (*.f64 (+.f64 d2 (+.f64 d3 37)) 1/2) d1))
(*.f64 (+.f64 d1 d1) (*.f64 (+.f64 d2 (+.f64 d3 37)) 1/2))
(*.f64 (+.f64 d1 d1) (/.f64 (+.f64 d2 (+.f64 d3 37)) 2))
(*.f64 (*.f64 d1 (*.f64 2 (+.f64 d2 (+.f64 d3 37)))) 1/2)
(*.f64 (+.f64 d2 (+.f64 d3 37)) d1)
(*.f64 4 (/.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4))
(*.f64 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4) 1/4)
(*.f64 (*.f64 2 (+.f64 d2 (+.f64 d3 37))) (*.f64 d1 1/2))
(*.f64 1/2 (*.f64 d1 (*.f64 2 (+.f64 d2 (+.f64 d3 37)))))
(*.f64 (*.f64 d1 1/2) (*.f64 2 (+.f64 d2 (+.f64 d3 37))))
(*.f64 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1/2) 2)
(*.f64 (*.f64 (+.f64 d2 (+.f64 d3 37)) 1/2) (+.f64 d1 d1))
(*.f64 1/4 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4))
(*.f64 (/.f64 (+.f64 d2 (+.f64 d3 37)) 2) (+.f64 d1 d1))
(*.f64 (/.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4) 4)
(*.f64 (*.f64 2 (*.f64 (+.f64 d2 (+.f64 d3 37)) 1/2)) d1)
(*.f64 (*.f64 2 (/.f64 (+.f64 d2 (+.f64 d3 37)) 2)) d1)
(/.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1)
(/.f64 (*.f64 d1 (*.f64 2 (+.f64 d2 (+.f64 d3 37)))) 2)
(/.f64 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4) 4)
(/.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4)) 8)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4))) 16)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4)))) 32)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4))))) 64)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4)))))) 128)
(pow.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1)
(-.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 0)
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 1)
(*.f64 1 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))))
(*.f64 (+.f64 d3 (+.f64 d2 5)) d1)
(*.f64 2 (*.f64 (+.f64 d3 (+.f64 d2 5)) (*.f64 d1 1/2)))
(*.f64 (+.f64 d1 d1) (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2))
(*.f64 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 2) 1/2)
(*.f64 4 (/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 4))
(*.f64 4 (*.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2) (*.f64 d1 1/2)))
(*.f64 4 (*.f64 (*.f64 d1 1/2) (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2)))
(*.f64 (*.f64 d1 4) (*.f64 1/2 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2)))
(*.f64 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4)) 1/4)
(*.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) 2) (*.f64 d1 1/2))
(*.f64 8 (*.f64 (/.f64 d1 4) (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2)))
(*.f64 8 (*.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2) (/.f64 d1 4)))
(*.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4) (*.f64 1/2 (*.f64 d1 1/2)))
(*.f64 (*.f64 2 (*.f64 d1 4)) (*.f64 1/4 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2)))
(*.f64 1/2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 2))
(*.f64 (*.f64 d1 1/2) (*.f64 (+.f64 d3 (+.f64 d2 5)) 2))
(*.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) (*.f64 d1 1/2)) 2)
(*.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2) (+.f64 d1 d1))
(*.f64 1/4 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4)))
(*.f64 (/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 4) 4)
(*.f64 (*.f64 2 (/.f64 d1 4)) (*.f64 4 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2)))
(/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 1)
(/.f64 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 2) 2)
(/.f64 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4)) 4)
(/.f64 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4))) 8)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4)))) 16)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4))))) 32)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4)))))) 64)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4))))))) 128)
(pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 1)
Outputs
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 -1 (*.f64 d1 (-.f64 (+.f64 (*.f64 -1 (+.f64 5 d3)) (*.f64 -1 d2)) 32)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 -1 (*.f64 d1 (-.f64 (+.f64 (*.f64 -1 (+.f64 5 d3)) (*.f64 -1 d2)) 32)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 -1 (*.f64 d1 (-.f64 (+.f64 (*.f64 -1 (+.f64 5 d3)) (*.f64 -1 d2)) 32)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 -1 (*.f64 d1 (-.f64 (+.f64 (*.f64 -1 (+.f64 5 d3)) (*.f64 -1 d2)) 32)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 32 d1) (*.f64 (+.f64 5 d3) d1))
(+.f64 (*.f64 d1 32) (*.f64 d1 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d3 5) 32))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (*.f64 d2 d1) (+.f64 (*.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d2 d1) (+.f64 (*.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 d2 d1) (+.f64 (*.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 32 d1)))
(+.f64 (*.f64 d1 d2) (+.f64 (*.f64 d1 32) (*.f64 d1 5)))
(+.f64 (*.f64 d1 d2) (*.f64 d1 37))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 d3)
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 d3)
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 32 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3))))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 -1 (*.f64 d1 (+.f64 (*.f64 -1 (+.f64 5 d3)) (*.f64 -1 d2))))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 -1 (*.f64 d1 (+.f64 (*.f64 -1 (+.f64 5 d3)) (*.f64 -1 d2))))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 -1 (*.f64 d1 (+.f64 (*.f64 -1 (+.f64 5 d3)) (*.f64 -1 d2))))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 -1 (*.f64 d1 (+.f64 (*.f64 -1 (+.f64 5 d3)) (*.f64 -1 d2))))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 (+.f64 5 d3) d1)
(*.f64 d1 (+.f64 d3 5))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(+.f64 (*.f64 5 d1) (*.f64 d2 d1))
(+.f64 (*.f64 d1 d2) (*.f64 d1 5))
(*.f64 d1 (+.f64 d2 5))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 d3)
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 d3)
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(+.f64 (*.f64 5 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(-.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 0)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 1 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1/2))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 2 (*.f64 (*.f64 (+.f64 d2 (+.f64 d3 37)) 1/2) d1))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (+.f64 d1 d1) (*.f64 (+.f64 d2 (+.f64 d3 37)) 1/2))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (+.f64 d1 d1) (/.f64 (+.f64 d2 (+.f64 d3 37)) 2))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 d1 (*.f64 2 (+.f64 d2 (+.f64 d3 37)))) 1/2)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (+.f64 d2 (+.f64 d3 37)) d1)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 4 (/.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4) 1/4)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 2 (+.f64 d2 (+.f64 d3 37))) (*.f64 d1 1/2))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 1/2 (*.f64 d1 (*.f64 2 (+.f64 d2 (+.f64 d3 37)))))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 d1 1/2) (*.f64 2 (+.f64 d2 (+.f64 d3 37))))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1/2) 2)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 (+.f64 d2 (+.f64 d3 37)) 1/2) (+.f64 d1 d1))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 1/4 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (/.f64 (+.f64 d2 (+.f64 d3 37)) 2) (+.f64 d1 d1))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (/.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4) 4)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 2 (*.f64 (+.f64 d2 (+.f64 d3 37)) 1/2)) d1)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 2 (/.f64 (+.f64 d2 (+.f64 d3 37)) 2)) d1)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 d1 (*.f64 2 (+.f64 d2 (+.f64 d3 37)))) 2)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4) 4)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4)) 8)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4))) 16)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4)))) 32)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4))))) 64)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 4)))))) 128)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(pow.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 1)
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(-.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 0)
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 1)
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 1 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 (+.f64 d3 (+.f64 d2 5)) d1)
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 2 (*.f64 (+.f64 d3 (+.f64 d2 5)) (*.f64 d1 1/2)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 (+.f64 d1 d1) (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 2) 1/2)
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 4 (/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 4))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 4 (*.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2) (*.f64 d1 1/2)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 4 (*.f64 (*.f64 d1 1/2) (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 (*.f64 d1 4) (*.f64 1/2 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4)) 1/4)
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) 2) (*.f64 d1 1/2))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 8 (*.f64 (/.f64 d1 4) (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 8 (*.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2) (/.f64 d1 4)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4) (*.f64 1/2 (*.f64 d1 1/2)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 (*.f64 2 (*.f64 d1 4)) (*.f64 1/4 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 1/2 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 2))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 (*.f64 d1 1/2) (*.f64 (+.f64 d3 (+.f64 d2 5)) 2))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) (*.f64 d1 1/2)) 2)
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2) (+.f64 d1 d1))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 1/4 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 (/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 4) 4)
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(*.f64 (*.f64 2 (/.f64 d1 4)) (*.f64 4 (*.f64 (+.f64 d3 (+.f64 d2 5)) 1/2)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 1)
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(/.f64 (*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 2) 2)
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(/.f64 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4)) 4)
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(/.f64 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4))) 8)
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4)))) 16)
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4))))) 32)
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4)))))) 64)
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 d3 (+.f64 d2 5)) 4))))))) 128)
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))
(pow.f64 (*.f64 d1 (+.f64 d3 (+.f64 d2 5))) 1)
(*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
(*.f64 d1 (+.f64 (+.f64 d2 d3) 5))
(*.f64 d1 (+.f64 d3 (+.f64 d2 5)))

eval113.0ms (1.3%)

Compiler

Compiled 2421 to 1651 computations (31.8% saved)

prune80.0ms (0.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1957202
Fresh000
Picked101
Done112
Total1978205
Error
0.0b
Counts
205 → 8
Alt Table
Click to see full alt table
StatusErrorProgram
0.0b
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
0.0b
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
20.6b
(+.f64 (*.f64 d1 d2) (*.f64 d1 37))
21.3b
(*.f64 (+.f64 37 d3) d1)
42.3b
(*.f64 d2 d1)
0.0b
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
20.6b
(*.f64 d1 (+.f64 d2 37))
42.1b
(*.f64 d1 d3)
Compiler

Compiled 134 to 93 computations (30.6% saved)

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(*.f64 (+.f64 37 d3) d1)
0.0b
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
Compiler

Compiled 27 to 14 computations (48.1% saved)

series2.0ms (0%)

Counts
2 → 39
Calls

15 calls:

TimeVariablePointExpression
1.0ms
d1
@-inf
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
0.0ms
d3
@inf
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
0.0ms
d1
@0
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
0.0ms
d3
@-inf
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
0.0ms
d3
@0
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))

rewrite224.0ms (2.6%)

Algorithm
batch-egg-rewrite
Rules
2334×rational.json-simplify-35
1816×rational.json-1
1392×rational.json-simplify-1
1198×rational.json-simplify-2
1180×rational.json-2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01038
16632
213532
329132
456732
5132432
6274432
7450232
8567132
9648332
10648332
11648332
12799032
Stop Event
node limit
Counts
2 → 54
Calls
Call 1
Inputs
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(*.f64 (+.f64 37 d3) d1)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 (+.f64 37 (+.f64 d2 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 37 (+.f64 d2 d3)) (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d1 d1) (+.f64 37 (+.f64 d2 d3))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (*.f64 (+.f64 37 (+.f64 d2 d3)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (/.f64 (+.f64 37 (+.f64 d2 d3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 37 (+.f64 d2 d3)) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (*.f64 d1 1/2) (/.f64 (+.f64 37 (+.f64 d2 d3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (*.f64 (+.f64 37 (+.f64 d2 d3)) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 4) (*.f64 1/2 (/.f64 (+.f64 37 (+.f64 d2 d3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 8 (*.f64 (/.f64 d1 4) (/.f64 (+.f64 37 (+.f64 d2 d3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 8) (*.f64 1/4 (/.f64 (+.f64 37 (+.f64 d2 d3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (+.f64 37 (+.f64 d2 d3))) (*.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 d1 d1) (+.f64 37 (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 d2 (+.f64 d1 d1)) (*.f64 (+.f64 37 d3) (+.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (*.f64 2 (+.f64 37 (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (+.f64 (+.f64 d3 (+.f64 d3 74)) (+.f64 d2 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 37 (+.f64 d2 d3)) (*.f64 d1 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 37 (+.f64 d2 d3)) 1/2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 d1 (*.f64 (+.f64 37 (+.f64 d2 d3)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 37 (+.f64 d2 d3)) 2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 d2 (+.f64 d1 d1)) (*.f64 (+.f64 37 d3) (+.f64 d1 d1))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 d3 (+.f64 d3 74)) (+.f64 d2 d2)) (*.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (/.f64 d1 4)) (*.f64 4 (/.f64 (+.f64 37 (+.f64 d2 d3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 (+.f64 37 (+.f64 d2 d3)) 1/2)) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (+.f64 (+.f64 d3 (+.f64 d3 74)) (+.f64 d2 d2))) (*.f64 1/2 (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d1 d1) (+.f64 37 (+.f64 d2 d3))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 (+.f64 37 (+.f64 d2 d3)) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (+.f64 37 d3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 d1 (+.f64 37 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 37 d3) (*.f64 d1 1/2)) (*.f64 (+.f64 37 d3) (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 37 d3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 37 d3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 37 d3) (+.f64 d1 d1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 (+.f64 37 d3) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 (+.f64 37 d3) 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8)))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8))))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 37 d3)) 1)))))

simplify281.0ms (3.3%)

Algorithm
egg-herbie
Rules
2044×rational.json-simplify-2
1962×rational.json-simplify-35
1284×rational.json-simplify-1
1078×rational.json-simplify-51
1006×exponential.json-simplify-26
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01381539
13221533
27081533
321331533
446971533
553841533
656021533
757651533
859241533
960891533
1073401533
1178591533
Stop Event
node limit
Counts
93 → 71
Calls
Call 1
Inputs
(*.f64 (+.f64 37 d3) d1)
(*.f64 d2 d1)
(*.f64 d2 d1)
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (+.f64 37 d3)) (*.f64 -1 d2)) d1))
(*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (+.f64 37 d3)) (*.f64 -1 d2)) d1))
(*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (+.f64 37 d3)) (*.f64 -1 d2)) d1))
(*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (+.f64 37 d3)) (*.f64 -1 d2)) d1))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 d3)
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 d3)
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 37 d1)
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(-.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 0)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 1)
(*.f64 1 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))))
(*.f64 2 (*.f64 (+.f64 37 (+.f64 d2 d3)) (*.f64 d1 1/2)))
(*.f64 (*.f64 (+.f64 d1 d1) (+.f64 37 (+.f64 d2 d3))) 1/2)
(*.f64 (+.f64 d1 d1) (*.f64 (+.f64 37 (+.f64 d2 d3)) 1/2))
(*.f64 (+.f64 d1 d1) (/.f64 (+.f64 37 (+.f64 d2 d3)) 2))
(*.f64 (+.f64 37 (+.f64 d2 d3)) d1)
(*.f64 4 (/.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 4))
(*.f64 4 (*.f64 (*.f64 d1 1/2) (/.f64 (+.f64 37 (+.f64 d2 d3)) 2)))
(*.f64 (*.f64 d1 (*.f64 (+.f64 37 (+.f64 d2 d3)) 4)) 1/4)
(*.f64 (*.f64 d1 4) (*.f64 1/2 (/.f64 (+.f64 37 (+.f64 d2 d3)) 2)))
(*.f64 8 (*.f64 (/.f64 d1 4) (/.f64 (+.f64 37 (+.f64 d2 d3)) 2)))
(*.f64 (*.f64 d1 8) (*.f64 1/4 (/.f64 (+.f64 37 (+.f64 d2 d3)) 2)))
(*.f64 (*.f64 2 (+.f64 37 (+.f64 d2 d3))) (*.f64 d1 1/2))
(*.f64 1/2 (*.f64 (+.f64 d1 d1) (+.f64 37 (+.f64 d2 d3))))
(*.f64 1/2 (+.f64 (*.f64 d2 (+.f64 d1 d1)) (*.f64 (+.f64 37 d3) (+.f64 d1 d1))))
(*.f64 (*.f64 d1 1/2) (*.f64 2 (+.f64 37 (+.f64 d2 d3))))
(*.f64 (*.f64 d1 1/2) (+.f64 (+.f64 d3 (+.f64 d3 74)) (+.f64 d2 d2)))
(*.f64 (*.f64 (+.f64 37 (+.f64 d2 d3)) (*.f64 d1 1/2)) 2)
(*.f64 (*.f64 (+.f64 37 (+.f64 d2 d3)) 1/2) (+.f64 d1 d1))
(*.f64 1/4 (*.f64 d1 (*.f64 (+.f64 37 (+.f64 d2 d3)) 4)))
(*.f64 (/.f64 (+.f64 37 (+.f64 d2 d3)) 2) (+.f64 d1 d1))
(*.f64 (+.f64 (*.f64 d2 (+.f64 d1 d1)) (*.f64 (+.f64 37 d3) (+.f64 d1 d1))) 1/2)
(*.f64 (+.f64 (+.f64 d3 (+.f64 d3 74)) (+.f64 d2 d2)) (*.f64 d1 1/2))
(*.f64 (*.f64 2 (/.f64 d1 4)) (*.f64 4 (/.f64 (+.f64 37 (+.f64 d2 d3)) 2)))
(*.f64 (*.f64 2 (*.f64 (+.f64 37 (+.f64 d2 d3)) 1/2)) d1)
(*.f64 (/.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 4) 4)
(*.f64 (*.f64 2 (+.f64 (+.f64 d3 (+.f64 d3 74)) (+.f64 d2 d2))) (*.f64 1/2 (*.f64 d1 1/2)))
(/.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 1)
(/.f64 (*.f64 (+.f64 d1 d1) (+.f64 37 (+.f64 d2 d3))) 2)
(/.f64 (*.f64 d1 (*.f64 (+.f64 37 (+.f64 d2 d3)) 4)) 4)
(/.f64 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8) 8)
(/.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8)) 16)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8))) 32)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8)))) 64)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8))))) 128)
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8)))))) 256)
(pow.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 1)
(+.f64 (*.f64 d1 (+.f64 37 d3)) 0)
(+.f64 0 (*.f64 d1 (+.f64 37 d3)))
(+.f64 (*.f64 (+.f64 37 d3) (*.f64 d1 1/2)) (*.f64 (+.f64 37 d3) (*.f64 d1 1/2)))
(-.f64 (*.f64 d1 (+.f64 37 d3)) 0)
(/.f64 (*.f64 d1 (+.f64 37 d3)) 1)
(/.f64 (*.f64 (+.f64 37 d3) (+.f64 d1 d1)) 2)
(/.f64 (*.f64 d1 (*.f64 (+.f64 37 d3) 4)) 4)
(/.f64 (*.f64 d1 (*.f64 (+.f64 37 d3) 8)) 8)
(/.f64 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8))) 16)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8)))) 32)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8))))) 64)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8)))))) 128)
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8)))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8))))))) 256)
(pow.f64 (*.f64 d1 (+.f64 37 d3)) 1)
Outputs
(*.f64 (+.f64 37 d3) d1)
(*.f64 d2 d1)
(*.f64 d1 d2)
(*.f64 d2 d1)
(*.f64 d1 d2)
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (+.f64 37 d3)) (*.f64 -1 d2)) d1))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (+.f64 37 d3)) (*.f64 -1 d2)) d1))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (+.f64 37 d3)) (*.f64 -1 d2)) d1))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (+.f64 37 d3)) (*.f64 -1 d2)) d1))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 d1 d2) (*.f64 37 d1))
(*.f64 d1 (+.f64 d2 37))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 d3)
(*.f64 d3 d1)
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 d3)
(*.f64 d3 d1)
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (*.f64 37 d1) (+.f64 (*.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 37 d1)
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(*.f64 (+.f64 37 d3) d1)
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(*.f64 (+.f64 37 d3) d1)
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(*.f64 (+.f64 37 d3) d1)
(*.f64 d1 d3)
(*.f64 d3 d1)
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(*.f64 (+.f64 37 d3) d1)
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(*.f64 (+.f64 37 d3) d1)
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(*.f64 (+.f64 37 d3) d1)
(*.f64 d1 d3)
(*.f64 d3 d1)
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(*.f64 (+.f64 37 d3) d1)
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(*.f64 (+.f64 37 d3) d1)
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(*.f64 (+.f64 37 d3) d1)
(-.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 0)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 1)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 1 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 2 (*.f64 (+.f64 37 (+.f64 d2 d3)) (*.f64 d1 1/2)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (*.f64 (+.f64 d1 d1) (+.f64 37 (+.f64 d2 d3))) 1/2)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (+.f64 d1 d1) (*.f64 (+.f64 37 (+.f64 d2 d3)) 1/2))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (+.f64 d1 d1) (/.f64 (+.f64 37 (+.f64 d2 d3)) 2))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (+.f64 37 (+.f64 d2 d3)) d1)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 4 (/.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 4))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 4 (*.f64 (*.f64 d1 1/2) (/.f64 (+.f64 37 (+.f64 d2 d3)) 2)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (*.f64 d1 (*.f64 (+.f64 37 (+.f64 d2 d3)) 4)) 1/4)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (*.f64 d1 4) (*.f64 1/2 (/.f64 (+.f64 37 (+.f64 d2 d3)) 2)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 8 (*.f64 (/.f64 d1 4) (/.f64 (+.f64 37 (+.f64 d2 d3)) 2)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (*.f64 d1 8) (*.f64 1/4 (/.f64 (+.f64 37 (+.f64 d2 d3)) 2)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (*.f64 2 (+.f64 37 (+.f64 d2 d3))) (*.f64 d1 1/2))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 1/2 (*.f64 (+.f64 d1 d1) (+.f64 37 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 1/2 (+.f64 (*.f64 d2 (+.f64 d1 d1)) (*.f64 (+.f64 37 d3) (+.f64 d1 d1))))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (*.f64 d1 1/2) (*.f64 2 (+.f64 37 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (*.f64 d1 1/2) (+.f64 (+.f64 d3 (+.f64 d3 74)) (+.f64 d2 d2)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (*.f64 (+.f64 37 (+.f64 d2 d3)) (*.f64 d1 1/2)) 2)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (*.f64 (+.f64 37 (+.f64 d2 d3)) 1/2) (+.f64 d1 d1))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 1/4 (*.f64 d1 (*.f64 (+.f64 37 (+.f64 d2 d3)) 4)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (/.f64 (+.f64 37 (+.f64 d2 d3)) 2) (+.f64 d1 d1))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (+.f64 (*.f64 d2 (+.f64 d1 d1)) (*.f64 (+.f64 37 d3) (+.f64 d1 d1))) 1/2)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (+.f64 (+.f64 d3 (+.f64 d3 74)) (+.f64 d2 d2)) (*.f64 d1 1/2))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (*.f64 2 (/.f64 d1 4)) (*.f64 4 (/.f64 (+.f64 37 (+.f64 d2 d3)) 2)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (*.f64 2 (*.f64 (+.f64 37 (+.f64 d2 d3)) 1/2)) d1)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (/.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 4) 4)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(*.f64 (*.f64 2 (+.f64 (+.f64 d3 (+.f64 d3 74)) (+.f64 d2 d2))) (*.f64 1/2 (*.f64 d1 1/2)))
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(/.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 1)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(/.f64 (*.f64 (+.f64 d1 d1) (+.f64 37 (+.f64 d2 d3))) 2)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(/.f64 (*.f64 d1 (*.f64 (+.f64 37 (+.f64 d2 d3)) 4)) 4)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(/.f64 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8) 8)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(/.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8)) 16)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8))) 32)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8)))) 64)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8))))) 128)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 8)))))) 256)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(pow.f64 (*.f64 d1 (+.f64 37 (+.f64 d2 d3))) 1)
(*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
(*.f64 d1 (+.f64 d3 (+.f64 d2 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (*.f64 d1 (+.f64 37 d3)) 0)
(*.f64 (+.f64 37 d3) d1)
(+.f64 0 (*.f64 d1 (+.f64 37 d3)))
(*.f64 (+.f64 37 d3) d1)
(+.f64 (*.f64 (+.f64 37 d3) (*.f64 d1 1/2)) (*.f64 (+.f64 37 d3) (*.f64 d1 1/2)))
(*.f64 (+.f64 37 d3) d1)
(-.f64 (*.f64 d1 (+.f64 37 d3)) 0)
(*.f64 (+.f64 37 d3) d1)
(/.f64 (*.f64 d1 (+.f64 37 d3)) 1)
(*.f64 (+.f64 37 d3) d1)
(/.f64 (*.f64 (+.f64 37 d3) (+.f64 d1 d1)) 2)
(*.f64 (+.f64 37 d3) d1)
(/.f64 (*.f64 d1 (*.f64 (+.f64 37 d3) 4)) 4)
(*.f64 (+.f64 37 d3) d1)
(/.f64 (*.f64 d1 (*.f64 (+.f64 37 d3) 8)) 8)
(*.f64 (+.f64 37 d3) d1)
(/.f64 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8))) 16)
(*.f64 (+.f64 37 d3) d1)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8)))) 32)
(*.f64 (+.f64 37 d3) d1)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8))))) 64)
(*.f64 (+.f64 37 d3) d1)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8)))))) 128)
(*.f64 (+.f64 37 d3) d1)
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8)))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 d1 (*.f64 (+.f64 37 d3) 8))))))) 256)
(*.f64 (+.f64 37 d3) d1)
(pow.f64 (*.f64 d1 (+.f64 37 d3)) 1)
(*.f64 (+.f64 37 d3) d1)

localize3.0ms (0%)

Compiler

Compiled 8 to 4 computations (50% saved)

localize5.0ms (0.1%)

Compiler

Compiled 8 to 4 computations (50% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(*.f64 d1 (+.f64 d2 37))
Compiler

Compiled 14 to 9 computations (35.7% saved)

series1.0ms (0%)

Counts
1 → 20
Calls

6 calls:

TimeVariablePointExpression
0.0ms
d1
@0
(*.f64 d1 (+.f64 d2 37))
0.0ms
d1
@inf
(*.f64 d1 (+.f64 d2 37))
0.0ms
d1
@-inf
(*.f64 d1 (+.f64 d2 37))
0.0ms
d2
@inf
(*.f64 d1 (+.f64 d2 37))
0.0ms
d2
@0
(*.f64 d1 (+.f64 d2 37))

rewrite210.0ms (2.5%)

Algorithm
batch-egg-rewrite
Rules
2428×rational.json-simplify-35
1520×rational.json-simplify-53
1482×rational.json-simplify-1
1242×exponential.json-3
1242×rational.json-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
14613
29913
320113
436913
582013
6206313
7365013
8475613
9615313
10689213
11689213
12689213
Stop Event
node limit
Counts
1 → 15
Calls
Call 1
Inputs
(*.f64 d1 (+.f64 d2 37))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (+.f64 d2 37)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 d1 (+.f64 d2 37)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (*.f64 (+.f64 d2 37) 1/2)) (*.f64 d1 (*.f64 (+.f64 d2 37) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 d2 37)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 d2 37)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d2 37) (+.f64 d1 d1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d2 37) (*.f64 d1 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 (+.f64 d2 37) 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 (+.f64 d2 37) 8) (*.f64 d1 8))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (+.f64 d2 37) 8) (*.f64 d1 8)) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 16 (*.f64 d1 (+.f64 d2 37))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d2 37) (*.f64 8 (*.f64 d1 4))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (+.f64 d2 37) 8) (*.f64 d1 8)))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (+.f64 d2 37) 8) (*.f64 d1 8)))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 (+.f64 d2 37) 8) (*.f64 d1 8))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d2 37)) 1)))))

simplify545.0ms (6.4%)

Algorithm
egg-herbie
Rules
3338×rational.json-simplify-35
2310×rational.json-simplify-2
1622×rational.json-simplify-53
1348×rational.json-simplify-1
914×rational.json-simplify-49
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055437
1139437
2291437
3729437
42321437
54532437
65304437
75537437
85708437
95860437
106009437
117308437
127382437
137382437
147529437
157676437
167823437
177970437
Stop Event
node limit
Counts
35 → 21
Calls
Call 1
Inputs
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 37 d1)
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(*.f64 d2 d1)
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(*.f64 d2 d1)
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 d1 (+.f64 d2 37)) 0)
(+.f64 0 (*.f64 d1 (+.f64 d2 37)))
(+.f64 (*.f64 d1 (*.f64 (+.f64 d2 37) 1/2)) (*.f64 d1 (*.f64 (+.f64 d2 37) 1/2)))
(-.f64 (*.f64 d1 (+.f64 d2 37)) 0)
(/.f64 (*.f64 d1 (+.f64 d2 37)) 1)
(/.f64 (*.f64 (+.f64 d2 37) (+.f64 d1 d1)) 2)
(/.f64 (*.f64 (+.f64 d2 37) (*.f64 d1 4)) 4)
(/.f64 (*.f64 d1 (*.f64 (+.f64 d2 37) 8)) 8)
(/.f64 (*.f64 2 (*.f64 (*.f64 (+.f64 d2 37) 8) (*.f64 d1 8))) 128)
(/.f64 (*.f64 (*.f64 (+.f64 d2 37) 8) (*.f64 d1 8)) 64)
(/.f64 (*.f64 16 (*.f64 d1 (+.f64 d2 37))) 16)
(/.f64 (*.f64 (+.f64 d2 37) (*.f64 8 (*.f64 d1 4))) 32)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (+.f64 d2 37) 8) (*.f64 d1 8)))) 256)
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (+.f64 d2 37) 8) (*.f64 d1 8)))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 (+.f64 d2 37) 8) (*.f64 d1 8))))) 512)
(pow.f64 (*.f64 d1 (+.f64 d2 37)) 1)
Outputs
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 37 d1)
(*.f64 d1 37)
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 d1 (+.f64 d2 37)) 0)
(*.f64 d1 (+.f64 37 d2))
(+.f64 0 (*.f64 d1 (+.f64 d2 37)))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 d1 (*.f64 (+.f64 d2 37) 1/2)) (*.f64 d1 (*.f64 (+.f64 d2 37) 1/2)))
(*.f64 d1 (+.f64 37 d2))
(-.f64 (*.f64 d1 (+.f64 d2 37)) 0)
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 d1 (+.f64 d2 37)) 1)
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 (+.f64 d2 37) (+.f64 d1 d1)) 2)
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 (+.f64 d2 37) (*.f64 d1 4)) 4)
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 d1 (*.f64 (+.f64 d2 37) 8)) 8)
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 2 (*.f64 (*.f64 (+.f64 d2 37) 8) (*.f64 d1 8))) 128)
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 (*.f64 (+.f64 d2 37) 8) (*.f64 d1 8)) 64)
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 16 (*.f64 d1 (+.f64 d2 37))) 16)
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 (+.f64 d2 37) (*.f64 8 (*.f64 d1 4))) 32)
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (+.f64 d2 37) 8) (*.f64 d1 8)))) 256)
(*.f64 d1 (+.f64 37 d2))
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (+.f64 d2 37) 8) (*.f64 d1 8)))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 (+.f64 d2 37) 8) (*.f64 d1 8))))) 512)
(*.f64 d1 (+.f64 37 d2))
(pow.f64 (*.f64 d1 (+.f64 d2 37)) 1)
(*.f64 d1 (+.f64 37 d2))

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(*.f64 (+.f64 37 d3) d1)
Compiler

Compiled 14 to 9 computations (35.7% saved)

eval118.0ms (1.4%)

Compiler

Compiled 1199 to 789 computations (34.2% saved)

prune504.0ms (5.9%)

Pruning

9 alts after pruning (3 fresh and 6 done)

PrunedKeptTotal
New1053108
Fresh202
Picked011
Done055
Total1079116
Error
0.0b
Counts
116 → 9
Alt Table
Click to see full alt table
StatusErrorProgram
0.0b
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
20.6b
(+.f64 (*.f64 d2 d1) (*.f64 37 d1))
21.3b
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
21.3b
(*.f64 (+.f64 37 d3) d1)
42.3b
(*.f64 d2 d1)
0.0b
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
20.6b
(*.f64 d1 (+.f64 d2 37))
42.1b
(*.f64 d1 d3)
41.4b
(*.f64 d1 37)
Compiler

Compiled 76 to 54 computations (28.9% saved)

localize4.0ms (0%)

Compiler

Compiled 8 to 6 computations (25% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
Compiler

Compiled 19 to 10 computations (47.4% saved)

series1.0ms (0%)

Counts
1 → 15
Calls

6 calls:

TimeVariablePointExpression
0.0ms
d1
@0
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
0.0ms
d1
@-inf
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
0.0ms
d3
@0
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
0.0ms
d3
@inf
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
0.0ms
d3
@-inf
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))

rewrite196.0ms (2.3%)

Algorithm
batch-egg-rewrite
Rules
1716×rational.json-simplify-1
1714×rational.json-simplify-35
1416×exponential.json-3
1416×rational.json-1
1416×rational.json-2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0819
15313
211413
324513
445713
5105113
6259413
7469513
8558213
9687013
10784713
11784713
Stop Event
node limit
Counts
1 → 44
Calls
Call 1
Inputs
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 37 d3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 (+.f64 37 d3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (+.f64 37 d3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 d1 (+.f64 37 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (+.f64 d3 (+.f64 d3 74))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (*.f64 (+.f64 37 d3) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (+.f64 (*.f64 d3 1/2) 37/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (*.f64 1/4 (+.f64 d3 (+.f64 d3 74))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 37 d3) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 d1 (/.f64 (+.f64 37 d3) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (/.f64 d1 8) (+.f64 d3 (+.f64 d3 74))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (+.f64 37 d3)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 4) (/.f64 (+.f64 37 d3) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 4) (*.f64 (+.f64 37 d3) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 4) (*.f64 1/8 (+.f64 d3 (+.f64 d3 74))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 8 (*.f64 (/.f64 d1 8) (+.f64 37 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d3 (+.f64 d3 74)) (*.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 8) (*.f64 1/8 (+.f64 37 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 d1 (+.f64 d3 (+.f64 d3 74))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (+.f64 37 d3)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (+.f64 d3 (+.f64 d3 74)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (+.f64 (+.f64 d3 d3) 74))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 d1 8)) (*.f64 1/16 (+.f64 37 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 37 d3) 4) (*.f64 d1 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (*.f64 d1 (+.f64 37 d3)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 37 d3) 1/2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (/.f64 (+.f64 37 d3) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/4) (*.f64 (+.f64 37 d3) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 37 d3) 4) (*.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 d3 1/2) 37/2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 d3 d3) 74) (*.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 37 d3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 d3 (+.f64 d3 74))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 (+.f64 37 d3)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 37 d3)) 1)))))

simplify272.0ms (3.2%)

Algorithm
egg-herbie
Rules
2420×rational.json-simplify-2
1876×rational.json-simplify-35
1612×rational.json-simplify-1
1492×rational.json-simplify-51
1126×rational.json-simplify-41
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0106821
1244805
2624805
31699789
44158773
55869773
66407773
76545773
86659773
96767773
106873773
117967773
Stop Event
node limit
Counts
59 → 53
Calls
Call 1
Inputs
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 37 d3) d1)
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 d3) 37)))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 d3) 37)))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 d3) 37)))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 d3) 37)))
(*.f64 37 d1)
(*.f64 d1 d3)
(*.f64 d1 d3)
(-.f64 (*.f64 d1 (+.f64 37 d3)) 0)
(*.f64 d1 (+.f64 37 d3))
(*.f64 (*.f64 d1 (+.f64 37 d3)) 1)
(*.f64 1 (*.f64 d1 (+.f64 37 d3)))
(*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 1/2))
(*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d3 74))) 1/2)
(*.f64 (+.f64 d1 d1) (*.f64 (+.f64 37 d3) 1/2))
(*.f64 (+.f64 d1 d1) (+.f64 (*.f64 d3 1/2) 37/2))
(*.f64 (+.f64 d1 d1) (*.f64 1/4 (+.f64 d3 (+.f64 d3 74))))
(*.f64 (+.f64 37 d3) d1)
(*.f64 4 (*.f64 d1 (/.f64 (+.f64 37 d3) 4)))
(*.f64 4 (*.f64 (/.f64 d1 8) (+.f64 d3 (+.f64 d3 74))))
(*.f64 (*.f64 (*.f64 d1 (+.f64 37 d3)) 4) 1/4)
(*.f64 (*.f64 d1 4) (/.f64 (+.f64 37 d3) 4))
(*.f64 (*.f64 d1 4) (*.f64 (+.f64 37 d3) 1/4))
(*.f64 (*.f64 d1 4) (*.f64 1/8 (+.f64 d3 (+.f64 d3 74))))
(*.f64 8 (*.f64 (/.f64 d1 8) (+.f64 37 d3)))
(*.f64 (+.f64 d3 (+.f64 d3 74)) (*.f64 d1 1/2))
(*.f64 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8) 1/8)
(*.f64 (*.f64 d1 8) (*.f64 1/8 (+.f64 37 d3)))
(*.f64 1/2 (*.f64 d1 (+.f64 d3 (+.f64 d3 74))))
(*.f64 (*.f64 (*.f64 d1 (+.f64 37 d3)) 1/2) 2)
(*.f64 (*.f64 d1 1/2) (+.f64 d3 (+.f64 d3 74)))
(*.f64 (*.f64 d1 1/2) (+.f64 (+.f64 d3 d3) 74))
(*.f64 (*.f64 2 (*.f64 d1 8)) (*.f64 1/16 (+.f64 37 d3)))
(*.f64 (*.f64 (+.f64 37 d3) 4) (*.f64 d1 1/4))
(*.f64 1/4 (*.f64 (*.f64 d1 (+.f64 37 d3)) 4))
(*.f64 (*.f64 (+.f64 37 d3) 1/2) (+.f64 d1 d1))
(*.f64 (*.f64 d1 (/.f64 (+.f64 37 d3) 4)) 4)
(*.f64 (*.f64 d1 1/4) (*.f64 (+.f64 37 d3) 4))
(*.f64 1/8 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8))
(*.f64 (/.f64 (+.f64 37 d3) 4) (*.f64 d1 4))
(*.f64 (+.f64 (*.f64 d3 1/2) 37/2) (+.f64 d1 d1))
(*.f64 (+.f64 (+.f64 d3 d3) 74) (*.f64 d1 1/2))
(/.f64 (*.f64 d1 (+.f64 37 d3)) 1)
(/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d3 74))) 2)
(/.f64 (*.f64 (*.f64 d1 (+.f64 37 d3)) 4) 4)
(/.f64 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8) 8)
(/.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8)) 16)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8))) 32)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8)))) 64)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8))))) 128)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8)))))) 256)
(pow.f64 (*.f64 d1 (+.f64 37 d3)) 1)
Outputs
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 37 d3) d1)
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 d3) 37)))
(*.f64 d1 (*.f64 (-.f64 (*.f64 d3 -1) 37) -1))
(*.f64 d1 (neg.f64 (-.f64 (neg.f64 d3) 37)))
(*.f64 (-.f64 (neg.f64 d3) 37) (neg.f64 d1))
(*.f64 (-.f64 -37 d3) (neg.f64 d1))
(*.f64 d1 (-.f64 d3 -37))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 d3) 37)))
(*.f64 d1 (*.f64 (-.f64 (*.f64 d3 -1) 37) -1))
(*.f64 d1 (neg.f64 (-.f64 (neg.f64 d3) 37)))
(*.f64 (-.f64 (neg.f64 d3) 37) (neg.f64 d1))
(*.f64 (-.f64 -37 d3) (neg.f64 d1))
(*.f64 d1 (-.f64 d3 -37))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 d3) 37)))
(*.f64 d1 (*.f64 (-.f64 (*.f64 d3 -1) 37) -1))
(*.f64 d1 (neg.f64 (-.f64 (neg.f64 d3) 37)))
(*.f64 (-.f64 (neg.f64 d3) 37) (neg.f64 d1))
(*.f64 (-.f64 -37 d3) (neg.f64 d1))
(*.f64 d1 (-.f64 d3 -37))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 d3) 37)))
(*.f64 d1 (*.f64 (-.f64 (*.f64 d3 -1) 37) -1))
(*.f64 d1 (neg.f64 (-.f64 (neg.f64 d3) 37)))
(*.f64 (-.f64 (neg.f64 d3) 37) (neg.f64 d1))
(*.f64 (-.f64 -37 d3) (neg.f64 d1))
(*.f64 d1 (-.f64 d3 -37))
(*.f64 37 d1)
(*.f64 d1 d3)
(*.f64 d3 d1)
(*.f64 d1 d3)
(*.f64 d3 d1)
(-.f64 (*.f64 d1 (+.f64 37 d3)) 0)
(*.f64 (+.f64 37 d3) d1)
(*.f64 d1 (+.f64 37 d3))
(*.f64 (+.f64 37 d3) d1)
(*.f64 (*.f64 d1 (+.f64 37 d3)) 1)
(*.f64 (+.f64 37 d3) d1)
(*.f64 1 (*.f64 d1 (+.f64 37 d3)))
(*.f64 (+.f64 37 d3) d1)
(*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 1/2))
(*.f64 (+.f64 37 d3) d1)
(*.f64 (*.f64 d1 (+.f64 d3 (+.f64 d3 74))) 1/2)
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 d1 d1) (*.f64 (+.f64 37 d3) 1/2))
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 d1 d1) (+.f64 (*.f64 d3 1/2) 37/2))
(*.f64 (+.f64 d1 d1) (*.f64 1/4 (+.f64 d3 (+.f64 d3 74))))
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 37 d3) d1)
(*.f64 4 (*.f64 d1 (/.f64 (+.f64 37 d3) 4)))
(*.f64 (+.f64 37 d3) d1)
(*.f64 4 (*.f64 (/.f64 d1 8) (+.f64 d3 (+.f64 d3 74))))
(*.f64 (+.f64 37 d3) d1)
(*.f64 (*.f64 (*.f64 d1 (+.f64 37 d3)) 4) 1/4)
(*.f64 (+.f64 37 d3) d1)
(*.f64 (*.f64 d1 4) (/.f64 (+.f64 37 d3) 4))
(*.f64 (+.f64 37 d3) d1)
(*.f64 (*.f64 d1 4) (*.f64 (+.f64 37 d3) 1/4))
(*.f64 (+.f64 37 d3) d1)
(*.f64 (*.f64 d1 4) (*.f64 1/8 (+.f64 d3 (+.f64 d3 74))))
(*.f64 (+.f64 37 d3) d1)
(*.f64 8 (*.f64 (/.f64 d1 8) (+.f64 37 d3)))
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 d3 (+.f64 d3 74)) (*.f64 d1 1/2))
(*.f64 (+.f64 37 d3) d1)
(*.f64 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8) 1/8)
(*.f64 (+.f64 37 d3) d1)
(*.f64 (*.f64 d1 8) (*.f64 1/8 (+.f64 37 d3)))
(*.f64 (+.f64 37 d3) d1)
(*.f64 1/2 (*.f64 d1 (+.f64 d3 (+.f64 d3 74))))
(*.f64 (+.f64 37 d3) d1)
(*.f64 (*.f64 (*.f64 d1 (+.f64 37 d3)) 1/2) 2)
(*.f64 (+.f64 37 d3) d1)
(*.f64 (*.f64 d1 1/2) (+.f64 d3 (+.f64 d3 74)))
(*.f64 (+.f64 37 d3) d1)
(*.f64 (*.f64 d1 1/2) (+.f64 (+.f64 d3 d3) 74))
(*.f64 (+.f64 37 d3) d1)
(*.f64 (*.f64 2 (*.f64 d1 8)) (*.f64 1/16 (+.f64 37 d3)))
(*.f64 (+.f64 37 d3) d1)
(*.f64 (*.f64 (+.f64 37 d3) 4) (*.f64 d1 1/4))
(*.f64 (+.f64 37 d3) d1)
(*.f64 1/4 (*.f64 (*.f64 d1 (+.f64 37 d3)) 4))
(*.f64 (+.f64 37 d3) d1)
(*.f64 (*.f64 (+.f64 37 d3) 1/2) (+.f64 d1 d1))
(*.f64 (+.f64 37 d3) d1)
(*.f64 (*.f64 d1 (/.f64 (+.f64 37 d3) 4)) 4)
(*.f64 (+.f64 37 d3) d1)
(*.f64 (*.f64 d1 1/4) (*.f64 (+.f64 37 d3) 4))
(*.f64 (+.f64 37 d3) d1)
(*.f64 1/8 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8))
(*.f64 (+.f64 37 d3) d1)
(*.f64 (/.f64 (+.f64 37 d3) 4) (*.f64 d1 4))
(*.f64 (+.f64 37 d3) d1)
(*.f64 (+.f64 (*.f64 d3 1/2) 37/2) (+.f64 d1 d1))
(*.f64 (+.f64 d1 d1) (+.f64 (*.f64 d3 1/2) 37/2))
(*.f64 (+.f64 (+.f64 d3 d3) 74) (*.f64 d1 1/2))
(*.f64 (+.f64 37 d3) d1)
(/.f64 (*.f64 d1 (+.f64 37 d3)) 1)
(*.f64 (+.f64 37 d3) d1)
(/.f64 (*.f64 d1 (+.f64 d3 (+.f64 d3 74))) 2)
(*.f64 (+.f64 37 d3) d1)
(/.f64 (*.f64 (*.f64 d1 (+.f64 37 d3)) 4) 4)
(*.f64 (+.f64 37 d3) d1)
(/.f64 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8) 8)
(*.f64 (+.f64 37 d3) d1)
(/.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8)) 16)
(*.f64 (+.f64 37 d3) d1)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8))) 32)
(*.f64 (+.f64 37 d3) d1)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8)))) 64)
(*.f64 (+.f64 37 d3) d1)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8))))) 128)
(*.f64 (+.f64 37 d3) d1)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 37 d3)) 8)))))) 256)
(*.f64 (+.f64 37 d3) d1)
(pow.f64 (*.f64 d1 (+.f64 37 d3)) 1)
(*.f64 (+.f64 37 d3) d1)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(+.f64 (*.f64 d2 d1) (*.f64 37 d1))
Compiler

Compiled 19 to 10 computations (47.4% saved)

series1.0ms (0%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
0.0ms
d2
@0
(+.f64 (*.f64 d2 d1) (*.f64 37 d1))
0.0ms
d1
@-inf
(+.f64 (*.f64 d2 d1) (*.f64 37 d1))
0.0ms
d2
@inf
(+.f64 (*.f64 d2 d1) (*.f64 37 d1))
0.0ms
d2
@-inf
(+.f64 (*.f64 d2 d1) (*.f64 37 d1))
0.0ms
d1
@inf
(+.f64 (*.f64 d2 d1) (*.f64 37 d1))

rewrite269.0ms (3.2%)

Algorithm
batch-egg-rewrite
Rules
1714×rational.json-simplify-35
1708×rational.json-simplify-1
1416×exponential.json-3
1416×rational.json-1
1416×rational.json-2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0819
15313
211413
324513
445713
5104913
6260213
7470013
8558713
9687513
10785213
11785213
Stop Event
node limit
Counts
1 → 44
Calls
Call 1
Inputs
(+.f64 (*.f64 d2 d1) (*.f64 37 d1))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 d2 37)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 (+.f64 d2 37))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (+.f64 d2 37)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 d1 (+.f64 d2 37)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 37) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (+.f64 d2 (+.f64 d2 74))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (*.f64 (+.f64 d2 37) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (+.f64 (*.f64 d2 1/2) 37/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (*.f64 1/4 (+.f64 d2 (+.f64 d2 74))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d2 37) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (*.f64 d1 (+.f64 d2 37)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (/.f64 d1 8) (+.f64 d2 (+.f64 d2 74))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (*.f64 (+.f64 d2 37) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 4) (/.f64 (+.f64 d2 37) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 4) (*.f64 (+.f64 d2 37) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 4) (*.f64 1/8 (+.f64 d2 (+.f64 d2 74))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 8 (*.f64 (/.f64 d1 8) (+.f64 d2 37)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d2 (+.f64 d2 74)) (*.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 8) (*.f64 1/8 (+.f64 d2 37)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 d1 (+.f64 d2 (+.f64 d2 74))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (*.f64 (+.f64 d2 37) 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (+.f64 d2 (+.f64 d2 74)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (+.f64 (+.f64 d2 d2) 74))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 d1 8)) (*.f64 1/16 (+.f64 d2 37)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d2 37) 4) (*.f64 d1 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 d1 (*.f64 (+.f64 d2 37) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d2 37) 1/2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (+.f64 d2 37)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/4) (*.f64 (+.f64 d2 37) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 d2 37) 4) (*.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 d2 1/2) 37/2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 d2 d2) 74) (*.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 d2 37)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 d2 (+.f64 d2 74))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 (+.f64 d2 37) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d2 37)) 1)))))

simplify198.0ms (2.3%)

Algorithm
egg-herbie
Rules
2694×rational.json-simplify-2
1696×rational.json-simplify-1
1604×rational.json-simplify-35
1322×rational.json-simplify-51
1156×rational.json-simplify-41
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01091292
1250922
2564922
32077906
44755890
55993890
66165890
76292890
86418890
96535890
107352890
Stop Event
node limit
Counts
68 → 55
Calls
Call 1
Inputs
(*.f64 37 d1)
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(*.f64 d2 d1)
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(*.f64 d2 d1)
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 d2 37))
(*.f64 d1 (+.f64 d2 37))
(*.f64 d1 (+.f64 d2 37))
(*.f64 d1 (+.f64 d2 37))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(-.f64 (*.f64 d1 (+.f64 d2 37)) 0)
(*.f64 d1 (+.f64 d2 37))
(*.f64 (*.f64 d1 (+.f64 d2 37)) 1)
(*.f64 1 (*.f64 d1 (+.f64 d2 37)))
(*.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 37) 1/2)))
(*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d2 74))) 1/2)
(*.f64 (+.f64 d1 d1) (*.f64 (+.f64 d2 37) 1/2))
(*.f64 (+.f64 d1 d1) (+.f64 (*.f64 d2 1/2) 37/2))
(*.f64 (+.f64 d1 d1) (*.f64 1/4 (+.f64 d2 (+.f64 d2 74))))
(*.f64 (+.f64 d2 37) d1)
(*.f64 4 (*.f64 (*.f64 d1 (+.f64 d2 37)) 1/4))
(*.f64 4 (*.f64 (/.f64 d1 8) (+.f64 d2 (+.f64 d2 74))))
(*.f64 (*.f64 d1 (*.f64 (+.f64 d2 37) 4)) 1/4)
(*.f64 (*.f64 d1 4) (/.f64 (+.f64 d2 37) 4))
(*.f64 (*.f64 d1 4) (*.f64 (+.f64 d2 37) 1/4))
(*.f64 (*.f64 d1 4) (*.f64 1/8 (+.f64 d2 (+.f64 d2 74))))
(*.f64 8 (*.f64 (/.f64 d1 8) (+.f64 d2 37)))
(*.f64 (+.f64 d2 (+.f64 d2 74)) (*.f64 d1 1/2))
(*.f64 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8) 1/8)
(*.f64 (*.f64 d1 8) (*.f64 1/8 (+.f64 d2 37)))
(*.f64 1/2 (*.f64 d1 (+.f64 d2 (+.f64 d2 74))))
(*.f64 (*.f64 d1 (*.f64 (+.f64 d2 37) 1/2)) 2)
(*.f64 (*.f64 d1 1/2) (+.f64 d2 (+.f64 d2 74)))
(*.f64 (*.f64 d1 1/2) (+.f64 (+.f64 d2 d2) 74))
(*.f64 (*.f64 2 (*.f64 d1 8)) (*.f64 1/16 (+.f64 d2 37)))
(*.f64 (*.f64 (+.f64 d2 37) 4) (*.f64 d1 1/4))
(*.f64 1/4 (*.f64 d1 (*.f64 (+.f64 d2 37) 4)))
(*.f64 (*.f64 (+.f64 d2 37) 1/2) (+.f64 d1 d1))
(*.f64 (*.f64 (*.f64 d1 (+.f64 d2 37)) 1/4) 4)
(*.f64 (*.f64 d1 1/4) (*.f64 (+.f64 d2 37) 4))
(*.f64 1/8 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8))
(*.f64 (/.f64 (+.f64 d2 37) 4) (*.f64 d1 4))
(*.f64 (+.f64 (*.f64 d2 1/2) 37/2) (+.f64 d1 d1))
(*.f64 (+.f64 (+.f64 d2 d2) 74) (*.f64 d1 1/2))
(/.f64 (*.f64 d1 (+.f64 d2 37)) 1)
(/.f64 (*.f64 d1 (+.f64 d2 (+.f64 d2 74))) 2)
(/.f64 (*.f64 d1 (*.f64 (+.f64 d2 37) 4)) 4)
(/.f64 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8) 8)
(/.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8)) 16)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8))) 32)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8)))) 64)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8))))) 128)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8)))))) 256)
(pow.f64 (*.f64 d1 (+.f64 d2 37)) 1)
Outputs
(*.f64 37 d1)
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 37 d1) (*.f64 d2 d1))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 37))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 d2 37))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 d2 37))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 d2 37))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(*.f64 d1 (*.f64 (-.f64 (*.f64 d2 -1) 37) -1))
(*.f64 d1 (neg.f64 (-.f64 (neg.f64 d2) 37)))
(*.f64 (-.f64 -37 d2) (neg.f64 d1))
(*.f64 d1 (-.f64 d2 -37))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(*.f64 d1 (*.f64 (-.f64 (*.f64 d2 -1) 37) -1))
(*.f64 d1 (neg.f64 (-.f64 (neg.f64 d2) 37)))
(*.f64 (-.f64 -37 d2) (neg.f64 d1))
(*.f64 d1 (-.f64 d2 -37))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(*.f64 d1 (*.f64 (-.f64 (*.f64 d2 -1) 37) -1))
(*.f64 d1 (neg.f64 (-.f64 (neg.f64 d2) 37)))
(*.f64 (-.f64 -37 d2) (neg.f64 d1))
(*.f64 d1 (-.f64 d2 -37))
(*.f64 -1 (*.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(*.f64 d1 (*.f64 (-.f64 (*.f64 d2 -1) 37) -1))
(*.f64 d1 (neg.f64 (-.f64 (neg.f64 d2) 37)))
(*.f64 (-.f64 -37 d2) (neg.f64 d1))
(*.f64 d1 (-.f64 d2 -37))
(-.f64 (*.f64 d1 (+.f64 d2 37)) 0)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 d2 37))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (*.f64 d1 (+.f64 d2 37)) 1)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 1 (*.f64 d1 (+.f64 d2 37)))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 2 (*.f64 d1 (*.f64 (+.f64 d2 37) 1/2)))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d2 74))) 1/2)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (+.f64 d1 d1) (*.f64 (+.f64 d2 37) 1/2))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (+.f64 d1 d1) (+.f64 (*.f64 d2 1/2) 37/2))
(*.f64 (+.f64 d1 d1) (*.f64 1/4 (+.f64 d2 (+.f64 d2 74))))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (+.f64 d2 37) d1)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 4 (*.f64 (*.f64 d1 (+.f64 d2 37)) 1/4))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 4 (*.f64 (/.f64 d1 8) (+.f64 d2 (+.f64 d2 74))))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (*.f64 d1 (*.f64 (+.f64 d2 37) 4)) 1/4)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (*.f64 d1 4) (/.f64 (+.f64 d2 37) 4))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (*.f64 d1 4) (*.f64 (+.f64 d2 37) 1/4))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (*.f64 d1 4) (*.f64 1/8 (+.f64 d2 (+.f64 d2 74))))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 8 (*.f64 (/.f64 d1 8) (+.f64 d2 37)))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (+.f64 d2 (+.f64 d2 74)) (*.f64 d1 1/2))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8) 1/8)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (*.f64 d1 8) (*.f64 1/8 (+.f64 d2 37)))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 1/2 (*.f64 d1 (+.f64 d2 (+.f64 d2 74))))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (*.f64 d1 (*.f64 (+.f64 d2 37) 1/2)) 2)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (*.f64 d1 1/2) (+.f64 d2 (+.f64 d2 74)))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (*.f64 d1 1/2) (+.f64 (+.f64 d2 d2) 74))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (*.f64 2 (*.f64 d1 8)) (*.f64 1/16 (+.f64 d2 37)))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (*.f64 (+.f64 d2 37) 4) (*.f64 d1 1/4))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 1/4 (*.f64 d1 (*.f64 (+.f64 d2 37) 4)))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (*.f64 (+.f64 d2 37) 1/2) (+.f64 d1 d1))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (*.f64 (*.f64 d1 (+.f64 d2 37)) 1/4) 4)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (*.f64 d1 1/4) (*.f64 (+.f64 d2 37) 4))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 1/8 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (/.f64 (+.f64 d2 37) 4) (*.f64 d1 4))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 (+.f64 (*.f64 d2 1/2) 37/2) (+.f64 d1 d1))
(*.f64 (+.f64 d1 d1) (+.f64 (*.f64 d2 1/2) 37/2))
(*.f64 (+.f64 (+.f64 d2 d2) 74) (*.f64 d1 1/2))
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 d1 (+.f64 d2 37)) 1)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 d1 (+.f64 d2 (+.f64 d2 74))) 2)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 d1 (*.f64 (+.f64 d2 37) 4)) 4)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8) 8)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8)) 16)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8))) 32)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8)))) 64)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8))))) 128)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 37)) 8)))))) 256)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))
(pow.f64 (*.f64 d1 (+.f64 d2 37)) 1)
(+.f64 (*.f64 37 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 37 d2))

eval20.0ms (0.2%)

Compiler

Compiled 951 to 689 computations (27.5% saved)

prune63.0ms (0.7%)

Pruning

9 alts after pruning (0 fresh and 9 done)

PrunedKeptTotal
New1080108
Fresh000
Picked011
Done088
Total1089117
Error
0.0b
Counts
117 → 9
Alt Table
Click to see full alt table
StatusErrorProgram
0.0b
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
20.6b
(+.f64 (*.f64 d2 d1) (*.f64 37 d1))
21.3b
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
21.3b
(*.f64 (+.f64 37 d3) d1)
42.3b
(*.f64 d2 d1)
0.0b
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
20.6b
(*.f64 d1 (+.f64 d2 37))
42.1b
(*.f64 d1 d3)
41.4b
(*.f64 d1 37)
Compiler

Compiled 76 to 54 computations (28.9% saved)

regimes86.0ms (1%)

Counts
13 → 1
Calls
Call 1
Inputs
(*.f64 d1 37)
(*.f64 d1 d3)
(*.f64 d2 d1)
(*.f64 d1 (+.f64 d2 37))
(*.f64 (+.f64 37 d3) d1)
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(+.f64 (*.f64 d1 d2) (*.f64 d1 37))
(+.f64 (*.f64 d2 d1) (*.f64 37 d1))
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(+.f64 (*.f64 d1 (+.f64 (+.f64 d3 5) d2)) (*.f64 d1 32))
(+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
Outputs
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
Calls

5 calls:

57.0ms
(+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
8.0ms
d2
7.0ms
d1
7.0ms
d3
4.0ms
(+.f64 d3 5)
Results
ErrorSegmentsBranch
0.0b1d1
0.0b1d2
0.0b1d3
0.0b1(+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
0.0b1(+.f64 d3 5)
Compiler

Compiled 126 to 74 computations (41.3% saved)

regimes75.0ms (0.9%)

Counts
10 → 1
Calls
Call 1
Inputs
(*.f64 d1 37)
(*.f64 d1 d3)
(*.f64 d2 d1)
(*.f64 d1 (+.f64 d2 37))
(*.f64 (+.f64 37 d3) d1)
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (*.f64 37 d1) (*.f64 d1 d3))
(+.f64 (*.f64 d1 d2) (*.f64 d1 37))
(+.f64 (*.f64 d2 d1) (*.f64 37 d1))
(+.f64 (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
Outputs
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
Calls

3 calls:

59.0ms
d3
8.0ms
d1
6.0ms
d2
Results
ErrorSegmentsBranch
0.0b1d1
0.0b1d2
0.0b1d3
Compiler

Compiled 71 to 40 computations (43.7% saved)

regimes105.0ms (1.2%)

Counts
5 → 2
Calls
Call 1
Inputs
(*.f64 d1 37)
(*.f64 d1 d3)
(*.f64 d2 d1)
(*.f64 d1 (+.f64 d2 37))
(*.f64 (+.f64 37 d3) d1)
Outputs
(*.f64 d1 (+.f64 d2 37))
(*.f64 (+.f64 37 d3) d1)
Calls

3 calls:

85.0ms
d1
10.0ms
d2
8.0ms
d3
Results
ErrorSegmentsBranch
13.5b9d1
3.5b2d2
3.3b2d3
Compiler

Compiled 34 to 22 computations (35.3% saved)

bsearch16.0ms (0.2%)

Algorithm
binary-search
Steps
TimeLeftRight
16.0ms
6.969215514827606e-6
450.9189850097351
Results
14.0ms144×body256valid
Compiler

Compiled 184 to 142 computations (22.8% saved)

regimes119.0ms (1.4%)

Counts
4 → 2
Calls
Call 1
Inputs
(*.f64 d1 37)
(*.f64 d1 d3)
(*.f64 d2 d1)
(*.f64 d1 (+.f64 d2 37))
Outputs
(*.f64 d1 (+.f64 d2 37))
(*.f64 d1 d3)
Calls

3 calls:

89.0ms
d2
19.0ms
d1
9.0ms
d3
Results
ErrorSegmentsBranch
17.7b5d1
14.6b4d2
3.9b2d3
Compiler

Compiled 29 to 19 computations (34.5% saved)

bsearch7.0ms (0.1%)

Algorithm
binary-search
Steps
TimeLeftRight
7.0ms
16065521.467910962
26745775.858141705
Results
6.0ms64×body256valid
Compiler

Compiled 86 to 64 computations (25.6% saved)

regimes83.0ms (1%)

Counts
3 → 5
Calls
Call 1
Inputs
(*.f64 d1 37)
(*.f64 d1 d3)
(*.f64 d2 d1)
Outputs
(*.f64 d2 d1)
(*.f64 d1 37)
(*.f64 d2 d1)
(*.f64 d1 37)
(*.f64 d1 d3)
Calls

3 calls:

45.0ms
d1
19.0ms
d2
18.0ms
d3
Results
ErrorSegmentsBranch
29.0b11d1
15.4b5d2
15.1b5d3
Compiler

Compiled 24 to 16 computations (33.3% saved)

bsearch60.0ms (0.7%)

Algorithm
binary-search
Steps
TimeLeftRight
21.0ms
1.886854005121064e-11
6.969215514827606e-6
5.0ms
1.6059403103846128e-267
2.0669332463938065e-267
18.0ms
-6.759403229318801e-218
-1.2647435370757158e-225
16.0ms
-1.4295526134845594e-100
-9.503157818230913e-104
Results
54.0ms462×body256valid
0.0msbody512valid
Compiler

Compiled 428 to 335 computations (21.7% saved)

regimes142.0ms (1.7%)

Accuracy

Total -38.9b remaining (-172.4%)

Threshold costs -38.9b (-172.4%)

Counts
2 → 2
Calls
Call 1
Inputs
(*.f64 d1 37)
(*.f64 d1 d3)
Outputs
(*.f64 d1 37)
(*.f64 d1 d3)
Calls

3 calls:

113.0ms
d1
22.0ms
d2
7.0ms
d3
Results
ErrorSegmentsBranch
30.9b9d1
31.7b5d2
22.5b2d3
Compiler

Compiled 21 to 15 computations (28.6% saved)

bsearch580.0ms (6.8%)

Algorithm
binary-search
Steps
TimeLeftRight
580.0ms
1.886854005121064e-11
6.969215514827606e-6
Results
578.0ms144×body256valid
Compiler

Compiled 148 to 115 computations (22.3% saved)

simplify5.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
038209
Stop Event
done
saturated
Calls
Call 1
Inputs
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(if (<=.f64 d3 8358680908399641/576460752303423488) (*.f64 d1 (+.f64 d2 37)) (*.f64 (+.f64 37 d3) d1))
(if (<=.f64 d3 26000000) (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(if (<=.f64 d3 -263993441515843/78804012392788958424558080200287227610159478540930893335896586808491443542994421222828532509769831281613255980613632) (*.f64 d2 d1) (if (<=.f64 d3 -2213989167167139/6511732844609232689531105264376228317524178049136629062886970519300817615056281319845148633663627237053642490813899648872938282865350942461292339894854326216889802323744154842249099888585755883524379898570201759747744871130348106729652224) (*.f64 d1 37) (if (<=.f64 d3 8596816502137183/4646927838993072071243945306718439250410188130185607684549287060362314553626263667328650982800488595593121011844353040782670578892327830336846345565944983205571783876398312106070895030732180427719497486819848241268961714708993375275490934188589556509412640954544199727574266715045888) (*.f64 d2 d1) (if (<=.f64 d3 4073041091475069/590295810358705651712) (*.f64 d1 37) (*.f64 d1 d3)))))
(if (<=.f64 d3 4073041091475069/590295810358705651712) (*.f64 d1 37) (*.f64 d1 d3))
(*.f64 d1 37)
Outputs
(+.f64 (*.f64 d2 d1) (*.f64 (+.f64 37 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(if (<=.f64 d3 8358680908399641/576460752303423488) (*.f64 d1 (+.f64 d2 37)) (*.f64 (+.f64 37 d3) d1))
(if (<=.f64 d3 26000000) (*.f64 d1 (+.f64 d2 37)) (*.f64 d1 d3))
(if (<=.f64 d3 -263993441515843/78804012392788958424558080200287227610159478540930893335896586808491443542994421222828532509769831281613255980613632) (*.f64 d2 d1) (if (<=.f64 d3 -2213989167167139/6511732844609232689531105264376228317524178049136629062886970519300817615056281319845148633663627237053642490813899648872938282865350942461292339894854326216889802323744154842249099888585755883524379898570201759747744871130348106729652224) (*.f64 d1 37) (if (<=.f64 d3 8596816502137183/4646927838993072071243945306718439250410188130185607684549287060362314553626263667328650982800488595593121011844353040782670578892327830336846345565944983205571783876398312106070895030732180427719497486819848241268961714708993375275490934188589556509412640954544199727574266715045888) (*.f64 d2 d1) (if (<=.f64 d3 4073041091475069/590295810358705651712) (*.f64 d1 37) (*.f64 d1 d3)))))
(if (<=.f64 d3 4073041091475069/590295810358705651712) (*.f64 d1 37) (*.f64 d1 d3))
(*.f64 d1 37)
Compiler

Compiled 107 to 72 computations (32.7% saved)

soundness12.0ms (0.1%)

Algorithm
egg-herbie
Rules
68×rational.json-simplify-1
40×rational.json-simplify-41
14×rational.json-simplify-2
12×rational.json-simplify-51
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01331
12125
22925
34719
46619
58419
69419
Stop Event
saturated
Compiler

Compiled 72 to 47 computations (34.7% saved)

end138.0ms (1.6%)

Remove

(sort d2 d3)

Compiler

Compiled 113 to 67 computations (40.7% saved)

Profiling

Loading profile data...