Details

Time bar (total: 15.5s)

analyze513.0ms (3.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
25%25%74.9%0.1%0%0%0%5
37.5%37.5%62.4%0.1%0%0%0%6
51.6%50%46.8%0.1%3.1%0%0%7
62.3%59.3%35.9%0.1%4.7%0%0%8
72.3%67.1%25.8%0.1%7%0%0%9
79.1%72.6%19.1%0.1%8.2%0%0%10
85.1%76.9%13.5%0.1%9.6%0%0%11
89%79.8%9.9%0.1%10.2%0%0%12
Compiler

Compiled 14 to 10 computations (28.6% saved)

sample5.1s (32.9%)

Results
4.8s8127×body256valid
155.0ms224×body256infinite
85.0ms95×body1024valid
8.0ms33×body512valid
0.0msbody2048valid
Bogosity

preprocess381.0ms (2.5%)

Algorithm
egg-herbie
Rules
1446×rational_best-simplify-63
1194×rational_best-simplify-85
824×rational_best-simplify-62
790×rational_best-simplify-50
652×rational_best-simplify-55
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01662
13450
26738
313438
430826
582726
6436426
022
Stop Event
saturated
node limit
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (+.f64 (*.f64 d2 10) (*.f64 d2 d1)) (*.f64 d2 20))
Outputs
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
(+.f64 (*.f64 d1 d2) (*.f64 d1 30))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (+.f64 (*.f64 d2 10) (*.f64 d2 d1)) (*.f64 d2 20))
(+.f64 (+.f64 (*.f64 d1 d2) (*.f64 10 d2)) (*.f64 d2 20))
(+.f64 (*.f64 d2 (+.f64 d1 10)) (*.f64 d2 20))
(+.f64 (*.f64 d1 d2) (*.f64 d2 30))
(*.f64 d2 (+.f64 d1 30))
Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify1.1s (7.4%)

Algorithm
egg-herbie
Rules
1718×rational_best-simplify-85
1140×rational_best-simplify-3
1078×rational_best-simplify-108
750×rational_best-simplify-49
712×rational_best-simplify-63
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01131
12125
23919
37719
417413
545613
6235413
7561113
8781813
Stop Event
node limit
Counts
1 → 4
Calls
Call 1
Inputs
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
Outputs
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
(+.f64 (*.f64 d1 d2) (*.f64 d1 30))
(*.f64 d1 (+.f64 d2 30))

eval2.0ms (0%)

Compiler

Compiled 34 to 21 computations (38.2% saved)

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New224
Fresh101
Picked000
Done000
Total325
Error
0.0b
Counts
5 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
0.2b
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
0.0b
(*.f64 d1 (+.f64 d2 30))
Compiler

Compiled 18 to 13 computations (27.8% saved)

localize33.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiled 13 to 8 computations (38.5% saved)

series4.0ms (0%)

Counts
1 → 20
Calls

6 calls:

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

rewrite367.0ms (2.4%)

Algorithm
batch-egg-rewrite
Rules
1152×rational_best-simplify-63
1058×rational_best-4
1058×rational_best-2
1058×rational_best-3
1058×rational_best-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
14613
28813
321113
466213
5287213
Stop Event
node limit
Counts
1 → 28
Calls
Call 1
Inputs
(*.f64 d1 (+.f64 d2 30))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (+.f64 d2 30)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 d1 (+.f64 d2 30)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (*.f64 d1 (+.f64 (/.f64 d2 2) 15)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 -3/2 (neg.f64 (*.f64 d1 (+.f64 d2 30)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 3)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 -3/2 (neg.f64 (*.f64 d1 (+.f64 d2 30)))) 2) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 3)) 4) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))) (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 d2 30)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (*.f64 -3 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 -3/2 (neg.f64 (*.f64 d1 (+.f64 d2 30)))) 2) (/.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) -2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 3)) 4) (/.f64 (neg.f64 (*.f64 d1 (+.f64 d2 30))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))) (-.f64 (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 d2 30)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d2 30) (+.f64 d1 d1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 (+.f64 d2 30)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d2 30) (*.f64 (*.f64 d1 4) 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 4)) 8) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (*.f64 (+.f64 d2 30) 4)) (*.f64 2 (*.f64 d1 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)))))

simplify782.0ms (5%)

Algorithm
egg-herbie
Rules
896×rational_best-simplify-56
862×rational_best-simplify-75
834×rational_best-simplify-76
782×rational_best-simplify-50
686×rational_best-simplify-63
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
085834
1193834
2547738
32326738
47732738
Stop Event
node limit
Counts
48 → 38
Calls
Call 1
Inputs
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 30 d1)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d2 d1)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d2 d1)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d1 (+.f64 d2 30)) 0)
(+.f64 0 (*.f64 d1 (+.f64 d2 30)))
(+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (*.f64 d1 (+.f64 (/.f64 d2 2) 15)))
(+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 -3/2 (neg.f64 (*.f64 d1 (+.f64 d2 30)))) 2))
(+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 3)) 4))
(+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)))
(+.f64 (+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))
(+.f64 (/.f64 (*.f64 -3/2 (neg.f64 (*.f64 d1 (+.f64 d2 30)))) 2) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))
(+.f64 (/.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 3)) 4) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))
(+.f64 (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))
(+.f64 (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))) (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))))
(-.f64 (*.f64 d1 (+.f64 d2 30)) 0)
(-.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2))
(-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (*.f64 -3 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(-.f64 (+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(-.f64 (/.f64 (*.f64 -3/2 (neg.f64 (*.f64 d1 (+.f64 d2 30)))) 2) (/.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) -2) 2))
(-.f64 (/.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 3)) 4) (/.f64 (neg.f64 (*.f64 d1 (+.f64 d2 30))) 4))
(-.f64 (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(-.f64 (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))) (-.f64 (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(/.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(/.f64 (*.f64 (+.f64 d2 30) (+.f64 d1 d1)) 2)
(/.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 4)) 4)
(/.f64 (*.f64 (*.f64 d1 (+.f64 d2 30)) 8) 8)
(/.f64 (*.f64 (+.f64 d2 30) (*.f64 (*.f64 d1 4) 4)) 16)
(/.f64 (*.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 4)) 8) 32)
(/.f64 (*.f64 (*.f64 2 (*.f64 (+.f64 d2 30) 4)) (*.f64 2 (*.f64 d1 4))) 64)
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
Outputs
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 30 d1)
(*.f64 d1 30)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d1 (+.f64 d2 30)) 0)
(*.f64 d1 (+.f64 30 d2))
(+.f64 0 (*.f64 d1 (+.f64 d2 30)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (*.f64 d1 (+.f64 (/.f64 d2 2) 15)))
(*.f64 (+.f64 (/.f64 d2 2) 15) (+.f64 d1 d1))
(+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4) (+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (/.f64 (*.f64 d1 (+.f64 30 d2)) 4)))
(+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4) (/.f64 (*.f64 d1 (+.f64 30 d2)) 4)))
(+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (*.f64 (*.f64 d1 (+.f64 30 d2)) 1/2))
(+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 -3/2 (neg.f64 (*.f64 d1 (+.f64 d2 30)))) 2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 3)) 4))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))
(+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4) (+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (/.f64 (*.f64 d1 (+.f64 30 d2)) 4)))
(+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4) (/.f64 (*.f64 d1 (+.f64 30 d2)) 4)))
(+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (*.f64 (*.f64 d1 (+.f64 30 d2)) 1/2))
(+.f64 (/.f64 (*.f64 -3/2 (neg.f64 (*.f64 d1 (+.f64 d2 30)))) 2) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (/.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 3)) 4) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))) (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (*.f64 d1 (+.f64 d2 30)) 0)
(*.f64 d1 (+.f64 30 d2))
(-.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2))
(+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4) (+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (/.f64 (*.f64 d1 (+.f64 30 d2)) 4)))
(+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4) (/.f64 (*.f64 d1 (+.f64 30 d2)) 4)))
(+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (*.f64 (*.f64 d1 (+.f64 30 d2)) 1/2))
(-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (*.f64 -3 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4) (+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (/.f64 (*.f64 d1 (+.f64 30 d2)) 4)))
(+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4) (/.f64 (*.f64 d1 (+.f64 30 d2)) 4)))
(+.f64 (*.f64 d1 (+.f64 (/.f64 d2 2) 15)) (*.f64 (*.f64 d1 (+.f64 30 d2)) 1/2))
(-.f64 (/.f64 (*.f64 -3/2 (neg.f64 (*.f64 d1 (+.f64 d2 30)))) 2) (/.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) -2) 2))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (/.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 3)) 4) (/.f64 (neg.f64 (*.f64 d1 (+.f64 d2 30))) 4))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4))) (-.f64 (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(*.f64 d1 (+.f64 30 d2))
(/.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (*.f64 (+.f64 d2 30) (+.f64 d1 d1)) 2)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 4)) 4)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (*.f64 (*.f64 d1 (+.f64 d2 30)) 8) 8)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (*.f64 (+.f64 d2 30) (*.f64 (*.f64 d1 4) 4)) 16)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (*.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 4)) 8) 32)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (*.f64 (*.f64 2 (*.f64 (+.f64 d2 30) 4)) (*.f64 2 (*.f64 d1 4))) 64)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(*.f64 d1 (+.f64 30 d2))

localize58.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(*.f64 d1 (+.f64 10 d2))
0.2b
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
Compiler

Compiled 26 to 17 computations (34.6% saved)

series6.0ms (0%)

Counts
2 → 48
Calls

12 calls:

TimeVariablePointExpression
2.0ms
d1
@-inf
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
1.0ms
d1
@inf
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
1.0ms
d1
@0
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
0.0ms
d2
@0
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
0.0ms
d2
@-inf
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))

rewrite785.0ms (5.1%)

Algorithm
batch-egg-rewrite
Rules
830×rational_best-simplify-1
824×rational_best-simplify-47
810×rational_best-simplify-83
566×rational_best-simplify-52
556×rational_best-simplify-48
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01038
16932
214026
336426
4127926
5783226
Stop Event
node limit
Counts
2 → 145
Calls
Call 1
Inputs
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
(*.f64 d1 (+.f64 10 d2))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 10 d2)) (-.f64 (*.f64 d1 20) (*.f64 d1 40)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 10 d2)) (+.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)) (*.f64 d1 (-.f64 -10 d2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 20) (-.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 20) (+.f64 (*.f64 d1 20) (neg.f64 (*.f64 d1 (+.f64 d2 30)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 20) (+.f64 (-.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 30))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 20) (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) -2) (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 d2 30)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 d2 30)) (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) -2) (/.f64 (*.f64 d1 (+.f64 d2 30)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (+.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) (neg.f64 (*.f64 d1 40))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (+.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)) (*.f64 d1 (*.f64 (+.f64 10 d2) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 40) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 10 d2) (+.f64 d1 d1)) (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 10 d2) (+.f64 d1 d1)) (+.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 20))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 80) (+.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) (*.f64 d1 40)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (*.f64 d1 (-.f64 -10 d2)) (/.f64 (*.f64 d1 40) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (/.f64 (*.f64 d1 40) -4) (*.f64 d1 (-.f64 -10 d2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (-.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 30))) (/.f64 (*.f64 d1 40) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 d1 20) 2) (/.f64 (-.f64 0 (*.f64 (+.f64 d1 d1) (+.f64 d2 20))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 2) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (-.f64 0 (/.f64 (*.f64 d1 (+.f64 d2 50)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (+.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)) (*.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) -3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) -2) (*.f64 d1 -20)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (/.f64 (-.f64 0 (*.f64 d1 (+.f64 d2 50))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) (*.f64 d1 (*.f64 (+.f64 10 d2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 50))) 2) (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 50))) 2) (-.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 (+.f64 d2 30)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 d1 60) 2) (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 (+.f64 10 d2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 2) (+.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)) (/.f64 (*.f64 d1 (+.f64 10 d2)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (/.f64 (*.f64 d1 40) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 20)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 2) (/.f64 (*.f64 d1 (+.f64 10 d2)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 2) -3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) -2) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 d1 (+.f64 d2 30)) 2)) (-.f64 0 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2))) (-.f64 (*.f64 d1 -20) (/.f64 (*.f64 d1 (+.f64 10 d2)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (/.f64 (*.f64 d1 20) 4) (/.f64 (*.f64 d1 20) 2)) (-.f64 (*.f64 d1 (-.f64 -10 d2)) (/.f64 (*.f64 d1 20) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (-.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 30)))) (/.f64 (*.f64 d1 40) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))) (neg.f64 (*.f64 d1 40)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (*.f64 d1 60) 2) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))) (/.f64 (*.f64 d1 40) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (*.f64 d1 (+.f64 10 d2)) (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20))) (*.f64 d1 (-.f64 -10 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20))) (*.f64 d1 (*.f64 (+.f64 10 d2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20))) (*.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) -3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 2) (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20))) (/.f64 (*.f64 d1 (+.f64 10 d2)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) (/.f64 (*.f64 d1 (+.f64 10 d2)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 50))) 2) 2) (/.f64 (+.f64 (*.f64 d1 (-.f64 -10 d2)) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (*.f64 (*.f64 d1 (+.f64 d2 30)) 3) 2) 2) (/.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) -2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (*.f64 d1 (+.f64 d2 30)) 3) 4) (/.f64 (neg.f64 (*.f64 d1 (+.f64 d2 30))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 2)) 2) (/.f64 (+.f64 (*.f64 d1 -20) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (*.f64 d1 40) (/.f64 (*.f64 d1 (+.f64 d2 30)) 2)) 2) (/.f64 (+.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (*.f64 d1 20)) (-.f64 (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) 2) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 d1 20) 2)) (-.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) -2) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2))) (-.f64 (/.f64 (*.f64 d1 40) -4) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 (+.f64 d2 30))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 (-.f64 20 (-.f64 -10 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (+.f64 d2 30)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 d1 (+.f64 d2 30)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d2 30) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 30)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (+.f64 (/.f64 d2 2) 15))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (*.f64 (+.f64 d2 30) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (*.f64 (+.f64 d2 30) 2)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 d1 (*.f64 (+.f64 d2 30) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (*.f64 (+.f64 d2 30) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (*.f64 d1 (+.f64 d2 30))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 4) (+.f64 (/.f64 d2 4) 15/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (/.f64 d2 2) 15) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 d2 30) (*.f64 d1 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (/.f64 d2 4) 15/2) (*.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d2 30) 2) (*.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 4))) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 d1 4)) (/.f64 (+.f64 d2 30) 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d2 30) 1/2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (+.f64 d2 30)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 d2 30) 8) (*.f64 2 (*.f64 d1 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 20 (-.f64 -10 d2)) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 d2 30)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 (+.f64 d2 30) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 d1 (+.f64 d2 30))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (+.f64 10 d2) (*.f64 2 (*.f64 d1 4))) (*.f64 (*.f64 d1 40) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (*.f64 d1 40) 4) (*.f64 (+.f64 10 d2) (*.f64 2 (*.f64 d1 4)))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 4))) (*.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 4)) (neg.f64 (*.f64 d1 80))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 d1 80) (neg.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 4)))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 d1 (+.f64 d2 30))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (+.f64 10 d2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 20) (neg.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (+.f64 d2 30)) (*.f64 d1 -20))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 d1 (+.f64 10 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (*.f64 d1 (-.f64 -10 d2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 20) 2) (-.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (neg.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 20)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (/.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 20)) (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 20) 2)) (neg.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 (+.f64 10 d2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 2) 2) (/.f64 (*.f64 d1 (+.f64 10 d2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (/.f64 (*.f64 d1 20) 2)) (*.f64 d1 (+.f64 10 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (/.f64 (*.f64 d1 40) -4)) (-.f64 1 (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 (+.f64 10 d2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (*.f64 d1 (-.f64 -10 d2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 (+.f64 10 d2)))) (-.f64 1 (/.f64 (*.f64 d1 40) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 10 d2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 10 d2)) (-.f64 (/.f64 (*.f64 d1 20) 2) (/.f64 (*.f64 d1 20) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 20) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 d1 (-.f64 -10 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 d1 20) 2) (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 (+.f64 10 d2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (/.f64 (*.f64 d1 (+.f64 10 d2)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (-.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 20) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (/.f64 (*.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) -3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2))) (-.f64 0 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 20)) (+.f64 (*.f64 d1 (-.f64 -10 d2)) (/.f64 (*.f64 d1 40) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))) (/.f64 (*.f64 d1 40) -4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 2) 2) (/.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) -2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 4) (/.f64 (*.f64 d1 (-.f64 -10 d2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 10 d2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (-.f64 -10 d2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 10 d2) (+.f64 d1 d1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) -2)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 4))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 4) (*.f64 (+.f64 10 d2) 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 10 d2) (*.f64 2 (*.f64 d1 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (neg.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 4))) -1) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (+.f64 10 d2) (*.f64 2 (*.f64 d1 4))) (*.f64 (+.f64 10 d2) (*.f64 2 (*.f64 d1 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (*.f64 d1 4) (*.f64 (+.f64 10 d2) 4)) (*.f64 (*.f64 d1 4) (*.f64 (+.f64 10 d2) 4))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 d1 40) (+.f64 (*.f64 d1 40) (*.f64 d1 (*.f64 (+.f64 10 d2) -2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (*.f64 (+.f64 10 d2) 4)) (*.f64 2 (*.f64 d1 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 10 d2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 d1 (-.f64 -10 d2)))))))

simplify433.0ms (2.8%)

Algorithm
egg-herbie
Rules
1320×rational_best-simplify-47
1198×rational_best-simplify-48
1170×rational_best-simplify-52
978×rational_best-simplify-51
942×rational_best-simplify-50
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03535555
18564975
225494445
Stop Event
node limit
Counts
193 → 254
Calls
Call 1
Inputs
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 (+.f64 10 d2)) 20) d1))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 (+.f64 10 d2)) 20) d1))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 (+.f64 10 d2)) 20) d1))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 (+.f64 10 d2)) 20) d1))
(+.f64 (*.f64 20 d1) (*.f64 10 d1))
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d2 d1)
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d2 d1)
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(*.f64 (+.f64 10 d2) d1)
(*.f64 (+.f64 10 d2) d1)
(*.f64 (+.f64 10 d2) d1)
(*.f64 (+.f64 10 d2) d1)
(*.f64 (+.f64 10 d2) d1)
(*.f64 (+.f64 10 d2) d1)
(*.f64 (+.f64 10 d2) d1)
(*.f64 (+.f64 10 d2) d1)
(*.f64 d1 (+.f64 d2 10))
(*.f64 d1 (+.f64 d2 10))
(*.f64 d1 (+.f64 d2 10))
(*.f64 d1 (+.f64 d2 10))
(*.f64 10 d1)
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(*.f64 d2 d1)
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(*.f64 d2 d1)
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(-.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20))
(-.f64 (*.f64 d1 (+.f64 10 d2)) (-.f64 (*.f64 d1 20) (*.f64 d1 40)))
(-.f64 (*.f64 d1 (+.f64 10 d2)) (+.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))
(-.f64 (*.f64 d1 20) (-.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 30))))
(-.f64 (*.f64 d1 20) (+.f64 (*.f64 d1 20) (neg.f64 (*.f64 d1 (+.f64 d2 30)))))
(-.f64 (*.f64 d1 20) (+.f64 (-.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 30))) 0))
(-.f64 (*.f64 d1 20) (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) -2) (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) 2)))
(-.f64 (*.f64 d1 (+.f64 d2 30)) 0)
(-.f64 (*.f64 d1 (+.f64 d2 30)) (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) -2) (/.f64 (*.f64 d1 (+.f64 d2 30)) 2)))
(-.f64 0 (neg.f64 (*.f64 d1 (+.f64 d2 30))))
(-.f64 0 (+.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) (neg.f64 (*.f64 d1 40))))
(-.f64 0 (+.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)) (*.f64 d1 (*.f64 (+.f64 10 d2) -2))))
(-.f64 (*.f64 d1 40) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (*.f64 (+.f64 10 d2) (+.f64 d1 d1)) (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)))
(-.f64 (*.f64 (+.f64 10 d2) (+.f64 d1 d1)) (+.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)) 0))
(-.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 20))
(-.f64 (*.f64 d1 80) (+.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) (*.f64 d1 40)))
(-.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (*.f64 d1 (-.f64 -10 d2)) (/.f64 (*.f64 d1 40) -4)))
(-.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (/.f64 (*.f64 d1 40) -4) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (-.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 30))) (/.f64 (*.f64 d1 40) -4)))
(-.f64 (/.f64 (*.f64 d1 20) 2) (/.f64 (-.f64 0 (*.f64 (+.f64 d1 d1) (+.f64 d2 20))) 2))
(-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 2) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2))
(-.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (-.f64 0 (/.f64 (*.f64 d1 (+.f64 d2 50)) 2)))
(-.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (+.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)) (*.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) -3)))
(-.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) -2) (*.f64 d1 -20)))
(-.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (/.f64 (-.f64 0 (*.f64 d1 (+.f64 d2 50))) 2))
(-.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) (*.f64 d1 (*.f64 (+.f64 10 d2) -2)))
(-.f64 (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 50))) 2) (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) 2))
(-.f64 (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 50))) 2) (-.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 (+.f64 d2 30)) 2)))
(-.f64 (/.f64 (*.f64 d1 60) 2) (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 (+.f64 10 d2))))
(-.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 2) (+.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)) (/.f64 (*.f64 d1 (+.f64 10 d2)) -2)))
(-.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (/.f64 (*.f64 d1 40) -4))
(-.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 20)))
(-.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 2) (/.f64 (*.f64 d1 (+.f64 10 d2)) -2))
(-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 2) -3) 2))
(-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) -2) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(-.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 d1 (+.f64 d2 30)) 2)) (-.f64 0 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(-.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2))) (-.f64 (*.f64 d1 -20) (/.f64 (*.f64 d1 (+.f64 10 d2)) 4)))
(-.f64 (+.f64 (/.f64 (*.f64 d1 20) 4) (/.f64 (*.f64 d1 20) 2)) (-.f64 (*.f64 d1 (-.f64 -10 d2)) (/.f64 (*.f64 d1 20) 4)))
(-.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (-.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 30)))) (/.f64 (*.f64 d1 40) -4))
(-.f64 (-.f64 0 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))) (neg.f64 (*.f64 d1 40)))
(-.f64 (-.f64 (/.f64 (*.f64 d1 60) 2) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))) (/.f64 (*.f64 d1 40) -4))
(-.f64 (-.f64 (*.f64 d1 (+.f64 10 d2)) (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20))) (*.f64 d1 (-.f64 -10 d2)))
(-.f64 (-.f64 0 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20))) (*.f64 d1 (*.f64 (+.f64 10 d2) -2)))
(-.f64 (-.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20))) (*.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) -3))
(-.f64 (-.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 2) (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20))) (/.f64 (*.f64 d1 (+.f64 10 d2)) -2))
(-.f64 (-.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) 2))
(-.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) (/.f64 (*.f64 d1 (+.f64 10 d2)) -2))
(-.f64 (/.f64 (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 50))) 2) 2) (/.f64 (+.f64 (*.f64 d1 (-.f64 -10 d2)) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) 2))
(-.f64 (/.f64 (/.f64 (*.f64 (*.f64 d1 (+.f64 d2 30)) 3) 2) 2) (/.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) -2) 2))
(-.f64 (/.f64 (*.f64 (*.f64 d1 (+.f64 d2 30)) 3) 4) (/.f64 (neg.f64 (*.f64 d1 (+.f64 d2 30))) 4))
(-.f64 (/.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 2)) 2) (/.f64 (+.f64 (*.f64 d1 -20) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) 2))
(-.f64 (/.f64 (+.f64 (*.f64 d1 40) (/.f64 (*.f64 d1 (+.f64 d2 30)) 2)) 2) (/.f64 (+.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) 2))
(-.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (*.f64 d1 20)) (-.f64 (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) 2) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(-.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 d1 20) 2)) (-.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) -2) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(-.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2))) (-.f64 (/.f64 (*.f64 d1 40) -4) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (-.f64 20 (-.f64 -10 d2)))
(*.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(*.f64 1 (*.f64 d1 (+.f64 d2 30)))
(*.f64 -1 (neg.f64 (*.f64 d1 (+.f64 d2 30))))
(*.f64 (+.f64 d2 30) d1)
(*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 30)) 1/2))
(*.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 1/2)))
(*.f64 (+.f64 d1 d1) (+.f64 (/.f64 d2 2) 15))
(*.f64 (+.f64 d1 d1) (*.f64 (+.f64 d2 30) 1/2))
(*.f64 (*.f64 d1 (*.f64 (+.f64 d2 30) 2)) 1/2)
(*.f64 1/2 (*.f64 d1 (*.f64 (+.f64 d2 30) 2)))
(*.f64 (*.f64 d1 1/2) (*.f64 (+.f64 d2 30) 2))
(*.f64 (neg.f64 (*.f64 d1 (+.f64 d2 30))) -1)
(*.f64 (*.f64 d1 4) (+.f64 (/.f64 d2 4) 15/2))
(*.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 4)) 1/4)
(*.f64 (+.f64 (/.f64 d2 2) 15) (+.f64 d1 d1))
(*.f64 1/4 (*.f64 (+.f64 d2 30) (*.f64 d1 4)))
(*.f64 (+.f64 (/.f64 d2 4) 15/2) (*.f64 d1 4))
(*.f64 (*.f64 (+.f64 d2 30) 2) (*.f64 d1 1/2))
(*.f64 (*.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 4))) 1/8)
(*.f64 (*.f64 2 (*.f64 d1 4)) (/.f64 (+.f64 d2 30) 8))
(*.f64 (*.f64 (+.f64 d2 30) 1/2) (+.f64 d1 d1))
(*.f64 (*.f64 (*.f64 d1 (+.f64 d2 30)) 1/2) 2)
(*.f64 1/8 (*.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 4))))
(*.f64 (/.f64 (+.f64 d2 30) 8) (*.f64 2 (*.f64 d1 4)))
(*.f64 (-.f64 20 (-.f64 -10 d2)) d1)
(*.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 1/2)) 2)
(/.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(/.f64 (*.f64 d1 (*.f64 (+.f64 d2 30) 2)) 2)
(/.f64 (neg.f64 (*.f64 d1 (+.f64 d2 30))) -1)
(/.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 4)) 4)
(/.f64 (*.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 4))) 8)
(/.f64 (+.f64 (*.f64 (+.f64 10 d2) (*.f64 2 (*.f64 d1 4))) (*.f64 (*.f64 d1 40) 4)) 8)
(/.f64 (+.f64 (*.f64 (*.f64 d1 40) 4) (*.f64 (+.f64 10 d2) (*.f64 2 (*.f64 d1 4)))) 8)
(/.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 4))) (*.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 4)))) 16)
(/.f64 (-.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 4)) (neg.f64 (*.f64 d1 80))) 4)
(/.f64 (-.f64 (*.f64 d1 80) (neg.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 4)))) 4)
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(neg.f64 (neg.f64 (*.f64 d1 (+.f64 d2 30))))
(+.f64 (*.f64 d1 (+.f64 10 d2)) 0)
(+.f64 (*.f64 d1 20) (neg.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))))
(+.f64 (*.f64 d1 (+.f64 d2 30)) (*.f64 d1 -20))
(+.f64 0 (*.f64 d1 (+.f64 10 d2)))
(+.f64 -1 (-.f64 1 (*.f64 d1 (-.f64 -10 d2))))
(+.f64 (/.f64 (*.f64 d1 20) 2) (-.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))))
(+.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)))
(+.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (neg.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) -2)))
(+.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 20)))
(+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2))))
(+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (/.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 2) 2))
(+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 4))
(+.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 20)) (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2))
(+.f64 (-.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 20) 2)) (neg.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 (+.f64 10 d2)))))
(+.f64 (/.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 2) 2) (/.f64 (*.f64 d1 (+.f64 10 d2)) 4))
(+.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (/.f64 (*.f64 d1 20) 2)) (*.f64 d1 (+.f64 10 d2)))
(+.f64 (-.f64 -1 (/.f64 (*.f64 d1 40) -4)) (-.f64 1 (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 (+.f64 10 d2)))))
(+.f64 (-.f64 -1 (*.f64 d1 (-.f64 -10 d2))) 1)
(+.f64 (-.f64 -1 (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 (+.f64 10 d2)))) (-.f64 1 (/.f64 (*.f64 d1 40) -4)))
(-.f64 (*.f64 d1 (+.f64 10 d2)) 0)
(-.f64 (*.f64 d1 (+.f64 10 d2)) (-.f64 (/.f64 (*.f64 d1 20) 2) (/.f64 (*.f64 d1 20) 2)))
(-.f64 (*.f64 d1 20) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 0 (*.f64 d1 (-.f64 -10 d2)))
(-.f64 0 (-.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 30))))
(-.f64 (/.f64 (*.f64 d1 20) 2) (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 (+.f64 10 d2))))
(-.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (/.f64 (*.f64 d1 (+.f64 10 d2)) -2))
(-.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (-.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 20) 2)))
(-.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (/.f64 (*.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) -3) 2))
(-.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2))) (-.f64 0 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4)))
(-.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 20)) (+.f64 (*.f64 d1 (-.f64 -10 d2)) (/.f64 (*.f64 d1 40) -4)))
(-.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))) (/.f64 (*.f64 d1 40) -4))
(-.f64 (/.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 2) 2) (/.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) -2) 2))
(-.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 4) (/.f64 (*.f64 d1 (-.f64 -10 d2)) 4))
(/.f64 (*.f64 d1 (+.f64 10 d2)) 1)
(/.f64 (*.f64 d1 (-.f64 -10 d2)) -1)
(/.f64 (*.f64 (+.f64 10 d2) (+.f64 d1 d1)) 2)
(/.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) -2)) -2)
(/.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 4)) 4)
(/.f64 (neg.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 4))) -4)
(/.f64 (*.f64 (*.f64 d1 4) (*.f64 (+.f64 10 d2) 4)) 16)
(/.f64 (*.f64 (+.f64 10 d2) (*.f64 2 (*.f64 d1 4))) 8)
(/.f64 (/.f64 (neg.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 4))) -1) 4)
(/.f64 (+.f64 (*.f64 (+.f64 10 d2) (*.f64 2 (*.f64 d1 4))) (*.f64 (+.f64 10 d2) (*.f64 2 (*.f64 d1 4)))) 16)
(/.f64 (+.f64 (*.f64 (*.f64 d1 4) (*.f64 (+.f64 10 d2) 4)) (*.f64 (*.f64 d1 4) (*.f64 (+.f64 10 d2) 4))) 32)
(/.f64 (-.f64 (*.f64 d1 40) (+.f64 (*.f64 d1 40) (*.f64 d1 (*.f64 (+.f64 10 d2) -2)))) 2)
(/.f64 (*.f64 (*.f64 2 (*.f64 (+.f64 10 d2) 4)) (*.f64 2 (*.f64 d1 4))) 64)
(pow.f64 (*.f64 d1 (+.f64 10 d2)) 1)
(neg.f64 (*.f64 d1 (-.f64 -10 d2)))
Outputs
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 (+.f64 10 d2)) 20) d1))
(*.f64 d1 (*.f64 (-.f64 (*.f64 -1 (+.f64 d2 10)) 20) -1))
(*.f64 d1 (neg.f64 (-.f64 (neg.f64 (+.f64 d2 10)) 20)))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 (+.f64 10 d2)) 20) d1))
(*.f64 d1 (*.f64 (-.f64 (*.f64 -1 (+.f64 d2 10)) 20) -1))
(*.f64 d1 (neg.f64 (-.f64 (neg.f64 (+.f64 d2 10)) 20)))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 (+.f64 10 d2)) 20) d1))
(*.f64 d1 (*.f64 (-.f64 (*.f64 -1 (+.f64 d2 10)) 20) -1))
(*.f64 d1 (neg.f64 (-.f64 (neg.f64 (+.f64 d2 10)) 20)))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 (+.f64 10 d2)) 20) d1))
(*.f64 d1 (*.f64 (-.f64 (*.f64 -1 (+.f64 d2 10)) 20) -1))
(*.f64 d1 (neg.f64 (-.f64 (neg.f64 (+.f64 d2 10)) 20)))
(+.f64 (*.f64 20 d1) (*.f64 10 d1))
(*.f64 d1 30)
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 20 d1) (+.f64 (*.f64 10 d1) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 30 d2))
(*.f64 (+.f64 10 d2) d1)
(*.f64 d1 (+.f64 d2 10))
(*.f64 (+.f64 10 d2) d1)
(*.f64 d1 (+.f64 d2 10))
(*.f64 (+.f64 10 d2) d1)
(*.f64 d1 (+.f64 d2 10))
(*.f64 (+.f64 10 d2) d1)
(*.f64 d1 (+.f64 d2 10))
(*.f64 (+.f64 10 d2) d1)
(*.f64 d1 (+.f64 d2 10))
(*.f64 (+.f64 10 d2) d1)
(*.f64 d1 (+.f64 d2 10))
(*.f64 (+.f64 10 d2) d1)
(*.f64 d1 (+.f64 d2 10))
(*.f64 (+.f64 10 d2) d1)
(*.f64 d1 (+.f64 d2 10))
(*.f64 d1 (+.f64 d2 10))
(*.f64 d1 (+.f64 d2 10))
(*.f64 d1 (+.f64 d2 10))
(*.f64 d1 (+.f64 d2 10))
(*.f64 10 d1)
(*.f64 d1 10)
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (*.f64 10 d1) (*.f64 d2 d1))
(*.f64 d1 (+.f64 d2 10))
(-.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (*.f64 d1 (+.f64 10 d2)) (-.f64 (*.f64 d1 20) (*.f64 d1 40)))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (*.f64 d1 (+.f64 10 d2)) (+.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (*.f64 d1 (+.f64 d2 10)) (+.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 d1 -20)) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (+.f64 0 (neg.f64 (*.f64 d1 -20))) (*.f64 d1 (-.f64 -10 d2)))
(*.f64 d1 (-.f64 d2 -30))
(-.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))
(-.f64 (*.f64 d1 (+.f64 d2 10)) (+.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 d1 -20)) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (+.f64 0 (neg.f64 (*.f64 d1 -20))) (*.f64 d1 (-.f64 -10 d2)))
(*.f64 d1 (-.f64 d2 -30))
(-.f64 (*.f64 d1 20) (-.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (*.f64 d1 20) (+.f64 (*.f64 d1 20) (neg.f64 (*.f64 d1 (+.f64 d2 30)))))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (*.f64 d1 20) (+.f64 (-.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 30))) 0))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (*.f64 d1 20) (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) -2) (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) 2)))
(-.f64 (*.f64 d1 20) (+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) -2) (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) 2)))
(-.f64 (-.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 (+.f64 30 d2)) -2)) (/.f64 (*.f64 d1 (+.f64 20 (-.f64 -10 d2))) 2))
(-.f64 (*.f64 d1 (+.f64 d2 30)) 0)
(*.f64 d1 (+.f64 30 d2))
(-.f64 (*.f64 d1 (+.f64 d2 30)) (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) -2) (/.f64 (*.f64 d1 (+.f64 d2 30)) 2)))
(-.f64 (*.f64 d1 (+.f64 30 d2)) (+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) -2) (/.f64 (*.f64 d1 (+.f64 30 d2)) 2)))
(+.f64 (*.f64 -3 (/.f64 (*.f64 d1 (+.f64 30 d2)) -2)) (neg.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 2)))
(+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) -2) (*.f64 (*.f64 d1 (+.f64 30 d2)) 3/2))
(-.f64 0 (neg.f64 (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(-.f64 0 (+.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) (neg.f64 (*.f64 d1 40))))
(-.f64 (*.f64 d1 (+.f64 d2 10)) (+.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 d1 -20)) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (+.f64 0 (neg.f64 (*.f64 d1 -20))) (*.f64 d1 (-.f64 -10 d2)))
(*.f64 d1 (-.f64 d2 -30))
(-.f64 0 (+.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)) (*.f64 d1 (*.f64 (+.f64 10 d2) -2))))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (*.f64 d1 40) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (*.f64 d1 (+.f64 d2 10)) (+.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 d1 -20)) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (+.f64 0 (neg.f64 (*.f64 d1 -20))) (*.f64 d1 (-.f64 -10 d2)))
(*.f64 d1 (-.f64 d2 -30))
(-.f64 (*.f64 (+.f64 10 d2) (+.f64 d1 d1)) (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (*.f64 (+.f64 10 d2) (+.f64 d1 d1)) (+.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)) 0))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 20))
(*.f64 d1 (-.f64 (+.f64 d2 50) 20))
(-.f64 (*.f64 d1 80) (+.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) (*.f64 d1 40)))
(-.f64 (*.f64 d1 (+.f64 d2 10)) (+.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 d1 -20)) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (+.f64 0 (neg.f64 (*.f64 d1 -20))) (*.f64 d1 (-.f64 -10 d2)))
(*.f64 d1 (-.f64 d2 -30))
(-.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (*.f64 d1 (-.f64 -10 d2)) (/.f64 (*.f64 d1 40) -4)))
(+.f64 (*.f64 (*.f64 d1 20) 1/2) (-.f64 (*.f64 (*.f64 d1 20) 1/2) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (/.f64 (*.f64 d1 40) -4) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (*.f64 d1 (-.f64 -10 d2)) (/.f64 (*.f64 d1 40) -4)))
(+.f64 (*.f64 (*.f64 d1 20) 1/2) (-.f64 (*.f64 (*.f64 d1 20) 1/2) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (-.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 30))) (/.f64 (*.f64 d1 40) -4)))
(-.f64 (-.f64 (*.f64 d1 (+.f64 30 d2)) (*.f64 1 (/.f64 (*.f64 d1 20) 2))) (/.f64 (*.f64 d1 40) -4))
(-.f64 (*.f64 d1 (+.f64 30 d2)) (+.f64 (/.f64 (*.f64 d1 40) -4) (*.f64 (*.f64 d1 20) 1/2)))
(+.f64 (*.f64 d1 (+.f64 d2 10)) (-.f64 (*.f64 (*.f64 d1 20) 1/2) (*.f64 (*.f64 d1 20) -1/2)))
(-.f64 (/.f64 (*.f64 d1 20) 2) (/.f64 (-.f64 0 (*.f64 (+.f64 d1 d1) (+.f64 d2 20))) 2))
(/.f64 (-.f64 (*.f64 d1 20) (neg.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) (*.f64 d1 -20)) 2)
(-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 2) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (-.f64 0 (/.f64 (*.f64 d1 (+.f64 d2 50)) 2)))
(-.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 1/2)) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 2)))
(-.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 1/2)) (/.f64 (neg.f64 (*.f64 d1 (+.f64 d2 50))) 2))
(-.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 1/2)) (/.f64 (*.f64 d1 (+.f64 d2 50)) -2))
(-.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (+.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)) (*.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) -3)))
(-.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 1/2)) (+.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 d1 -20)) (*.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 1/2)) -3)))
(-.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 1/2)) (+.f64 (*.f64 d1 (+.f64 (+.f64 d2 10) -20)) (*.f64 (*.f64 d1 (+.f64 d2 10)) -3/2)))
(-.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 1/2)) (+.f64 (*.f64 d1 (+.f64 d2 -10)) (*.f64 (*.f64 d1 (+.f64 d2 10)) -3/2)))
(-.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) -2) (*.f64 d1 -20)))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (/.f64 (-.f64 0 (*.f64 d1 (+.f64 d2 50))) 2))
(-.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 1/2)) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 2)))
(-.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 1/2)) (/.f64 (neg.f64 (*.f64 d1 (+.f64 d2 50))) 2))
(-.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 1/2)) (/.f64 (*.f64 d1 (+.f64 d2 50)) -2))
(-.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) (*.f64 d1 (*.f64 (+.f64 10 d2) -2)))
(-.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) (*.f64 d1 (*.f64 (+.f64 d2 10) -2)))
(-.f64 (*.f64 d1 (+.f64 20 (-.f64 -10 d2))) (*.f64 d1 (*.f64 (+.f64 d2 10) -2)))
(-.f64 (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 50))) 2) (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) 2))
(/.f64 (-.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 50))) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))) 2)
(/.f64 (-.f64 (*.f64 d1 (+.f64 20 (+.f64 d2 50))) (*.f64 d1 (+.f64 20 (-.f64 -10 d2)))) 2)
(/.f64 (-.f64 (*.f64 d1 (+.f64 d2 70)) (*.f64 d1 (+.f64 20 (-.f64 -10 d2)))) 2)
(-.f64 (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 50))) 2) (-.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 (+.f64 d2 30)) 2)))
(-.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 2) (-.f64 (*.f64 d1 20) (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 50))) 2)))
(-.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 2) (-.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 (+.f64 20 (+.f64 d2 50))) 2)))
(-.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 2) (-.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 (+.f64 d2 70)) 2)))
(-.f64 (/.f64 (*.f64 d1 60) 2) (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 (+.f64 10 d2))))
(-.f64 (*.f64 d1 (+.f64 d2 10)) (-.f64 (/.f64 (*.f64 d1 20) 2) (/.f64 (*.f64 d1 60) 2)))
(-.f64 (*.f64 d1 (+.f64 d2 10)) (/.f64 (-.f64 (*.f64 d1 20) (*.f64 d1 60)) 2))
(-.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 2) (+.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20)) (/.f64 (*.f64 d1 (+.f64 10 d2)) -2)))
(-.f64 (/.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 3)) 2) (+.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 d1 -20)) (/.f64 (*.f64 d1 (+.f64 d2 10)) -2)))
(+.f64 (-.f64 (/.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 3)) 2) (*.f64 d1 (+.f64 (+.f64 d2 10) -20))) (/.f64 (*.f64 d1 (+.f64 d2 10)) 2))
(+.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 1/2)) (-.f64 (/.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 3)) 2) (*.f64 d1 (+.f64 d2 -10))))
(-.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (/.f64 (*.f64 d1 40) -4))
(/.f64 (-.f64 (*.f64 d1 20) (neg.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) (*.f64 d1 -20)) 2)
(-.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 20)))
(/.f64 (-.f64 (*.f64 d1 20) (neg.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)))) 2)
(/.f64 (-.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) (*.f64 d1 -20)) 2)
(-.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 2) (/.f64 (*.f64 d1 (+.f64 10 d2)) -2))
(-.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 1/2)) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 2)))
(-.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 1/2)) (/.f64 (neg.f64 (*.f64 d1 (+.f64 d2 50))) 2))
(-.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 1/2)) (/.f64 (*.f64 d1 (+.f64 d2 50)) -2))
(-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 2) -3) 2))
(-.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4) (/.f64 (*.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 2) -3) 2))
(/.f64 (-.f64 (*.f64 d1 (+.f64 30 d2)) (*.f64 -3 (*.f64 d1 (+.f64 30 d2)))) 4)
(/.f64 (-.f64 (*.f64 d1 (+.f64 30 d2)) (*.f64 (+.f64 30 d2) (*.f64 d1 -3))) 4)
(-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) -2) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(-.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4) (-.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) -2) (/.f64 (*.f64 d1 (+.f64 30 d2)) 4)))
(-.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 d1 (+.f64 d2 30)) 2)) (-.f64 0 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(-.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 2) (/.f64 (*.f64 d1 (+.f64 30 d2)) 4)) (neg.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4)))
(-.f64 (/.f64 (+.f64 (*.f64 (+.f64 30 d2) (+.f64 d1 d1)) (*.f64 d1 (+.f64 30 d2))) 4) (/.f64 (*.f64 d1 (+.f64 30 d2)) -4))
(-.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4) (+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) -2) (/.f64 (*.f64 d1 (+.f64 30 d2)) -4)))
(-.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2))) (-.f64 (*.f64 d1 -20) (/.f64 (*.f64 d1 (+.f64 10 d2)) 4)))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (+.f64 (/.f64 (*.f64 d1 20) 4) (/.f64 (*.f64 d1 20) 2)) (-.f64 (*.f64 d1 (-.f64 -10 d2)) (/.f64 (*.f64 d1 20) 4)))
(-.f64 (+.f64 (/.f64 (*.f64 d1 20) 2) (/.f64 (*.f64 d1 20) 4)) (-.f64 (*.f64 d1 (-.f64 -10 d2)) (/.f64 (*.f64 d1 20) 4)))
(-.f64 (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 40)) 4) (-.f64 (*.f64 d1 (-.f64 -10 d2)) (/.f64 (*.f64 d1 20) 4)))
(-.f64 (/.f64 (*.f64 d1 20) 4) (-.f64 (*.f64 d1 (-.f64 -10 d2)) (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 40)) 4)))
(-.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (-.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 30)))) (/.f64 (*.f64 d1 40) -4))
(-.f64 (-.f64 (*.f64 d1 (+.f64 30 d2)) (*.f64 1 (/.f64 (*.f64 d1 20) 2))) (/.f64 (*.f64 d1 40) -4))
(-.f64 (*.f64 d1 (+.f64 30 d2)) (+.f64 (/.f64 (*.f64 d1 40) -4) (*.f64 (*.f64 d1 20) 1/2)))
(+.f64 (*.f64 d1 (+.f64 d2 10)) (-.f64 (*.f64 (*.f64 d1 20) 1/2) (*.f64 (*.f64 d1 20) -1/2)))
(-.f64 (-.f64 0 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))) (neg.f64 (*.f64 d1 40)))
(-.f64 (*.f64 d1 (+.f64 d2 10)) (+.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 d1 -20)) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (+.f64 0 (neg.f64 (*.f64 d1 -20))) (*.f64 d1 (-.f64 -10 d2)))
(*.f64 d1 (-.f64 d2 -30))
(-.f64 (-.f64 (/.f64 (*.f64 d1 60) 2) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))) (/.f64 (*.f64 d1 40) -4))
(-.f64 (-.f64 (/.f64 (*.f64 d1 60) 2) (/.f64 (*.f64 d1 40) -4)) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (/.f64 (*.f64 d1 60) 2) (+.f64 (*.f64 d1 (+.f64 20 (-.f64 -10 d2))) (/.f64 (*.f64 d1 40) -4)))
(-.f64 (/.f64 (*.f64 d1 60) 2) (+.f64 (*.f64 d1 (+.f64 20 (-.f64 -10 d2))) (*.f64 (*.f64 d1 20) -1/2)))
(-.f64 (-.f64 (*.f64 d1 (+.f64 10 d2)) (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20))) (*.f64 d1 (-.f64 -10 d2)))
(-.f64 (*.f64 d1 (+.f64 d2 10)) (+.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 d1 -20)) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (+.f64 0 (neg.f64 (*.f64 d1 -20))) (*.f64 d1 (-.f64 -10 d2)))
(*.f64 d1 (-.f64 d2 -30))
(-.f64 (-.f64 0 (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20))) (*.f64 d1 (*.f64 (+.f64 10 d2) -2)))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (-.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20))) (*.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) -3))
(-.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 1/2)) (+.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 d1 -20)) (*.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 1/2)) -3)))
(-.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 1/2)) (+.f64 (*.f64 d1 (+.f64 (+.f64 d2 10) -20)) (*.f64 (*.f64 d1 (+.f64 d2 10)) -3/2)))
(-.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 1/2)) (+.f64 (*.f64 d1 (+.f64 d2 -10)) (*.f64 (*.f64 d1 (+.f64 d2 10)) -3/2)))
(-.f64 (-.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 2) (+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 -20))) (/.f64 (*.f64 d1 (+.f64 10 d2)) -2))
(-.f64 (/.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 3)) 2) (+.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 d1 -20)) (/.f64 (*.f64 d1 (+.f64 d2 10)) -2)))
(+.f64 (-.f64 (/.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 3)) 2) (*.f64 d1 (+.f64 (+.f64 d2 10) -20))) (/.f64 (*.f64 d1 (+.f64 d2 10)) 2))
(+.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 1/2)) (-.f64 (/.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 3)) 2) (*.f64 d1 (+.f64 d2 -10))))
(-.f64 (-.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) 2))
(-.f64 (*.f64 d1 20) (+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) -2) (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) 2)))
(-.f64 (-.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 (+.f64 30 d2)) -2)) (/.f64 (*.f64 d1 (+.f64 20 (-.f64 -10 d2))) 2))
(-.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) (/.f64 (*.f64 d1 (+.f64 10 d2)) -2))
(-.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (/.f64 (*.f64 d1 (+.f64 d2 10)) -2)) (/.f64 (*.f64 d1 (+.f64 30 d2)) -2))
(-.f64 (/.f64 (*.f64 d1 20) 2) (/.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 d1 (+.f64 30 d2))) -2))
(-.f64 (*.f64 (*.f64 d1 20) 1/2) (/.f64 (-.f64 (*.f64 (+.f64 d2 10) (+.f64 d1 d1)) (*.f64 d1 -20)) -2))
(-.f64 (/.f64 (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 50))) 2) 2) (/.f64 (+.f64 (*.f64 d1 (-.f64 -10 d2)) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) 2))
(-.f64 (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 50))) 4) (+.f64 (/.f64 (*.f64 d1 (-.f64 -10 d2)) 2) (/.f64 (*.f64 d1 (+.f64 30 d2)) -4)))
(-.f64 (/.f64 (*.f64 d1 (+.f64 20 (+.f64 d2 50))) 4) (+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) -4) (/.f64 (*.f64 d1 (-.f64 -10 d2)) 2)))
(+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4) (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 70)) 4) (/.f64 (*.f64 d1 (-.f64 -10 d2)) 2)))
(-.f64 (/.f64 (/.f64 (*.f64 (*.f64 d1 (+.f64 d2 30)) 3) 2) 2) (/.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) -2) 2))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (/.f64 (*.f64 (*.f64 d1 (+.f64 d2 30)) 3) 4) (/.f64 (neg.f64 (*.f64 d1 (+.f64 d2 30))) 4))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (/.f64 (+.f64 (*.f64 d1 (+.f64 10 d2)) (/.f64 (*.f64 d1 (+.f64 d2 30)) 2)) 2) (/.f64 (+.f64 (*.f64 d1 -20) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) 2))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (/.f64 (+.f64 (*.f64 d1 40) (/.f64 (*.f64 d1 (+.f64 d2 30)) 2)) 2) (/.f64 (+.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) (/.f64 (*.f64 d1 (+.f64 d2 30)) -2)) 2))
(/.f64 (-.f64 (+.f64 (*.f64 d1 40) (/.f64 (*.f64 d1 (+.f64 30 d2)) 2)) (+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) -2) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))))) 2)
(/.f64 (-.f64 (+.f64 (*.f64 d1 40) (/.f64 (*.f64 d1 (+.f64 30 d2)) 2)) (+.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) -2) (*.f64 d1 (+.f64 20 (-.f64 -10 d2))))) 2)
(/.f64 (-.f64 (*.f64 d1 40) (+.f64 (*.f64 d1 (+.f64 20 (-.f64 -10 d2))) (*.f64 (+.f64 30 d2) (neg.f64 d1)))) 2)
(-.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (*.f64 d1 20)) (-.f64 (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) 2) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(-.f64 (+.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 (+.f64 30 d2)) 4)) (-.f64 (/.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))) 2) (/.f64 (*.f64 d1 (+.f64 30 d2)) 4)))
(-.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4) (-.f64 (/.f64 (*.f64 d1 (+.f64 20 (-.f64 -10 d2))) 2) (-.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 (+.f64 30 d2)) -4))))
(-.f64 (*.f64 d1 20) (-.f64 (/.f64 (*.f64 d1 (+.f64 20 (-.f64 -10 d2))) 2) (/.f64 (*.f64 d1 (+.f64 30 d2)) 2)))
(-.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (/.f64 (*.f64 d1 20) 2)) (-.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) -2) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(-.f64 (+.f64 (/.f64 (*.f64 d1 20) 2) (/.f64 (*.f64 d1 (+.f64 30 d2)) 4)) (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 10)) -2) (/.f64 (*.f64 d1 (+.f64 30 d2)) 4)))
(-.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4) (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 10)) -2) (/.f64 (+.f64 (*.f64 d1 40) (*.f64 d1 (+.f64 30 d2))) 4)))
(-.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4) (-.f64 (/.f64 (*.f64 d1 (+.f64 d2 10)) -2) (/.f64 (+.f64 (*.f64 d1 (+.f64 30 d2)) (*.f64 d1 40)) 4)))
(-.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 30)) 4) (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2))) (-.f64 (/.f64 (*.f64 d1 40) -4) (/.f64 (*.f64 d1 (+.f64 d2 30)) 4)))
(-.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4) (-.f64 (/.f64 (*.f64 d1 40) -4) (+.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 1/2)) (/.f64 (*.f64 d1 (+.f64 30 d2)) 4))))
(-.f64 (/.f64 (*.f64 d1 (+.f64 30 d2)) 4) (-.f64 (/.f64 (*.f64 d1 40) -4) (-.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 1/2)) (/.f64 (*.f64 d1 (+.f64 30 d2)) -4))))
(-.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 1/2)) (-.f64 (*.f64 (*.f64 d1 20) -1/2) (/.f64 (*.f64 d1 (+.f64 30 d2)) 2)))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (-.f64 20 (-.f64 -10 d2)))
(-.f64 (*.f64 d1 (+.f64 d2 10)) (+.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 d1 -20)) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (+.f64 0 (neg.f64 (*.f64 d1 -20))) (*.f64 d1 (-.f64 -10 d2)))
(*.f64 d1 (-.f64 d2 -30))
(*.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(*.f64 d1 (+.f64 30 d2))
(*.f64 1 (*.f64 d1 (+.f64 d2 30)))
(*.f64 d1 (+.f64 30 d2))
(*.f64 -1 (neg.f64 (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(*.f64 (+.f64 d2 30) d1)
(*.f64 d1 (+.f64 30 d2))
(*.f64 2 (*.f64 (*.f64 d1 (+.f64 d2 30)) 1/2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 1/2)))
(*.f64 d1 (+.f64 30 d2))
(*.f64 (+.f64 d1 d1) (+.f64 (/.f64 d2 2) 15))
(*.f64 (+.f64 d1 d1) (*.f64 (+.f64 d2 30) 1/2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 (*.f64 d1 (*.f64 (+.f64 d2 30) 2)) 1/2)
(*.f64 d1 (+.f64 30 d2))
(*.f64 1/2 (*.f64 d1 (*.f64 (+.f64 d2 30) 2)))
(*.f64 d1 (+.f64 30 d2))
(*.f64 (*.f64 d1 1/2) (*.f64 (+.f64 d2 30) 2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 (neg.f64 (*.f64 d1 (+.f64 d2 30))) -1)
(*.f64 d1 (+.f64 30 d2))
(*.f64 (*.f64 d1 4) (+.f64 (/.f64 d2 4) 15/2))
(*.f64 4 (*.f64 d1 (+.f64 (/.f64 d2 4) 15/2)))
(*.f64 d1 (*.f64 4 (+.f64 (/.f64 d2 4) 15/2)))
(*.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 4)) 1/4)
(*.f64 d1 (+.f64 30 d2))
(*.f64 (+.f64 (/.f64 d2 2) 15) (+.f64 d1 d1))
(*.f64 (+.f64 d1 d1) (+.f64 (/.f64 d2 2) 15))
(*.f64 1/4 (*.f64 (+.f64 d2 30) (*.f64 d1 4)))
(*.f64 d1 (+.f64 30 d2))
(*.f64 (+.f64 (/.f64 d2 4) 15/2) (*.f64 d1 4))
(*.f64 4 (*.f64 d1 (+.f64 (/.f64 d2 4) 15/2)))
(*.f64 d1 (*.f64 4 (+.f64 (/.f64 d2 4) 15/2)))
(*.f64 (*.f64 (+.f64 d2 30) 2) (*.f64 d1 1/2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 (*.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 4))) 1/8)
(*.f64 d1 (+.f64 30 d2))
(*.f64 (*.f64 2 (*.f64 d1 4)) (/.f64 (+.f64 d2 30) 8))
(*.f64 d1 (+.f64 30 d2))
(*.f64 (*.f64 (+.f64 d2 30) 1/2) (+.f64 d1 d1))
(*.f64 d1 (+.f64 30 d2))
(*.f64 (*.f64 (*.f64 d1 (+.f64 d2 30)) 1/2) 2)
(*.f64 d1 (+.f64 30 d2))
(*.f64 1/8 (*.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 4))))
(*.f64 d1 (+.f64 30 d2))
(*.f64 (/.f64 (+.f64 d2 30) 8) (*.f64 2 (*.f64 d1 4)))
(*.f64 d1 (+.f64 30 d2))
(*.f64 (-.f64 20 (-.f64 -10 d2)) d1)
(-.f64 (*.f64 d1 (+.f64 d2 10)) (+.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 d1 -20)) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (+.f64 0 (neg.f64 (*.f64 d1 -20))) (*.f64 d1 (-.f64 -10 d2)))
(*.f64 d1 (-.f64 d2 -30))
(*.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 1/2)) 2)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (*.f64 d1 (*.f64 (+.f64 d2 30) 2)) 2)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (neg.f64 (*.f64 d1 (+.f64 d2 30))) -1)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (*.f64 (+.f64 d2 30) (*.f64 d1 4)) 4)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (*.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 4))) 8)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (+.f64 (*.f64 (+.f64 10 d2) (*.f64 2 (*.f64 d1 4))) (*.f64 (*.f64 d1 40) 4)) 8)
(/.f64 (+.f64 (*.f64 (+.f64 d2 10) (*.f64 2 (*.f64 d1 4))) (*.f64 (*.f64 d1 40) 4)) 8)
(/.f64 (+.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 8)) (*.f64 d1 160)) 8)
(+.f64 (*.f64 d1 (+.f64 d2 10)) (/.f64 (*.f64 d1 160) 8))
(/.f64 (+.f64 (*.f64 (*.f64 d1 40) 4) (*.f64 (+.f64 10 d2) (*.f64 2 (*.f64 d1 4)))) 8)
(/.f64 (+.f64 (*.f64 (+.f64 d2 10) (*.f64 2 (*.f64 d1 4))) (*.f64 (*.f64 d1 40) 4)) 8)
(/.f64 (+.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 8)) (*.f64 d1 160)) 8)
(+.f64 (*.f64 d1 (+.f64 d2 10)) (/.f64 (*.f64 d1 160) 8))
(/.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 4))) (*.f64 2 (*.f64 (+.f64 d2 30) (*.f64 d1 4)))) 16)
(*.f64 d1 (+.f64 30 d2))
(/.f64 (-.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 4)) (neg.f64 (*.f64 d1 80))) 4)
(/.f64 (-.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 4)) (neg.f64 (*.f64 d1 80))) 4)
(/.f64 (-.f64 (*.f64 d1 80) (neg.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 4)))) 4)
(-.f64 (*.f64 d1 (+.f64 d2 10)) (/.f64 (*.f64 d1 -40) 2))
(/.f64 (-.f64 (*.f64 d1 80) (neg.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 4)))) 4)
(/.f64 (-.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 4)) (neg.f64 (*.f64 d1 80))) 4)
(/.f64 (-.f64 (*.f64 d1 80) (neg.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 4)))) 4)
(-.f64 (*.f64 d1 (+.f64 d2 10)) (/.f64 (*.f64 d1 -40) 2))
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(*.f64 d1 (+.f64 30 d2))
(neg.f64 (neg.f64 (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d1 (+.f64 10 d2)) 0)
(*.f64 d1 (+.f64 d2 10))
(+.f64 (*.f64 d1 20) (neg.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))))
(+.f64 (*.f64 d1 20) (neg.f64 (*.f64 d1 (+.f64 20 (-.f64 -10 d2)))))
(*.f64 (-.f64 -10 d2) (neg.f64 d1))
(+.f64 (*.f64 d1 (+.f64 d2 30)) (*.f64 d1 -20))
(*.f64 d1 (+.f64 d2 10))
(+.f64 0 (*.f64 d1 (+.f64 10 d2)))
(*.f64 d1 (+.f64 d2 10))
(+.f64 -1 (-.f64 1 (*.f64 d1 (-.f64 -10 d2))))
(+.f64 (*.f64 d1 20) (neg.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))))
(+.f64 (*.f64 d1 20) (neg.f64 (*.f64 d1 (+.f64 20 (-.f64 -10 d2)))))
(*.f64 (-.f64 -10 d2) (neg.f64 d1))
(+.f64 (/.f64 (*.f64 d1 20) 2) (-.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))))
(+.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (*.f64 -1 (/.f64 (*.f64 d1 20) 2)) (neg.f64 (*.f64 d1 (-.f64 -10 d2)))))
(+.f64 (/.f64 (*.f64 d1 20) 2) (-.f64 (*.f64 (*.f64 d1 20) -1/2) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (-.f64 (*.f64 (*.f64 d1 20) -1/2) (*.f64 (*.f64 d1 20) -1/2)) (*.f64 d1 (-.f64 -10 d2)))
(+.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (neg.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) -2)))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 20)))
(+.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (*.f64 -1 (/.f64 (*.f64 d1 20) 2)))
(+.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (*.f64 (*.f64 d1 20) -1/2))
(+.f64 (*.f64 (*.f64 d1 20) -1/2) (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2))
(+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2))))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (/.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 2) 2))
(/.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 (+.f64 d2 10) (*.f64 d1 3))) 4)
(/.f64 (*.f64 (+.f64 d2 10) (+.f64 d1 (*.f64 d1 3))) 4)
(+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 4))
(/.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 (+.f64 d2 10) (*.f64 d1 3))) 4)
(/.f64 (*.f64 (+.f64 d2 10) (+.f64 d1 (*.f64 d1 3))) 4)
(+.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 20)) (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2))
(+.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (*.f64 -1 (/.f64 (*.f64 d1 20) 2)))
(+.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (*.f64 (*.f64 d1 20) -1/2))
(+.f64 (*.f64 (*.f64 d1 20) -1/2) (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2))
(+.f64 (-.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 20) 2)) (neg.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 (+.f64 10 d2)))))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (/.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 2) 2) (/.f64 (*.f64 d1 (+.f64 10 d2)) 4))
(/.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 (+.f64 d2 10) (*.f64 d1 3))) 4)
(/.f64 (*.f64 (+.f64 d2 10) (+.f64 d1 (*.f64 d1 3))) 4)
(+.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (/.f64 (*.f64 d1 20) 2)) (*.f64 d1 (+.f64 10 d2)))
(*.f64 d1 (+.f64 d2 10))
(+.f64 (-.f64 -1 (/.f64 (*.f64 d1 40) -4)) (-.f64 1 (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 (+.f64 10 d2)))))
(+.f64 (-.f64 -1 (/.f64 (*.f64 d1 40) -4)) (-.f64 (*.f64 d1 (+.f64 d2 10)) (-.f64 (/.f64 (*.f64 d1 20) 2) 1)))
(+.f64 (-.f64 -1 (/.f64 (*.f64 d1 40) -4)) (-.f64 (*.f64 d1 (+.f64 d2 10)) (+.f64 (/.f64 (*.f64 d1 20) 2) -1)))
(+.f64 (-.f64 -1 (*.f64 (*.f64 d1 20) -1/2)) (-.f64 (*.f64 d1 (+.f64 d2 10)) (+.f64 -1 (*.f64 (*.f64 d1 20) 1/2))))
(+.f64 (-.f64 -1 (*.f64 d1 (-.f64 -10 d2))) 1)
(+.f64 (*.f64 d1 20) (neg.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))))
(+.f64 (*.f64 d1 20) (neg.f64 (*.f64 d1 (+.f64 20 (-.f64 -10 d2)))))
(*.f64 (-.f64 -10 d2) (neg.f64 d1))
(+.f64 (-.f64 -1 (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 (+.f64 10 d2)))) (-.f64 1 (/.f64 (*.f64 d1 40) -4)))
(+.f64 (-.f64 -1 (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 (+.f64 d2 10)))) (-.f64 1 (/.f64 (*.f64 d1 40) -4)))
(+.f64 (-.f64 -1 (-.f64 (*.f64 (*.f64 d1 20) 1/2) (*.f64 d1 (+.f64 d2 10)))) (-.f64 1 (*.f64 (*.f64 d1 20) -1/2)))
(-.f64 (*.f64 d1 (+.f64 10 d2)) 0)
(*.f64 d1 (+.f64 d2 10))
(-.f64 (*.f64 d1 (+.f64 10 d2)) (-.f64 (/.f64 (*.f64 d1 20) 2) (/.f64 (*.f64 d1 20) 2)))
(*.f64 d1 (+.f64 d2 10))
(-.f64 (*.f64 d1 20) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2))))
(+.f64 (*.f64 d1 20) (neg.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))))
(+.f64 (*.f64 d1 20) (neg.f64 (*.f64 d1 (+.f64 20 (-.f64 -10 d2)))))
(*.f64 (-.f64 -10 d2) (neg.f64 d1))
(-.f64 0 (*.f64 d1 (-.f64 -10 d2)))
(+.f64 (*.f64 d1 20) (neg.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))))
(+.f64 (*.f64 d1 20) (neg.f64 (*.f64 d1 (+.f64 20 (-.f64 -10 d2)))))
(*.f64 (-.f64 -10 d2) (neg.f64 d1))
(-.f64 0 (-.f64 (*.f64 d1 20) (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 d2 10))
(-.f64 (/.f64 (*.f64 d1 20) 2) (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 (+.f64 10 d2))))
(*.f64 d1 (+.f64 d2 10))
(-.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) (/.f64 (*.f64 d1 (+.f64 10 d2)) -2))
(*.f64 d1 (+.f64 d2 10))
(-.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (-.f64 (*.f64 d1 20) (/.f64 (*.f64 d1 20) 2)))
(+.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (*.f64 -1 (/.f64 (*.f64 d1 20) 2)))
(+.f64 (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2) (*.f64 (*.f64 d1 20) -1/2))
(+.f64 (*.f64 (*.f64 d1 20) -1/2) (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 20)) 2))
(-.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (/.f64 (*.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2)) -3) 2))
(-.f64 (/.f64 (*.f64 d1 (+.f64 d2 10)) 4) (/.f64 (*.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 1/2)) -3) 2))
(-.f64 (/.f64 (*.f64 d1 (+.f64 d2 10)) 4) (/.f64 (*.f64 (*.f64 d1 (+.f64 d2 10)) -3/2) 2))
(/.f64 (-.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 (*.f64 d1 (+.f64 d2 10)) -3)) 4)
(-.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4) (*.f64 d1 (*.f64 (+.f64 10 d2) 1/2))) (-.f64 0 (/.f64 (*.f64 d1 (+.f64 10 d2)) 4)))
(*.f64 d1 (+.f64 d2 10))
(-.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (*.f64 d1 20)) (+.f64 (*.f64 d1 (-.f64 -10 d2)) (/.f64 (*.f64 d1 40) -4)))
(+.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (*.f64 -1 (/.f64 (*.f64 d1 20) 2)) (neg.f64 (*.f64 d1 (-.f64 -10 d2)))))
(+.f64 (/.f64 (*.f64 d1 20) 2) (-.f64 (*.f64 (*.f64 d1 20) -1/2) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (-.f64 (*.f64 (*.f64 d1 20) -1/2) (*.f64 (*.f64 d1 20) -1/2)) (*.f64 d1 (-.f64 -10 d2)))
(-.f64 (-.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))) (/.f64 (*.f64 d1 40) -4))
(+.f64 (/.f64 (*.f64 d1 20) 2) (+.f64 (*.f64 -1 (/.f64 (*.f64 d1 20) 2)) (neg.f64 (*.f64 d1 (-.f64 -10 d2)))))
(+.f64 (/.f64 (*.f64 d1 20) 2) (-.f64 (*.f64 (*.f64 d1 20) -1/2) (*.f64 d1 (-.f64 -10 d2))))
(-.f64 (-.f64 (*.f64 (*.f64 d1 20) -1/2) (*.f64 (*.f64 d1 20) -1/2)) (*.f64 d1 (-.f64 -10 d2)))
(-.f64 (/.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 2) 2) (/.f64 (/.f64 (*.f64 d1 (+.f64 10 d2)) -2) 2))
(/.f64 (+.f64 (*.f64 d1 (+.f64 d2 10)) (*.f64 (+.f64 d2 10) (*.f64 d1 3))) 4)
(/.f64 (*.f64 (+.f64 d2 10) (+.f64 d1 (*.f64 d1 3))) 4)
(-.f64 (/.f64 (*.f64 (+.f64 10 d2) (*.f64 d1 3)) 4) (/.f64 (*.f64 d1 (-.f64 -10 d2)) 4))
(/.f64 (-.f64 (*.f64 (+.f64 d2 10) (*.f64 d1 3)) (*.f64 d1 (-.f64 -10 d2))) 4)
(/.f64 (*.f64 d1 (+.f64 10 d2)) 1)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (*.f64 d1 (-.f64 -10 d2)) -1)
(+.f64 (*.f64 d1 20) (neg.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))))
(+.f64 (*.f64 d1 20) (neg.f64 (*.f64 d1 (+.f64 20 (-.f64 -10 d2)))))
(*.f64 (-.f64 -10 d2) (neg.f64 d1))
(/.f64 (*.f64 (+.f64 10 d2) (+.f64 d1 d1)) 2)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) -2)) -2)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 4)) 4)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (neg.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 4))) -4)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (*.f64 (*.f64 d1 4) (*.f64 (+.f64 10 d2) 4)) 16)
(/.f64 (*.f64 (*.f64 d1 4) (*.f64 (+.f64 d2 10) 4)) 16)
(/.f64 (*.f64 d1 (*.f64 4 (*.f64 (+.f64 d2 10) 4))) 16)
(/.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 16)) 16)
(/.f64 (*.f64 (+.f64 10 d2) (*.f64 2 (*.f64 d1 4))) 8)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (/.f64 (neg.f64 (*.f64 d1 (*.f64 (+.f64 10 d2) 4))) -1) 4)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (+.f64 (*.f64 (+.f64 10 d2) (*.f64 2 (*.f64 d1 4))) (*.f64 (+.f64 10 d2) (*.f64 2 (*.f64 d1 4)))) 16)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (+.f64 (*.f64 (*.f64 d1 4) (*.f64 (+.f64 10 d2) 4)) (*.f64 (*.f64 d1 4) (*.f64 (+.f64 10 d2) 4))) 32)
(/.f64 (*.f64 (*.f64 d1 4) (*.f64 (+.f64 d2 10) 4)) 16)
(/.f64 (*.f64 d1 (*.f64 4 (*.f64 (+.f64 d2 10) 4))) 16)
(/.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 16)) 16)
(/.f64 (-.f64 (*.f64 d1 40) (+.f64 (*.f64 d1 40) (*.f64 d1 (*.f64 (+.f64 10 d2) -2)))) 2)
(*.f64 d1 (+.f64 d2 10))
(/.f64 (*.f64 (*.f64 2 (*.f64 (+.f64 10 d2) 4)) (*.f64 2 (*.f64 d1 4))) 64)
(/.f64 (*.f64 (*.f64 d1 4) (*.f64 (+.f64 d2 10) 4)) 16)
(/.f64 (*.f64 d1 (*.f64 4 (*.f64 (+.f64 d2 10) 4))) 16)
(/.f64 (*.f64 d1 (*.f64 (+.f64 d2 10) 16)) 16)
(pow.f64 (*.f64 d1 (+.f64 10 d2)) 1)
(*.f64 d1 (+.f64 d2 10))
(neg.f64 (*.f64 d1 (-.f64 -10 d2)))
(+.f64 (*.f64 d1 20) (neg.f64 (+.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -10 d2)))))
(+.f64 (*.f64 d1 20) (neg.f64 (*.f64 d1 (+.f64 20 (-.f64 -10 d2)))))
(*.f64 (-.f64 -10 d2) (neg.f64 d1))

eval805.0ms (5.2%)

Compiler

Compiled 4930 to 3673 computations (25.5% saved)

prune139.0ms (0.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New2893292
Fresh000
Picked011
Done011
Total2895294
Error
0b
Counts
294 → 5
Alt Table
Click to see full alt table
StatusErrorProgram
0.3b
(-.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 20))
0.2b
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
33.4b
(*.f64 d2 d1)
0.0b
(*.f64 d1 (+.f64 d2 30))
28.8b
(*.f64 d1 30)
Compiler

Compiled 39 to 28 computations (28.2% saved)

localize21.0ms (0.1%)

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize5.0ms (0%)

Compiler

Compiled 7 to 3 computations (57.1% saved)

localize331.0ms (2.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(*.f64 d1 (+.f64 d2 50))
0.3b
(-.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 20))
Compiler

Compiled 26 to 17 computations (34.6% saved)

series28.0ms (0.2%)

Counts
2 → 44
Calls

12 calls:

TimeVariablePointExpression
25.0ms
d1
@0
(-.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 20))
1.0ms
d1
@-inf
(-.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 20))
0.0ms
d2
@0
(-.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 20))
0.0ms
d2
@-inf
(-.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 20))
0.0ms
d2
@inf
(-.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 20))

rewrite657.0ms (4.2%)

Algorithm
batch-egg-rewrite
Rules
832×rational_best-simplify-1
742×rational_best-simplify-83
708×rational_best-simplify-47
566×rational_best-simplify-57
522×rational_best-simplify-51
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01038
16532
212126
332826
4121926
5760726
Stop Event
node limit
Counts
2 → 96
Calls
Call 1
Inputs
(-.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 20))
(*.f64 d1 (+.f64 d2 50))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 -20))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (-.f64 d2 -30)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 d1 (-.f64 d2 -30)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 -20) (*.f64 d1 (+.f64 d2 50)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 -20) (neg.f64 (neg.f64 (*.f64 d1 (+.f64 d2 50)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) (neg.f64 (*.f64 d1 (+.f64 d2 70))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (+.f64 (+.f64 d2 50) (-.f64 d2 -30))) (neg.f64 (*.f64 d1 (+.f64 d2 50))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (*.f64 d1 (+.f64 d2 50))) (*.f64 d1 (+.f64 (+.f64 d2 50) (-.f64 d2 -30))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (-.f64 -30 d2)) -2) (/.f64 (*.f64 d1 (-.f64 -30 d2)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (+.f64 d2 70)) (neg.f64 (*.f64 d1 40)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 3) 2) (/.f64 (*.f64 d1 (-.f64 -30 d2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) (*.f64 d1 20))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -30 d2))) (*.f64 d1 -20))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 -20) 2) (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -20) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 -20) 2) (-.f64 (/.f64 (*.f64 d1 -20) 2) (neg.f64 (*.f64 d1 (+.f64 d2 50)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -20) 2)) (/.f64 (*.f64 d1 -20) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -20) 2)) (-.f64 (*.f64 d1 (+.f64 d2 50)) (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 40) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (neg.f64 (*.f64 d1 (+.f64 d2 50)))) (*.f64 d1 -20))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (-.f64 d2 -30)) 4) (+.f64 (/.f64 (*.f64 d1 (-.f64 d2 -30)) 4) (/.f64 (*.f64 d1 (-.f64 -30 d2)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (-.f64 d2 -30)) 4) (/.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 3) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (-.f64 d2 -30)) 4) (/.f64 (/.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 3) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (*.f64 d1 (+.f64 d2 70))) (-.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (neg.f64 (*.f64 d1 (+.f64 d2 50)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2))) (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) (/.f64 (*.f64 d1 40) 4)) (neg.f64 (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 40) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2))) (neg.f64 (+.f64 (*.f64 d1 20) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 d1 (+.f64 d2 70)) (/.f64 (*.f64 d1 40) 4)) (neg.f64 (/.f64 (*.f64 d1 60) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (+.f64 (+.f64 d2 50) (-.f64 d2 -30))) 4) (/.f64 (+.f64 (*.f64 d1 -20) (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (*.f64 d1 20)) (-.f64 1 (neg.f64 (*.f64 d1 (+.f64 d2 50)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (neg.f64 (*.f64 d1 (+.f64 d2 50)))) (-.f64 1 (*.f64 d1 20)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 (-.f64 d2 -30))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 (-.f64 (+.f64 d2 (+.f64 d2 100)) (+.f64 d2 70)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (-.f64 d2 -30)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 d1 (-.f64 d2 -30)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (-.f64 -30 d2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 d2 -30) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (-.f64 d2 -30) (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (-.f64 (/.f64 d2 2) -15))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) (*.f64 (-.f64 d2 -30) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 d1 (-.f64 -30 d2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 1/2) (*.f64 (-.f64 d2 -30) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 4) (-.f64 (/.f64 d2 4) -15/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 d2 2) -15) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 d2 4) -15/2) (*.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 d2 -30) 2) (*.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 d1 4)) (/.f64 (-.f64 d2 -30) 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 4) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 d2 -30) 1/2) (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 d2 -30) 8) (*.f64 2 (*.f64 d1 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (+.f64 d2 (+.f64 d2 100)) (+.f64 d2 70)) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 d2 -30) (*.f64 d1 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (-.f64 d2 -30)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (-.f64 -30 d2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 4) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 4)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (*.f64 d1 80)) (*.f64 (+.f64 d2 50) (*.f64 d1 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 4) (*.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 d2 50) (*.f64 2 (*.f64 d1 4))) (*.f64 2 (*.f64 d1 80))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 d2 50) (*.f64 2 (*.f64 d1 4))) (*.f64 2 (*.f64 (+.f64 d1 d1) (+.f64 d2 70)))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 70)) (*.f64 d1 80)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 2 (*.f64 (+.f64 d1 d1) (+.f64 d2 70))) (*.f64 2 (*.f64 d1 80))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (-.f64 d2 -30)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 d1 (-.f64 -30 d2)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (+.f64 d2 50)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 d1 (+.f64 d2 50)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (/.f64 (/.f64 (*.f64 d1 (*.f64 (+.f64 d2 50) 3)) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (/.f64 (*.f64 d1 (*.f64 (+.f64 d2 50) 3)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 d1 (+.f64 d2 50)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (/.f64 (*.f64 d1 (+.f64 d2 50)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2))) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (*.f64 d1 (*.f64 (+.f64 d2 50) 3)) 2) 2) (/.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) -2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 d1 (*.f64 (+.f64 d2 50) 3)) 4) (/.f64 (neg.f64 (*.f64 d1 (+.f64 d2 50))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 d2 50)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 4) (*.f64 (+.f64 d2 50) 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 d2 50) (*.f64 2 (*.f64 d1 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (+.f64 d2 50) (*.f64 2 (*.f64 d1 4))) (*.f64 (+.f64 d2 50) (*.f64 2 (*.f64 d1 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (*.f64 d1 4) (*.f64 (+.f64 d2 50) 4)) (*.f64 (*.f64 d1 4) (*.f64 (+.f64 d2 50) 4))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (*.f64 d1 4)) (*.f64 2 (*.f64 (+.f64 d2 50) 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d2 50)) 1)))))

simplify581.0ms (3.7%)

Algorithm
egg-herbie
Rules
1276×rational_best-simplify-1
966×rational_best-simplify-55
722×rational_best-simplify-47
666×rational_best-simplify-50
626×rational_best-simplify-85
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02522932
15982854
215532648
357652566
Stop Event
node limit
Counts
140 → 152
Calls
Call 1
Inputs
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 -1 (*.f64 (+.f64 20 (*.f64 -1 (+.f64 d2 50))) d1))
(*.f64 -1 (*.f64 (+.f64 20 (*.f64 -1 (+.f64 d2 50))) d1))
(*.f64 -1 (*.f64 (+.f64 20 (*.f64 -1 (+.f64 d2 50))) d1))
(*.f64 -1 (*.f64 (+.f64 20 (*.f64 -1 (+.f64 d2 50))) d1))
(-.f64 (*.f64 50 d1) (*.f64 20 d1))
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(*.f64 d2 d1)
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(*.f64 d2 d1)
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(*.f64 d1 (+.f64 50 d2))
(*.f64 d1 (+.f64 50 d2))
(*.f64 d1 (+.f64 50 d2))
(*.f64 d1 (+.f64 50 d2))
(*.f64 d1 (+.f64 50 d2))
(*.f64 d1 (+.f64 50 d2))
(*.f64 d1 (+.f64 50 d2))
(*.f64 d1 (+.f64 50 d2))
(*.f64 50 d1)
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(*.f64 d2 d1)
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(*.f64 d2 d1)
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(+.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 -20))
(+.f64 (*.f64 d1 (-.f64 d2 -30)) 0)
(+.f64 0 (*.f64 d1 (-.f64 d2 -30)))
(+.f64 (*.f64 d1 -20) (*.f64 d1 (+.f64 d2 50)))
(+.f64 (*.f64 d1 -20) (neg.f64 (neg.f64 (*.f64 d1 (+.f64 d2 50)))))
(+.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) (neg.f64 (*.f64 d1 (+.f64 d2 70))))
(+.f64 (*.f64 d1 (+.f64 (+.f64 d2 50) (-.f64 d2 -30))) (neg.f64 (*.f64 d1 (+.f64 d2 50))))
(+.f64 (neg.f64 (*.f64 d1 (+.f64 d2 50))) (*.f64 d1 (+.f64 (+.f64 d2 50) (-.f64 d2 -30))))
(+.f64 (/.f64 (*.f64 d1 (-.f64 -30 d2)) -2) (/.f64 (*.f64 d1 (-.f64 -30 d2)) -2))
(+.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2))
(+.f64 (*.f64 d1 (+.f64 d2 70)) (neg.f64 (*.f64 d1 40)))
(+.f64 (/.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 3) 2) (/.f64 (*.f64 d1 (-.f64 -30 d2)) 2))
(+.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) (*.f64 d1 20))
(+.f64 (-.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -30 d2))) (*.f64 d1 -20))
(+.f64 (/.f64 (*.f64 d1 -20) 2) (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -20) 2)))
(+.f64 (/.f64 (*.f64 d1 -20) 2) (-.f64 (/.f64 (*.f64 d1 -20) 2) (neg.f64 (*.f64 d1 (+.f64 d2 50)))))
(+.f64 (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -20) 2)) (/.f64 (*.f64 d1 -20) 2))
(+.f64 (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -20) 2)) (-.f64 (*.f64 d1 (+.f64 d2 50)) (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 40) 4))))
(+.f64 (neg.f64 (neg.f64 (*.f64 d1 (+.f64 d2 50)))) (*.f64 d1 -20))
(+.f64 (/.f64 (*.f64 d1 (-.f64 d2 -30)) 4) (+.f64 (/.f64 (*.f64 d1 (-.f64 d2 -30)) 4) (/.f64 (*.f64 d1 (-.f64 -30 d2)) -2)))
(+.f64 (/.f64 (*.f64 d1 (-.f64 d2 -30)) 4) (/.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 3) 4))
(+.f64 (/.f64 (*.f64 d1 (-.f64 d2 -30)) 4) (/.f64 (/.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 3) 2) 2))
(+.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2)))
(+.f64 (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)))
(+.f64 (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) -2)))
(+.f64 (-.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (*.f64 d1 (+.f64 d2 70))) (-.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (neg.f64 (*.f64 d1 (+.f64 d2 50)))))
(+.f64 (-.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2))) (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2))
(+.f64 (-.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) (/.f64 (*.f64 d1 40) 4)) (neg.f64 (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 40) 4))))
(+.f64 (-.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2))) (neg.f64 (+.f64 (*.f64 d1 20) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)))))
(+.f64 (-.f64 (*.f64 d1 (+.f64 d2 70)) (/.f64 (*.f64 d1 40) 4)) (neg.f64 (/.f64 (*.f64 d1 60) 2)))
(+.f64 (/.f64 (*.f64 d1 (+.f64 (+.f64 d2 50) (-.f64 d2 -30))) 4) (/.f64 (+.f64 (*.f64 d1 -20) (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2)) 4))
(+.f64 (-.f64 -1 (*.f64 d1 20)) (-.f64 1 (neg.f64 (*.f64 d1 (+.f64 d2 50)))))
(+.f64 (-.f64 -1 (neg.f64 (*.f64 d1 (+.f64 d2 50)))) (-.f64 1 (*.f64 d1 20)))
(*.f64 d1 (-.f64 d2 -30))
(*.f64 d1 (-.f64 (+.f64 d2 (+.f64 d2 100)) (+.f64 d2 70)))
(*.f64 (*.f64 d1 (-.f64 d2 -30)) 1)
(*.f64 1 (*.f64 d1 (-.f64 d2 -30)))
(*.f64 (*.f64 d1 (-.f64 -30 d2)) -1)
(*.f64 (-.f64 d2 -30) d1)
(*.f64 2 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 1/2))
(*.f64 2 (*.f64 (-.f64 d2 -30) (*.f64 d1 1/2)))
(*.f64 (+.f64 d1 d1) (-.f64 (/.f64 d2 2) -15))
(*.f64 (+.f64 d1 d1) (*.f64 (-.f64 d2 -30) 1/2))
(*.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 1/2)
(*.f64 -1 (*.f64 d1 (-.f64 -30 d2)))
(*.f64 1/2 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2))
(*.f64 (*.f64 d1 1/2) (*.f64 (-.f64 d2 -30) 2))
(*.f64 (*.f64 d1 4) (-.f64 (/.f64 d2 4) -15/2))
(*.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 4) 1/4)
(*.f64 1/4 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 4))
(*.f64 (-.f64 (/.f64 d2 2) -15) (+.f64 d1 d1))
(*.f64 (-.f64 (/.f64 d2 4) -15/2) (*.f64 d1 4))
(*.f64 (*.f64 (-.f64 d2 -30) 2) (*.f64 d1 1/2))
(*.f64 (*.f64 2 (*.f64 d1 4)) (/.f64 (-.f64 d2 -30) 8))
(*.f64 (*.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 4) 1/8)
(*.f64 (*.f64 (-.f64 d2 -30) 1/2) (+.f64 d1 d1))
(*.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 1/2) 2)
(*.f64 1/8 (*.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 4))
(*.f64 (/.f64 (-.f64 d2 -30) 8) (*.f64 2 (*.f64 d1 4)))
(*.f64 (-.f64 (+.f64 d2 (+.f64 d2 100)) (+.f64 d2 70)) d1)
(*.f64 (*.f64 (-.f64 d2 -30) (*.f64 d1 1/2)) 2)
(/.f64 (*.f64 d1 (-.f64 d2 -30)) 1)
(/.f64 (*.f64 d1 (-.f64 -30 d2)) -1)
(/.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 2)
(/.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 4) 4)
(/.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) 2) -2)
(/.f64 (*.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 4) 8)
(/.f64 (neg.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 4)) -4)
(/.f64 (+.f64 (neg.f64 (*.f64 d1 80)) (*.f64 (+.f64 d2 50) (*.f64 d1 4))) 4)
(/.f64 (+.f64 (*.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 4) (*.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 4)) 16)
(/.f64 (-.f64 (*.f64 (+.f64 d2 50) (*.f64 2 (*.f64 d1 4))) (*.f64 2 (*.f64 d1 80))) 8)
(/.f64 (-.f64 (*.f64 (+.f64 d2 50) (*.f64 2 (*.f64 d1 4))) (*.f64 2 (*.f64 (+.f64 d1 d1) (+.f64 d2 70)))) 4)
(/.f64 (-.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 70)) (*.f64 d1 80)) 2)
(/.f64 (-.f64 (*.f64 2 (*.f64 (+.f64 d1 d1) (+.f64 d2 70))) (*.f64 2 (*.f64 d1 80))) 4)
(pow.f64 (*.f64 d1 (-.f64 d2 -30)) 1)
(neg.f64 (*.f64 d1 (-.f64 -30 d2)))
(+.f64 (*.f64 d1 (+.f64 d2 50)) 0)
(+.f64 0 (*.f64 d1 (+.f64 d2 50)))
(+.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)))
(+.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2))))
(+.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (/.f64 (/.f64 (*.f64 d1 (*.f64 (+.f64 d2 50) 3)) 2) 2))
(+.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (/.f64 (*.f64 d1 (*.f64 (+.f64 d2 50) 3)) 4))
(-.f64 (*.f64 d1 (+.f64 d2 50)) 0)
(-.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (/.f64 (*.f64 d1 (+.f64 d2 50)) -2))
(-.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2))) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4)))
(-.f64 (/.f64 (/.f64 (*.f64 d1 (*.f64 (+.f64 d2 50) 3)) 2) 2) (/.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) -2) 2))
(-.f64 (/.f64 (*.f64 d1 (*.f64 (+.f64 d2 50) 3)) 4) (/.f64 (neg.f64 (*.f64 d1 (+.f64 d2 50))) 4))
(/.f64 (*.f64 d1 (+.f64 d2 50)) 1)
(/.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) 2)
(/.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 4)) 4)
(/.f64 (*.f64 (*.f64 d1 4) (*.f64 (+.f64 d2 50) 4)) 16)
(/.f64 (*.f64 (+.f64 d2 50) (*.f64 2 (*.f64 d1 4))) 8)
(/.f64 (+.f64 (*.f64 (+.f64 d2 50) (*.f64 2 (*.f64 d1 4))) (*.f64 (+.f64 d2 50) (*.f64 2 (*.f64 d1 4)))) 16)
(/.f64 (+.f64 (*.f64 (*.f64 d1 4) (*.f64 (+.f64 d2 50) 4)) (*.f64 (*.f64 d1 4) (*.f64 (+.f64 d2 50) 4))) 32)
(/.f64 (*.f64 (*.f64 2 (*.f64 d1 4)) (*.f64 2 (*.f64 (+.f64 d2 50) 4))) 64)
(pow.f64 (*.f64 d1 (+.f64 d2 50)) 1)
Outputs
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 -1 (*.f64 (+.f64 20 (*.f64 -1 (+.f64 d2 50))) d1))
(*.f64 d1 (*.f64 (+.f64 20 (*.f64 -1 (+.f64 d2 50))) -1))
(*.f64 (+.f64 20 (neg.f64 (+.f64 d2 50))) (neg.f64 d1))
(*.f64 d1 (neg.f64 (+.f64 20 (neg.f64 (+.f64 d2 50)))))
(*.f64 -1 (*.f64 (+.f64 20 (*.f64 -1 (+.f64 d2 50))) d1))
(*.f64 d1 (*.f64 (+.f64 20 (*.f64 -1 (+.f64 d2 50))) -1))
(*.f64 (+.f64 20 (neg.f64 (+.f64 d2 50))) (neg.f64 d1))
(*.f64 d1 (neg.f64 (+.f64 20 (neg.f64 (+.f64 d2 50)))))
(*.f64 -1 (*.f64 (+.f64 20 (*.f64 -1 (+.f64 d2 50))) d1))
(*.f64 d1 (*.f64 (+.f64 20 (*.f64 -1 (+.f64 d2 50))) -1))
(*.f64 (+.f64 20 (neg.f64 (+.f64 d2 50))) (neg.f64 d1))
(*.f64 d1 (neg.f64 (+.f64 20 (neg.f64 (+.f64 d2 50)))))
(*.f64 -1 (*.f64 (+.f64 20 (*.f64 -1 (+.f64 d2 50))) d1))
(*.f64 d1 (*.f64 (+.f64 20 (*.f64 -1 (+.f64 d2 50))) -1))
(*.f64 (+.f64 20 (neg.f64 (+.f64 d2 50))) (neg.f64 d1))
(*.f64 d1 (neg.f64 (+.f64 20 (neg.f64 (+.f64 d2 50)))))
(-.f64 (*.f64 50 d1) (*.f64 20 d1))
(-.f64 (*.f64 d1 50) (*.f64 d1 20))
(*.f64 d1 30)
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (+.f64 (*.f64 d2 d1) (*.f64 50 d1)) (*.f64 20 d1))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 50 d2))
(*.f64 d1 (+.f64 d2 50))
(*.f64 d1 (+.f64 50 d2))
(*.f64 d1 (+.f64 d2 50))
(*.f64 d1 (+.f64 50 d2))
(*.f64 d1 (+.f64 d2 50))
(*.f64 d1 (+.f64 50 d2))
(*.f64 d1 (+.f64 d2 50))
(*.f64 d1 (+.f64 50 d2))
(*.f64 d1 (+.f64 d2 50))
(*.f64 d1 (+.f64 50 d2))
(*.f64 d1 (+.f64 d2 50))
(*.f64 d1 (+.f64 50 d2))
(*.f64 d1 (+.f64 d2 50))
(*.f64 d1 (+.f64 50 d2))
(*.f64 d1 (+.f64 d2 50))
(*.f64 50 d1)
(*.f64 d1 50)
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(*.f64 d1 (+.f64 d2 50))
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(*.f64 d1 (+.f64 d2 50))
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(*.f64 d1 (+.f64 d2 50))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(*.f64 d1 (+.f64 d2 50))
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(*.f64 d1 (+.f64 d2 50))
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(*.f64 d1 (+.f64 d2 50))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(*.f64 d1 (+.f64 d2 50))
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(*.f64 d1 (+.f64 d2 50))
(+.f64 (*.f64 d2 d1) (*.f64 50 d1))
(*.f64 d1 (+.f64 d2 50))
(+.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 -20))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d1 (-.f64 d2 -30)) 0)
(*.f64 d1 (-.f64 d2 -30))
(+.f64 0 (*.f64 d1 (-.f64 d2 -30)))
(*.f64 d1 (-.f64 d2 -30))
(+.f64 (*.f64 d1 -20) (*.f64 d1 (+.f64 d2 50)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d1 -20) (neg.f64 (neg.f64 (*.f64 d1 (+.f64 d2 50)))))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) (neg.f64 (*.f64 d1 (+.f64 d2 70))))
(+.f64 (neg.f64 (*.f64 d1 (+.f64 d2 70))) (*.f64 (+.f64 d2 50) (+.f64 d1 d1)))
(-.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) (*.f64 d1 (+.f64 d2 70)))
(*.f64 d1 (+.f64 (-.f64 (+.f64 d2 100) 70) 0))
(+.f64 (*.f64 d1 (+.f64 (+.f64 d2 50) (-.f64 d2 -30))) (neg.f64 (*.f64 d1 (+.f64 d2 50))))
(+.f64 (neg.f64 (*.f64 d1 (+.f64 d2 50))) (*.f64 d1 (+.f64 (+.f64 d2 50) (-.f64 d2 -30))))
(-.f64 (*.f64 d1 (+.f64 50 (+.f64 d2 (-.f64 d2 -30)))) (*.f64 d1 (+.f64 d2 50)))
(*.f64 d1 (-.f64 (+.f64 (+.f64 d2 50) (-.f64 d2 -30)) (+.f64 d2 50)))
(+.f64 (neg.f64 (*.f64 d1 (+.f64 d2 50))) (*.f64 d1 (+.f64 (+.f64 d2 50) (-.f64 d2 -30))))
(-.f64 (*.f64 d1 (+.f64 50 (+.f64 d2 (-.f64 d2 -30)))) (*.f64 d1 (+.f64 d2 50)))
(*.f64 d1 (-.f64 (+.f64 (+.f64 d2 50) (-.f64 d2 -30)) (+.f64 d2 50)))
(+.f64 (/.f64 (*.f64 d1 (-.f64 -30 d2)) -2) (/.f64 (*.f64 d1 (-.f64 -30 d2)) -2))
(neg.f64 (*.f64 d1 (-.f64 -30 d2)))
(*.f64 (-.f64 -30 d2) (neg.f64 d1))
(*.f64 d1 (neg.f64 (-.f64 -30 d2)))
(+.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2))
(/.f64 (+.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 (-.f64 (+.f64 d2 50) 40))) 2)
(/.f64 (+.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) (*.f64 d1 (+.f64 d2 50))) 2)
(+.f64 (*.f64 d1 (+.f64 d2 70)) (neg.f64 (*.f64 d1 40)))
(+.f64 (*.f64 d1 (+.f64 d2 70)) (*.f64 d1 -40))
(*.f64 d1 (-.f64 -40 (neg.f64 (+.f64 d2 70))))
(+.f64 (/.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 3) 2) (/.f64 (*.f64 d1 (-.f64 -30 d2)) 2))
(/.f64 (+.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 3) (*.f64 d1 (-.f64 -30 d2))) 2)
(/.f64 (+.f64 (*.f64 d1 (-.f64 -30 d2)) (*.f64 d1 (*.f64 (-.f64 d2 -30) 3))) 2)
(/.f64 (+.f64 (*.f64 d1 (-.f64 -30 d2)) (*.f64 (*.f64 d1 (-.f64 d2 -30)) 3)) 2)
(/.f64 (*.f64 d1 (-.f64 (*.f64 (-.f64 d2 -30) 3) (neg.f64 (-.f64 -30 d2)))) 2)
(+.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) (*.f64 d1 20))
(*.f64 d1 (+.f64 (-.f64 (+.f64 d2 50) 40) 20))
(*.f64 d1 (+.f64 20 (-.f64 (+.f64 d2 50) 40)))
(+.f64 (-.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -30 d2))) (*.f64 d1 -20))
(+.f64 (*.f64 d1 -20) (-.f64 (*.f64 d1 20) (*.f64 d1 (-.f64 -30 d2))))
(+.f64 (*.f64 d1 -20) (*.f64 d1 (-.f64 20 (-.f64 -30 d2))))
(+.f64 (*.f64 d1 -20) (*.f64 d1 (-.f64 d2 -50)))
(+.f64 (/.f64 (*.f64 d1 -20) 2) (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -20) 2)))
(+.f64 (*.f64 d1 (+.f64 d2 50)) (+.f64 (/.f64 (*.f64 d1 -20) 2) (/.f64 (*.f64 d1 -20) 2)))
(+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -40) 2))
(+.f64 (/.f64 (*.f64 d1 -20) 2) (-.f64 (/.f64 (*.f64 d1 -20) 2) (neg.f64 (*.f64 d1 (+.f64 d2 50)))))
(+.f64 (/.f64 (*.f64 d1 -20) 2) (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -20) 2)))
(+.f64 (*.f64 d1 (+.f64 d2 50)) (+.f64 (/.f64 (*.f64 d1 -20) 2) (/.f64 (*.f64 d1 -20) 2)))
(+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -40) 2))
(+.f64 (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -20) 2)) (/.f64 (*.f64 d1 -20) 2))
(+.f64 (/.f64 (*.f64 d1 -20) 2) (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -20) 2)))
(+.f64 (*.f64 d1 (+.f64 d2 50)) (+.f64 (/.f64 (*.f64 d1 -20) 2) (/.f64 (*.f64 d1 -20) 2)))
(+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -40) 2))
(+.f64 (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -20) 2)) (-.f64 (*.f64 d1 (+.f64 d2 50)) (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 40) 4))))
(+.f64 (/.f64 (*.f64 d1 -20) 2) (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -20) 2)))
(+.f64 (*.f64 d1 (+.f64 d2 50)) (+.f64 (/.f64 (*.f64 d1 -20) 2) (/.f64 (*.f64 d1 -20) 2)))
(+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -40) 2))
(+.f64 (neg.f64 (neg.f64 (*.f64 d1 (+.f64 d2 50)))) (*.f64 d1 -20))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (/.f64 (*.f64 d1 (-.f64 d2 -30)) 4) (+.f64 (/.f64 (*.f64 d1 (-.f64 d2 -30)) 4) (/.f64 (*.f64 d1 (-.f64 -30 d2)) -2)))
(+.f64 (/.f64 (*.f64 d1 (-.f64 -30 d2)) -2) (+.f64 (/.f64 (*.f64 d1 (-.f64 d2 -30)) 4) (/.f64 (*.f64 d1 (-.f64 d2 -30)) 4)))
(+.f64 (/.f64 (*.f64 d1 (-.f64 -30 d2)) -2) (/.f64 (*.f64 (-.f64 d2 -30) (+.f64 d1 d1)) 4))
(+.f64 (/.f64 (*.f64 d1 (-.f64 -30 d2)) -2) (/.f64 (*.f64 d1 (-.f64 d2 -30)) 2))
(+.f64 (/.f64 (*.f64 d1 (-.f64 d2 -30)) 4) (/.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 3) 4))
(*.f64 d1 (-.f64 d2 -30))
(+.f64 (/.f64 (*.f64 d1 (-.f64 d2 -30)) 4) (/.f64 (/.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 3) 2) 2))
(*.f64 d1 (-.f64 d2 -30))
(+.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2)))
(+.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2))
(/.f64 (+.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 (-.f64 (+.f64 d2 50) 40))) 2)
(/.f64 (+.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) (*.f64 d1 (+.f64 d2 50))) 2)
(+.f64 (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)))
(+.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2))
(/.f64 (+.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 (-.f64 (+.f64 d2 50) 40))) 2)
(/.f64 (+.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) (*.f64 d1 (+.f64 d2 50))) 2)
(+.f64 (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) -2)))
(+.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2))
(/.f64 (+.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 (-.f64 (+.f64 d2 50) 40))) 2)
(/.f64 (+.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) (*.f64 d1 (+.f64 d2 50))) 2)
(+.f64 (-.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (*.f64 d1 (+.f64 d2 70))) (-.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (neg.f64 (*.f64 d1 (+.f64 d2 50)))))
(+.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) (neg.f64 (*.f64 d1 (+.f64 d2 70))))
(+.f64 (neg.f64 (*.f64 d1 (+.f64 d2 70))) (*.f64 (+.f64 d2 50) (+.f64 d1 d1)))
(-.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) (*.f64 d1 (+.f64 d2 70)))
(*.f64 d1 (+.f64 (-.f64 (+.f64 d2 100) 70) 0))
(+.f64 (-.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2))) (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2))
(+.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (/.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) 2))
(/.f64 (+.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 (-.f64 (+.f64 d2 50) 40))) 2)
(/.f64 (+.f64 (*.f64 d1 (-.f64 (+.f64 d2 50) 40)) (*.f64 d1 (+.f64 d2 50))) 2)
(+.f64 (-.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) (/.f64 (*.f64 d1 40) 4)) (neg.f64 (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 40) 4))))
(+.f64 (/.f64 (*.f64 d1 -20) 2) (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -20) 2)))
(+.f64 (*.f64 d1 (+.f64 d2 50)) (+.f64 (/.f64 (*.f64 d1 -20) 2) (/.f64 (*.f64 d1 -20) 2)))
(+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -40) 2))
(+.f64 (-.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2))) (neg.f64 (+.f64 (*.f64 d1 20) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)))))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (-.f64 (*.f64 d1 (+.f64 d2 70)) (/.f64 (*.f64 d1 40) 4)) (neg.f64 (/.f64 (*.f64 d1 60) 2)))
(-.f64 (*.f64 d1 (+.f64 d2 70)) (+.f64 (/.f64 (*.f64 d1 40) 4) (/.f64 (*.f64 d1 60) 2)))
(-.f64 (*.f64 d1 (+.f64 d2 70)) (/.f64 (+.f64 (*.f64 d1 40) (*.f64 d1 120)) 4))
(-.f64 (*.f64 d1 (+.f64 d2 70)) (/.f64 (*.f64 d1 160) 4))
(+.f64 (/.f64 (*.f64 d1 (+.f64 (+.f64 d2 50) (-.f64 d2 -30))) 4) (/.f64 (+.f64 (*.f64 d1 -20) (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2)) 4))
(/.f64 (+.f64 (*.f64 d1 (+.f64 (+.f64 d2 50) (-.f64 d2 -30))) (+.f64 (*.f64 d1 -20) (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2))) 4)
(/.f64 (+.f64 (*.f64 d1 -20) (+.f64 (*.f64 d1 (*.f64 (-.f64 -30 d2) -2)) (*.f64 d1 (+.f64 50 (+.f64 d2 (-.f64 d2 -30)))))) 4)
(/.f64 (+.f64 (*.f64 d1 (*.f64 (-.f64 -30 d2) -2)) (*.f64 d1 (+.f64 -20 (+.f64 (+.f64 d2 50) (-.f64 d2 -30))))) 4)
(+.f64 (-.f64 -1 (*.f64 d1 20)) (-.f64 1 (neg.f64 (*.f64 d1 (+.f64 d2 50)))))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (-.f64 -1 (neg.f64 (*.f64 d1 (+.f64 d2 50)))) (-.f64 1 (*.f64 d1 20)))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (-.f64 d2 -30))
(*.f64 d1 (-.f64 (+.f64 d2 (+.f64 d2 100)) (+.f64 d2 70)))
(+.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) (neg.f64 (*.f64 d1 (+.f64 d2 70))))
(+.f64 (neg.f64 (*.f64 d1 (+.f64 d2 70))) (*.f64 (+.f64 d2 50) (+.f64 d1 d1)))
(-.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) (*.f64 d1 (+.f64 d2 70)))
(*.f64 d1 (+.f64 (-.f64 (+.f64 d2 100) 70) 0))
(*.f64 (*.f64 d1 (-.f64 d2 -30)) 1)
(*.f64 d1 (-.f64 d2 -30))
(*.f64 1 (*.f64 d1 (-.f64 d2 -30)))
(*.f64 d1 (-.f64 d2 -30))
(*.f64 (*.f64 d1 (-.f64 -30 d2)) -1)
(neg.f64 (*.f64 d1 (-.f64 -30 d2)))
(*.f64 (-.f64 -30 d2) (neg.f64 d1))
(*.f64 d1 (neg.f64 (-.f64 -30 d2)))
(*.f64 (-.f64 d2 -30) d1)
(*.f64 d1 (-.f64 d2 -30))
(*.f64 2 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 1/2))
(*.f64 d1 (-.f64 d2 -30))
(*.f64 2 (*.f64 (-.f64 d2 -30) (*.f64 d1 1/2)))
(*.f64 d1 (-.f64 d2 -30))
(*.f64 (+.f64 d1 d1) (-.f64 (/.f64 d2 2) -15))
(*.f64 (+.f64 d1 d1) (*.f64 (-.f64 d2 -30) 1/2))
(*.f64 d1 (-.f64 d2 -30))
(*.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 1/2)
(neg.f64 (*.f64 d1 (-.f64 -30 d2)))
(*.f64 (-.f64 -30 d2) (neg.f64 d1))
(*.f64 d1 (neg.f64 (-.f64 -30 d2)))
(*.f64 -1 (*.f64 d1 (-.f64 -30 d2)))
(neg.f64 (*.f64 d1 (-.f64 -30 d2)))
(*.f64 (-.f64 -30 d2) (neg.f64 d1))
(*.f64 d1 (neg.f64 (-.f64 -30 d2)))
(*.f64 1/2 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2))
(neg.f64 (*.f64 d1 (-.f64 -30 d2)))
(*.f64 (-.f64 -30 d2) (neg.f64 d1))
(*.f64 d1 (neg.f64 (-.f64 -30 d2)))
(*.f64 (*.f64 d1 1/2) (*.f64 (-.f64 d2 -30) 2))
(*.f64 d1 (-.f64 d2 -30))
(*.f64 (*.f64 d1 4) (-.f64 (/.f64 d2 4) -15/2))
(*.f64 4 (*.f64 d1 (-.f64 (/.f64 d2 4) -15/2)))
(*.f64 d1 (*.f64 4 (-.f64 (/.f64 d2 4) -15/2)))
(*.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 4) 1/4)
(*.f64 d1 (-.f64 d2 -30))
(*.f64 1/4 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 4))
(*.f64 d1 (-.f64 d2 -30))
(*.f64 (-.f64 (/.f64 d2 2) -15) (+.f64 d1 d1))
(*.f64 (+.f64 d1 d1) (-.f64 (/.f64 d2 2) -15))
(*.f64 (-.f64 (/.f64 d2 4) -15/2) (*.f64 d1 4))
(*.f64 (*.f64 d1 4) (-.f64 (/.f64 d2 4) -15/2))
(*.f64 4 (*.f64 d1 (-.f64 (/.f64 d2 4) -15/2)))
(*.f64 d1 (*.f64 4 (-.f64 (/.f64 d2 4) -15/2)))
(*.f64 (*.f64 (-.f64 d2 -30) 2) (*.f64 d1 1/2))
(*.f64 d1 (-.f64 d2 -30))
(*.f64 (*.f64 2 (*.f64 d1 4)) (/.f64 (-.f64 d2 -30) 8))
(*.f64 d1 (-.f64 d2 -30))
(*.f64 (*.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 4) 1/8)
(neg.f64 (*.f64 d1 (-.f64 -30 d2)))
(*.f64 (-.f64 -30 d2) (neg.f64 d1))
(*.f64 d1 (neg.f64 (-.f64 -30 d2)))
(*.f64 (*.f64 (-.f64 d2 -30) 1/2) (+.f64 d1 d1))
(*.f64 d1 (-.f64 d2 -30))
(*.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 1/2) 2)
(*.f64 d1 (-.f64 d2 -30))
(*.f64 1/8 (*.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 4))
(neg.f64 (*.f64 d1 (-.f64 -30 d2)))
(*.f64 (-.f64 -30 d2) (neg.f64 d1))
(*.f64 d1 (neg.f64 (-.f64 -30 d2)))
(*.f64 (/.f64 (-.f64 d2 -30) 8) (*.f64 2 (*.f64 d1 4)))
(*.f64 d1 (-.f64 d2 -30))
(*.f64 (-.f64 (+.f64 d2 (+.f64 d2 100)) (+.f64 d2 70)) d1)
(+.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) (neg.f64 (*.f64 d1 (+.f64 d2 70))))
(+.f64 (neg.f64 (*.f64 d1 (+.f64 d2 70))) (*.f64 (+.f64 d2 50) (+.f64 d1 d1)))
(-.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) (*.f64 d1 (+.f64 d2 70)))
(*.f64 d1 (+.f64 (-.f64 (+.f64 d2 100) 70) 0))
(*.f64 (*.f64 (-.f64 d2 -30) (*.f64 d1 1/2)) 2)
(*.f64 d1 (-.f64 d2 -30))
(/.f64 (*.f64 d1 (-.f64 d2 -30)) 1)
(*.f64 d1 (-.f64 d2 -30))
(/.f64 (*.f64 d1 (-.f64 -30 d2)) -1)
(neg.f64 (*.f64 d1 (-.f64 -30 d2)))
(*.f64 (-.f64 -30 d2) (neg.f64 d1))
(*.f64 d1 (neg.f64 (-.f64 -30 d2)))
(/.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 2)
(/.f64 (*.f64 d1 (*.f64 (-.f64 -30 d2) -2)) 2)
(/.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 4) 4)
(*.f64 d1 (-.f64 d2 -30))
(/.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) 2) -2)
(neg.f64 (*.f64 d1 (-.f64 -30 d2)))
(*.f64 (-.f64 -30 d2) (neg.f64 d1))
(*.f64 d1 (neg.f64 (-.f64 -30 d2)))
(/.f64 (*.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 4) 8)
(/.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 2)
(/.f64 (*.f64 d1 (*.f64 (-.f64 -30 d2) -2)) 2)
(/.f64 (neg.f64 (*.f64 (*.f64 d1 (-.f64 d2 -30)) 4)) -4)
(*.f64 d1 (-.f64 d2 -30))
(/.f64 (+.f64 (neg.f64 (*.f64 d1 80)) (*.f64 (+.f64 d2 50) (*.f64 d1 4))) 4)
(+.f64 (/.f64 (*.f64 d1 -20) 2) (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -20) 2)))
(+.f64 (*.f64 d1 (+.f64 d2 50)) (+.f64 (/.f64 (*.f64 d1 -20) 2) (/.f64 (*.f64 d1 -20) 2)))
(+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -40) 2))
(/.f64 (+.f64 (*.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 4) (*.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 4)) 16)
(/.f64 (*.f64 (*.f64 d1 (-.f64 -30 d2)) -2) 2)
(/.f64 (*.f64 d1 (*.f64 (-.f64 -30 d2) -2)) 2)
(/.f64 (-.f64 (*.f64 (+.f64 d2 50) (*.f64 2 (*.f64 d1 4))) (*.f64 2 (*.f64 d1 80))) 8)
(+.f64 (/.f64 (*.f64 d1 -20) 2) (+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -20) 2)))
(+.f64 (*.f64 d1 (+.f64 d2 50)) (+.f64 (/.f64 (*.f64 d1 -20) 2) (/.f64 (*.f64 d1 -20) 2)))
(+.f64 (*.f64 d1 (+.f64 d2 50)) (/.f64 (*.f64 d1 -40) 2))
(/.f64 (-.f64 (*.f64 (+.f64 d2 50) (*.f64 2 (*.f64 d1 4))) (*.f64 2 (*.f64 (+.f64 d1 d1) (+.f64 d2 70)))) 4)
(/.f64 (-.f64 (*.f64 (+.f64 d2 50) (*.f64 2 (*.f64 d1 4))) (*.f64 (+.f64 d2 70) (*.f64 (+.f64 d1 d1) 2))) 4)
(/.f64 (-.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 8)) (*.f64 (+.f64 d1 d1) (*.f64 (+.f64 d2 70) 2))) 4)
(-.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) (/.f64 (*.f64 (+.f64 d1 d1) (*.f64 (+.f64 d2 70) 2)) 4))
(-.f64 (*.f64 d1 (*.f64 (+.f64 d2 50) 2)) (/.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 70)) 2))
(/.f64 (-.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 70)) (*.f64 d1 80)) 2)
(/.f64 (*.f64 (+.f64 d1 d1) (-.f64 (+.f64 d2 70) 40)) 2)
(/.f64 (-.f64 (*.f64 2 (*.f64 (+.f64 d1 d1) (+.f64 d2 70))) (*.f64 2 (*.f64 d1 80))) 4)
(/.f64 (-.f64 (*.f64 (+.f64 d1 d1) (+.f64 d2 70)) (*.f64 d1 80)) 2)
(/.f64 (*.f64 (+.f64 d1 d1) (-.f64 (+.f64 d2 70) 40)) 2)
(pow.f64 (*.f64 d1 (-.f64 d2 -30)) 1)
(*.f64 d1 (-.f64 d2 -30))
(neg.f64 (*.f64 d1 (-.f64 -30 d2)))
(*.f64 (-.f64 -30 d2) (neg.f64 d1))
(*.f64 d1 (neg.f64 (-.f64 -30 d2)))
(+.f64 (*.f64 d1 (+.f64 d2 50)) 0)
(*.f64 d1 (+.f64 d2 50))
(+.f64 0 (*.f64 d1 (+.f64 d2 50)))
(*.f64 d1 (+.f64 d2 50))
(+.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)))
(*.f64 d1 (+.f64 d2 50))
(+.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2))))
(*.f64 d1 (+.f64 d2 50))
(+.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (/.f64 (/.f64 (*.f64 d1 (*.f64 (+.f64 d2 50) 3)) 2) 2))
(*.f64 d1 (+.f64 d2 50))
(+.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (/.f64 (*.f64 d1 (*.f64 (+.f64 d2 50) 3)) 4))
(*.f64 d1 (+.f64 d2 50))
(-.f64 (*.f64 d1 (+.f64 d2 50)) 0)
(*.f64 d1 (+.f64 d2 50))
(-.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 1/2)) (/.f64 (*.f64 d1 (+.f64 d2 50)) -2))
(*.f64 d1 (+.f64 d2 50))
(-.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4) (*.f64 (+.f64 d2 50) (*.f64 d1 1/2))) (neg.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) 4)))
(*.f64 d1 (+.f64 d2 50))
(-.f64 (/.f64 (/.f64 (*.f64 d1 (*.f64 (+.f64 d2 50) 3)) 2) 2) (/.f64 (/.f64 (*.f64 d1 (+.f64 d2 50)) -2) 2))
(*.f64 d1 (+.f64 d2 50))
(-.f64 (/.f64 (*.f64 d1 (*.f64 (+.f64 d2 50) 3)) 4) (/.f64 (neg.f64 (*.f64 d1 (+.f64 d2 50))) 4))
(*.f64 d1 (+.f64 d2 50))
(/.f64 (*.f64 d1 (+.f64 d2 50)) 1)
(*.f64 d1 (+.f64 d2 50))
(/.f64 (*.f64 (+.f64 d2 50) (+.f64 d1 d1)) 2)
(*.f64 d1 (+.f64 d2 50))
(/.f64 (*.f64 (+.f64 d2 50) (*.f64 d1 4)) 4)
(*.f64 d1 (+.f64 d2 50))
(/.f64 (*.f64 (*.f64 d1 4) (*.f64 (+.f64 d2 50) 4)) 16)
(*.f64 d1 (+.f64 d2 50))
(/.f64 (*.f64 (+.f64 d2 50) (*.f64 2 (*.f64 d1 4))) 8)
(*.f64 d1 (+.f64 d2 50))
(/.f64 (+.f64 (*.f64 (+.f64 d2 50) (*.f64 2 (*.f64 d1 4))) (*.f64 (+.f64 d2 50) (*.f64 2 (*.f64 d1 4)))) 16)
(*.f64 d1 (+.f64 d2 50))
(/.f64 (+.f64 (*.f64 (*.f64 d1 4) (*.f64 (+.f64 d2 50) 4)) (*.f64 (*.f64 d1 4) (*.f64 (+.f64 d2 50) 4))) 32)
(*.f64 d1 (+.f64 d2 50))
(/.f64 (*.f64 (*.f64 2 (*.f64 d1 4)) (*.f64 2 (*.f64 (+.f64 d2 50) 4))) 64)
(*.f64 d1 (+.f64 d2 50))
(pow.f64 (*.f64 d1 (+.f64 d2 50)) 1)
(*.f64 d1 (+.f64 d2 50))

eval443.0ms (2.9%)

Compiler

Compiled 2018 to 1474 computations (27% saved)

prune100.0ms (0.6%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New1511152
Fresh000
Picked101
Done044
Total1525157
Error
0b
Counts
157 → 5
Alt Table
Click to see full alt table
StatusErrorProgram
29.0b
(-.f64 (*.f64 d1 50) (*.f64 d1 20))
0.2b
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
33.4b
(*.f64 d2 d1)
0.0b
(*.f64 d1 (+.f64 d2 30))
28.8b
(*.f64 d1 30)
Compiler

Compiled 37 to 27 computations (27% saved)

localize316.0ms (2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.5b
(-.f64 (*.f64 d1 50) (*.f64 d1 20))
Compiler

Compiled 18 to 13 computations (27.8% saved)

series1.0ms (0%)

Counts
1 → 12
Calls

3 calls:

TimeVariablePointExpression
0.0ms
d1
@0
(-.f64 (*.f64 d1 50) (*.f64 d1 20))
0.0ms
d1
@-inf
(-.f64 (*.f64 d1 50) (*.f64 d1 20))
0.0ms
d1
@inf
(-.f64 (*.f64 d1 50) (*.f64 d1 20))

rewrite563.0ms (3.6%)

Algorithm
batch-egg-rewrite
Rules
1932×rational_best-2
1932×rational_best-1
588×rational_best-simplify-83
522×rational_best-simplify-47
458×rational_best-simplify-57
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0819
1527
2977
32587
49247
564747
Stop Event
node limit
Counts
1 → 75
Calls
Call 1
Inputs
(-.f64 (*.f64 d1 50) (*.f64 d1 20))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 50) (*.f64 d1 -20))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 20) (*.f64 d1 10))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 20) (neg.f64 (*.f64 d1 -10)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 30) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 d1 30))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 -20) (*.f64 d1 50))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 -20) (neg.f64 (*.f64 d1 -50)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 60) (*.f64 d1 -30))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 100) (neg.f64 (*.f64 d1 70)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 40) (*.f64 d1 -10))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 40) (-.f64 (*.f64 d1 50) (*.f64 d1 60)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 80) (*.f64 d1 -50))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 -50) (*.f64 d1 80))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 -30) -2) (/.f64 (*.f64 d1 -30) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 200) 8) (/.f64 (*.f64 d1 40) 8))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 10) (*.f64 d1 20))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 70) (neg.f64 (*.f64 d1 40)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 30 (*.f64 d1 3)) 2) (/.f64 (*.f64 d1 -30) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 -10) (*.f64 d1 40))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 -10) (/.f64 (neg.f64 (*.f64 d1 40)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (*.f64 d1 -50)) (*.f64 d1 -20))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 50) 4) (+.f64 (/.f64 (*.f64 d1 50) 4) (/.f64 (*.f64 d1 40) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 60) 8) (+.f64 (/.f64 (*.f64 d1 60) 8) (/.f64 (*.f64 d1 -30) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 60) 8) (/.f64 (/.f64 (*.f64 30 (*.f64 d1 3)) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 60) 8) (/.f64 (*.f64 30 (*.f64 d1 3)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 40) 8) (/.f64 (*.f64 d1 200) 8))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 40) 8) (neg.f64 (/.f64 (*.f64 d1 -50) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 d1 40) 8) (-.f64 (/.f64 (*.f64 d1 40) 8) (*.f64 d1 -20)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 d1 50) (/.f64 (*.f64 d1 200) 8)) (/.f64 (*.f64 d1 40) 8))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (*.f64 d1 200) 8) (*.f64 d1 70)) (-.f64 (/.f64 (*.f64 d1 200) 8) (*.f64 d1 -50)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 d1 100) (/.f64 (*.f64 d1 200) 8)) (neg.f64 (/.f64 (*.f64 30 (*.f64 d1 3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 d1 100) (*.f64 d1 10)) (*.f64 d1 -60))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (neg.f64 (*.f64 d1 40)) -1) (*.f64 d1 -10))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (/.f64 (*.f64 d1 -10) 2) -1) (/.f64 (/.f64 (*.f64 d1 -50) 2) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (*.f64 d1 40) 8) (*.f64 d1 -20)) (/.f64 (*.f64 d1 40) 8))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (*.f64 d1 40) 8) (*.f64 d1 -10)) (-.f64 (/.f64 (*.f64 d1 40) 8) (*.f64 d1 -10)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (*.f64 d1 20)) (-.f64 1 (*.f64 d1 -50)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (*.f64 d1 -50)) (-.f64 1 (*.f64 d1 20)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 30)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 30) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 d1 30))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 -30) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 30 d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 d1 30) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d1 d1) 15)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 60) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 d1 -30))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 d1 60))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 4) 15/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 30) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (*.f64 d1 30) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (*.f64 d1 4) 30))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 15 (+.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 15/2 (*.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 60 (*.f64 d1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 d1 4)) 15/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 60) 4) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 3 (*.f64 d1 10))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 30) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 -30) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 60) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 30) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 -60) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 d1 60) 4) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 d1 -60)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 2 (*.f64 d1 -60)) -1) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (*.f64 d1 60) 4) (*.f64 (*.f64 d1 60) 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 d1 -80) (*.f64 d1 200)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 d1 80) (*.f64 2 (*.f64 d1 80))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 2 (*.f64 d1 200)) (*.f64 2 (*.f64 d1 80))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 2 (*.f64 d1 200)) (*.f64 2 (*.f64 d1 140))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 d1 140) (*.f64 d1 80)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 2 (*.f64 d1 140)) (*.f64 2 (*.f64 d1 80))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 30) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 d1 -30))))))

simplify364.0ms (2.3%)

Algorithm
egg-herbie
Rules
1066×rational_best-simplify-97
1010×rational_best-simplify-62
996×rational_best-simplify-98
972×rational_best-simplify-55
894×rational_best-simplify-3
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0184771
1420765
2953765
33886741
Stop Event
node limit
Counts
87 → 83
Calls
Call 1
Inputs
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(+.f64 (*.f64 d1 50) (*.f64 d1 -20))
(+.f64 (*.f64 d1 20) (*.f64 d1 10))
(+.f64 (*.f64 d1 20) (neg.f64 (*.f64 d1 -10)))
(+.f64 (*.f64 d1 30) 0)
(+.f64 0 (*.f64 d1 30))
(+.f64 (*.f64 d1 -20) (*.f64 d1 50))
(+.f64 (*.f64 d1 -20) (neg.f64 (*.f64 d1 -50)))
(+.f64 (*.f64 d1 60) (*.f64 d1 -30))
(+.f64 (*.f64 d1 100) (neg.f64 (*.f64 d1 70)))
(+.f64 (*.f64 d1 40) (*.f64 d1 -10))
(+.f64 (*.f64 d1 40) (-.f64 (*.f64 d1 50) (*.f64 d1 60)))
(+.f64 (*.f64 d1 80) (*.f64 d1 -50))
(+.f64 (*.f64 d1 -50) (*.f64 d1 80))
(+.f64 (/.f64 (*.f64 d1 -30) -2) (/.f64 (*.f64 d1 -30) -2))
(+.f64 (/.f64 (*.f64 d1 200) 8) (/.f64 (*.f64 d1 40) 8))
(+.f64 (*.f64 d1 10) (*.f64 d1 20))
(+.f64 (*.f64 d1 70) (neg.f64 (*.f64 d1 40)))
(+.f64 (/.f64 (*.f64 30 (*.f64 d1 3)) 2) (/.f64 (*.f64 d1 -30) 2))
(+.f64 (*.f64 d1 -10) (*.f64 d1 40))
(+.f64 (*.f64 d1 -10) (/.f64 (neg.f64 (*.f64 d1 40)) -1))
(+.f64 (neg.f64 (*.f64 d1 -50)) (*.f64 d1 -20))
(+.f64 (/.f64 (*.f64 d1 50) 4) (+.f64 (/.f64 (*.f64 d1 50) 4) (/.f64 (*.f64 d1 40) 8)))
(+.f64 (/.f64 (*.f64 d1 60) 8) (+.f64 (/.f64 (*.f64 d1 60) 8) (/.f64 (*.f64 d1 -30) -2)))
(+.f64 (/.f64 (*.f64 d1 60) 8) (/.f64 (/.f64 (*.f64 30 (*.f64 d1 3)) 2) 2))
(+.f64 (/.f64 (*.f64 d1 60) 8) (/.f64 (*.f64 30 (*.f64 d1 3)) 4))
(+.f64 (/.f64 (*.f64 d1 40) 8) (/.f64 (*.f64 d1 200) 8))
(+.f64 (/.f64 (*.f64 d1 40) 8) (neg.f64 (/.f64 (*.f64 d1 -50) 2)))
(+.f64 (/.f64 (*.f64 d1 40) 8) (-.f64 (/.f64 (*.f64 d1 40) 8) (*.f64 d1 -20)))
(+.f64 (-.f64 (*.f64 d1 50) (/.f64 (*.f64 d1 200) 8)) (/.f64 (*.f64 d1 40) 8))
(+.f64 (-.f64 (/.f64 (*.f64 d1 200) 8) (*.f64 d1 70)) (-.f64 (/.f64 (*.f64 d1 200) 8) (*.f64 d1 -50)))
(+.f64 (-.f64 (*.f64 d1 100) (/.f64 (*.f64 d1 200) 8)) (neg.f64 (/.f64 (*.f64 30 (*.f64 d1 3)) 2)))
(+.f64 (-.f64 (*.f64 d1 100) (*.f64 d1 10)) (*.f64 d1 -60))
(+.f64 (/.f64 (neg.f64 (*.f64 d1 40)) -1) (*.f64 d1 -10))
(+.f64 (/.f64 (/.f64 (*.f64 d1 -10) 2) -1) (/.f64 (/.f64 (*.f64 d1 -50) 2) -1))
(+.f64 (-.f64 (/.f64 (*.f64 d1 40) 8) (*.f64 d1 -20)) (/.f64 (*.f64 d1 40) 8))
(+.f64 (-.f64 (/.f64 (*.f64 d1 40) 8) (*.f64 d1 -10)) (-.f64 (/.f64 (*.f64 d1 40) 8) (*.f64 d1 -10)))
(+.f64 (-.f64 -1 (*.f64 d1 20)) (-.f64 1 (*.f64 d1 -50)))
(+.f64 (-.f64 -1 (*.f64 d1 -50)) (-.f64 1 (*.f64 d1 20)))
(*.f64 d1 30)
(*.f64 (*.f64 d1 30) 1)
(*.f64 1 (*.f64 d1 30))
(*.f64 (*.f64 d1 -30) -1)
(*.f64 30 d1)
(*.f64 2 (*.f64 (*.f64 d1 30) 1/2))
(*.f64 (+.f64 d1 d1) 15)
(*.f64 (*.f64 d1 60) 1/2)
(*.f64 -1 (*.f64 d1 -30))
(*.f64 1/2 (*.f64 d1 60))
(*.f64 (*.f64 d1 4) 15/2)
(*.f64 (*.f64 (*.f64 d1 30) 4) 1/4)
(*.f64 1/4 (*.f64 (*.f64 d1 30) 4))
(*.f64 1/4 (*.f64 (*.f64 d1 4) 30))
(*.f64 15 (+.f64 d1 d1))
(*.f64 15/2 (*.f64 d1 4))
(*.f64 60 (*.f64 d1 1/2))
(*.f64 (*.f64 2 (*.f64 d1 4)) 15/4)
(*.f64 (*.f64 (*.f64 d1 60) 4) 1/8)
(*.f64 3 (*.f64 d1 10))
(/.f64 (*.f64 d1 30) 1)
(/.f64 (*.f64 d1 -30) -1)
(/.f64 (*.f64 d1 60) 2)
(/.f64 (*.f64 (*.f64 d1 30) 4) 4)
(/.f64 (*.f64 d1 -60) -2)
(/.f64 (*.f64 (*.f64 d1 60) 4) 8)
(/.f64 (*.f64 2 (*.f64 d1 -60)) -4)
(/.f64 (/.f64 (*.f64 2 (*.f64 d1 -60)) -1) 4)
(/.f64 (+.f64 (*.f64 (*.f64 d1 60) 4) (*.f64 (*.f64 d1 60) 4)) 16)
(/.f64 (+.f64 (*.f64 d1 -80) (*.f64 d1 200)) 4)
(/.f64 (+.f64 (*.f64 d1 80) (*.f64 2 (*.f64 d1 80))) 8)
(/.f64 (-.f64 (*.f64 2 (*.f64 d1 200)) (*.f64 2 (*.f64 d1 80))) 8)
(/.f64 (-.f64 (*.f64 2 (*.f64 d1 200)) (*.f64 2 (*.f64 d1 140))) 4)
(/.f64 (-.f64 (*.f64 d1 140) (*.f64 d1 80)) 2)
(/.f64 (-.f64 (*.f64 2 (*.f64 d1 140)) (*.f64 2 (*.f64 d1 80))) 4)
(pow.f64 (*.f64 d1 30) 1)
(neg.f64 (*.f64 d1 -30))
Outputs
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 30 d1)
(+.f64 (*.f64 d1 50) (*.f64 d1 -20))
(*.f64 30 d1)
(+.f64 (*.f64 d1 20) (*.f64 d1 10))
(*.f64 30 d1)
(+.f64 (*.f64 d1 20) (neg.f64 (*.f64 d1 -10)))
(*.f64 30 d1)
(+.f64 (*.f64 d1 30) 0)
(*.f64 30 d1)
(+.f64 0 (*.f64 d1 30))
(*.f64 30 d1)
(+.f64 (*.f64 d1 -20) (*.f64 d1 50))
(*.f64 30 d1)
(+.f64 (*.f64 d1 -20) (neg.f64 (*.f64 d1 -50)))
(*.f64 30 d1)
(+.f64 (*.f64 d1 60) (*.f64 d1 -30))
(*.f64 30 d1)
(+.f64 (*.f64 d1 100) (neg.f64 (*.f64 d1 70)))
(*.f64 30 d1)
(+.f64 (*.f64 d1 40) (*.f64 d1 -10))
(*.f64 30 d1)
(+.f64 (*.f64 d1 40) (-.f64 (*.f64 d1 50) (*.f64 d1 60)))
(*.f64 30 d1)
(+.f64 (*.f64 d1 80) (*.f64 d1 -50))
(*.f64 30 d1)
(+.f64 (*.f64 d1 -50) (*.f64 d1 80))
(*.f64 30 d1)
(+.f64 (/.f64 (*.f64 d1 -30) -2) (/.f64 (*.f64 d1 -30) -2))
(*.f64 30 d1)
(+.f64 (/.f64 (*.f64 d1 200) 8) (/.f64 (*.f64 d1 40) 8))
(*.f64 30 d1)
(+.f64 (*.f64 d1 10) (*.f64 d1 20))
(*.f64 30 d1)
(+.f64 (*.f64 d1 70) (neg.f64 (*.f64 d1 40)))
(*.f64 30 d1)
(+.f64 (/.f64 (*.f64 30 (*.f64 d1 3)) 2) (/.f64 (*.f64 d1 -30) 2))
(*.f64 30 d1)
(+.f64 (*.f64 d1 -10) (*.f64 d1 40))
(*.f64 30 d1)
(+.f64 (*.f64 d1 -10) (/.f64 (neg.f64 (*.f64 d1 40)) -1))
(*.f64 30 d1)
(+.f64 (neg.f64 (*.f64 d1 -50)) (*.f64 d1 -20))
(*.f64 30 d1)
(+.f64 (/.f64 (*.f64 d1 50) 4) (+.f64 (/.f64 (*.f64 d1 50) 4) (/.f64 (*.f64 d1 40) 8)))
(*.f64 30 d1)
(+.f64 (/.f64 (*.f64 d1 60) 8) (+.f64 (/.f64 (*.f64 d1 60) 8) (/.f64 (*.f64 d1 -30) -2)))
(*.f64 30 d1)
(+.f64 (/.f64 (*.f64 d1 60) 8) (/.f64 (/.f64 (*.f64 30 (*.f64 d1 3)) 2) 2))
(*.f64 30 d1)
(+.f64 (/.f64 (*.f64 d1 60) 8) (/.f64 (*.f64 30 (*.f64 d1 3)) 4))
(*.f64 30 d1)
(+.f64 (/.f64 (*.f64 d1 40) 8) (/.f64 (*.f64 d1 200) 8))
(*.f64 30 d1)
(+.f64 (/.f64 (*.f64 d1 40) 8) (neg.f64 (/.f64 (*.f64 d1 -50) 2)))
(*.f64 30 d1)
(+.f64 (/.f64 (*.f64 d1 40) 8) (-.f64 (/.f64 (*.f64 d1 40) 8) (*.f64 d1 -20)))
(+.f64 (/.f64 (*.f64 d1 -40) -8) (-.f64 (/.f64 (*.f64 d1 -40) -8) (*.f64 d1 -20)))
(+.f64 (*.f64 (*.f64 d1 -40) -1/8) (+.f64 (*.f64 d1 10) (/.f64 (*.f64 d1 -30) -2)))
(+.f64 (-.f64 (*.f64 d1 50) (/.f64 (*.f64 d1 200) 8)) (/.f64 (*.f64 d1 40) 8))
(*.f64 30 d1)
(+.f64 (-.f64 (/.f64 (*.f64 d1 200) 8) (*.f64 d1 70)) (-.f64 (/.f64 (*.f64 d1 200) 8) (*.f64 d1 -50)))
(+.f64 (-.f64 (*.f64 (*.f64 d1 -50) -1/2) (*.f64 d1 70)) (-.f64 (*.f64 (*.f64 d1 -50) -1/2) (*.f64 d1 -50)))
(+.f64 (-.f64 (*.f64 (*.f64 d1 -50) -1/2) (*.f64 d1 70)) (*.f64 (*.f64 d1 -100) -3/4))
(+.f64 (-.f64 (*.f64 d1 100) (/.f64 (*.f64 d1 200) 8)) (neg.f64 (/.f64 (*.f64 30 (*.f64 d1 3)) 2)))
(-.f64 (*.f64 d1 100) (+.f64 (/.f64 (*.f64 d1 200) 8) (/.f64 (*.f64 30 (*.f64 d1 3)) 2)))
(+.f64 (-.f64 (*.f64 d1 100) (/.f64 (*.f64 d1 200) 8)) (/.f64 (*.f64 d1 90) -2))
(+.f64 (-.f64 (*.f64 d1 100) (*.f64 (*.f64 d1 -50) -1/2)) (*.f64 (*.f64 d1 90) -1/2))
(+.f64 (*.f64 (*.f64 d1 90) -1/2) (*.f64 (*.f64 d1 -100) -3/4))
(+.f64 (-.f64 (*.f64 d1 100) (*.f64 d1 10)) (*.f64 d1 -60))
(*.f64 30 d1)
(+.f64 (/.f64 (neg.f64 (*.f64 d1 40)) -1) (*.f64 d1 -10))
(*.f64 30 d1)
(+.f64 (/.f64 (/.f64 (*.f64 d1 -10) 2) -1) (/.f64 (/.f64 (*.f64 d1 -50) 2) -1))
(*.f64 30 d1)
(+.f64 (-.f64 (/.f64 (*.f64 d1 40) 8) (*.f64 d1 -20)) (/.f64 (*.f64 d1 40) 8))
(+.f64 (/.f64 (*.f64 d1 40) 8) (-.f64 (/.f64 (*.f64 d1 40) 8) (*.f64 d1 -20)))
(+.f64 (/.f64 (*.f64 d1 -40) -8) (-.f64 (/.f64 (*.f64 d1 -40) -8) (*.f64 d1 -20)))
(+.f64 (*.f64 (*.f64 d1 -40) -1/8) (+.f64 (*.f64 d1 10) (/.f64 (*.f64 d1 -30) -2)))
(+.f64 (-.f64 (/.f64 (*.f64 d1 40) 8) (*.f64 d1 -10)) (-.f64 (/.f64 (*.f64 d1 40) 8) (*.f64 d1 -10)))
(*.f64 30 d1)
(+.f64 (-.f64 -1 (*.f64 d1 20)) (-.f64 1 (*.f64 d1 -50)))
(*.f64 30 d1)
(+.f64 (-.f64 -1 (*.f64 d1 -50)) (-.f64 1 (*.f64 d1 20)))
(*.f64 30 d1)
(*.f64 d1 30)
(*.f64 30 d1)
(*.f64 (*.f64 d1 30) 1)
(*.f64 30 d1)
(*.f64 1 (*.f64 d1 30))
(*.f64 30 d1)
(*.f64 (*.f64 d1 -30) -1)
(*.f64 30 d1)
(*.f64 30 d1)
(*.f64 2 (*.f64 (*.f64 d1 30) 1/2))
(*.f64 30 d1)
(*.f64 (+.f64 d1 d1) 15)
(*.f64 30 d1)
(*.f64 (*.f64 d1 60) 1/2)
(*.f64 30 d1)
(*.f64 -1 (*.f64 d1 -30))
(*.f64 30 d1)
(*.f64 1/2 (*.f64 d1 60))
(*.f64 30 d1)
(*.f64 (*.f64 d1 4) 15/2)
(*.f64 30 d1)
(*.f64 (*.f64 (*.f64 d1 30) 4) 1/4)
(*.f64 30 d1)
(*.f64 1/4 (*.f64 (*.f64 d1 30) 4))
(*.f64 30 d1)
(*.f64 1/4 (*.f64 (*.f64 d1 4) 30))
(*.f64 30 d1)
(*.f64 15 (+.f64 d1 d1))
(*.f64 30 d1)
(*.f64 15/2 (*.f64 d1 4))
(*.f64 30 d1)
(*.f64 60 (*.f64 d1 1/2))
(*.f64 30 d1)
(*.f64 (*.f64 2 (*.f64 d1 4)) 15/4)
(*.f64 30 d1)
(*.f64 (*.f64 (*.f64 d1 60) 4) 1/8)
(*.f64 30 d1)
(*.f64 3 (*.f64 d1 10))
(*.f64 30 d1)
(/.f64 (*.f64 d1 30) 1)
(*.f64 30 d1)
(/.f64 (*.f64 d1 -30) -1)
(*.f64 30 d1)
(/.f64 (*.f64 d1 60) 2)
(*.f64 30 d1)
(/.f64 (*.f64 (*.f64 d1 30) 4) 4)
(*.f64 30 d1)
(/.f64 (*.f64 d1 -60) -2)
(*.f64 30 d1)
(/.f64 (*.f64 (*.f64 d1 60) 4) 8)
(*.f64 30 d1)
(/.f64 (*.f64 2 (*.f64 d1 -60)) -4)
(*.f64 30 d1)
(/.f64 (/.f64 (*.f64 2 (*.f64 d1 -60)) -1) 4)
(*.f64 30 d1)
(/.f64 (+.f64 (*.f64 (*.f64 d1 60) 4) (*.f64 (*.f64 d1 60) 4)) 16)
(*.f64 30 d1)
(/.f64 (+.f64 (*.f64 d1 -80) (*.f64 d1 200)) 4)
(*.f64 30 d1)
(/.f64 (+.f64 (*.f64 d1 80) (*.f64 2 (*.f64 d1 80))) 8)
(*.f64 30 d1)
(/.f64 (-.f64 (*.f64 2 (*.f64 d1 200)) (*.f64 2 (*.f64 d1 80))) 8)
(*.f64 30 d1)
(/.f64 (-.f64 (*.f64 2 (*.f64 d1 200)) (*.f64 2 (*.f64 d1 140))) 4)
(*.f64 30 d1)
(/.f64 (-.f64 (*.f64 d1 140) (*.f64 d1 80)) 2)
(*.f64 30 d1)
(/.f64 (-.f64 (*.f64 2 (*.f64 d1 140)) (*.f64 2 (*.f64 d1 80))) 4)
(*.f64 30 d1)
(pow.f64 (*.f64 d1 30) 1)
(*.f64 30 d1)
(neg.f64 (*.f64 d1 -30))
(*.f64 30 d1)

eval72.0ms (0.5%)

Compiler

Compiled 785 to 628 computations (20% saved)

prune65.0ms (0.4%)

Pruning

5 alts after pruning (0 fresh and 5 done)

PrunedKeptTotal
New83083
Fresh000
Picked011
Done044
Total83588
Error
0b
Counts
88 → 5
Alt Table
Click to see full alt table
StatusErrorProgram
29.0b
(-.f64 (*.f64 d1 50) (*.f64 d1 20))
0.2b
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
33.4b
(*.f64 d2 d1)
0.0b
(*.f64 d1 (+.f64 d2 30))
28.8b
(*.f64 d1 30)
Compiler

Compiled 37 to 27 computations (27% saved)

regimes82.0ms (0.5%)

Counts
7 → 1
Calls
Call 1
Inputs
(*.f64 d1 30)
(*.f64 d2 d1)
(*.f64 d1 (+.f64 d2 30))
(-.f64 (*.f64 d1 50) (*.f64 d1 20))
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
(-.f64 (*.f64 d1 (+.f64 d2 50)) (*.f64 d1 20))
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
Outputs
(*.f64 d1 (+.f64 d2 30))
Calls

3 calls:

44.0ms
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
26.0ms
d1
10.0ms
d2
Results
ErrorSegmentsBranch
0.0b1d1
0.0b1d2
0.0b1(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
Compiler

Compiled 68 to 45 computations (33.8% saved)

regimes141.0ms (0.9%)

Accuracy

Total -60.4b remaining (-6791.1%)

Threshold costs -60.4b (-6791.1%)

Counts
2 → 3
Calls
Call 1
Inputs
(*.f64 d1 30)
(*.f64 d2 d1)
Outputs
(*.f64 d2 d1)
(*.f64 d1 30)
(*.f64 d2 d1)
Calls

2 calls:

104.0ms
d1
36.0ms
d2
Results
ErrorSegmentsBranch
19.3b7d1
0.9b3d2
Compiler

Compiled 14 to 9 computations (35.7% saved)

bsearch164.0ms (1.1%)

Algorithm
binary-search
Steps
TimeLeftRight
97.0ms
3.0151802246636233e-9
1431227216023.5276
67.0ms
-7536.524032210745
-2.9041808164002067e-8
Results
155.0ms336×body256valid
Compiler

Compiled 270 to 202 computations (25.2% saved)

simplify4.0ms (0%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01759
Stop Event
done
saturated
Calls
Call 1
Inputs
(*.f64 d1 (+.f64 d2 30))
(if (<=.f64 d2 -30) (*.f64 d2 d1) (if (<=.f64 d2 30) (*.f64 d1 30) (*.f64 d2 d1)))
(*.f64 d1 30)
Outputs
(*.f64 d1 (+.f64 d2 30))
(if (<=.f64 d2 -30) (*.f64 d2 d1) (if (<=.f64 d2 30) (*.f64 d1 30) (*.f64 d2 d1)))
(*.f64 d1 30)
Compiler

Compiled 31 to 20 computations (35.5% saved)

soundness896.0ms (5.8%)

Algorithm
egg-herbie
Rules
1718×rational_best-simplify-85
1140×rational_best-simplify-3
1078×rational_best-simplify-108
750×rational_best-simplify-49
712×rational_best-simplify-63
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01131
12125
23919
37719
417413
545613
6235413
7561113
8781813
Stop Event
node limit
Compiler

Compiled 96 to 57 computations (40.6% saved)

end129.0ms (0.8%)

Compiler

Compiled 27 to 16 computations (40.7% saved)

Profiling

Loading profile data...