Details

Time bar (total: 4.9s)

analyze7.0ms (0.1%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%23.7%76.3%0%0%0%0
0%0%23.7%76.3%0%0%0%1
50%11.9%11.9%76.3%0%0%0%2
75%17.8%5.9%76.3%0%0%0%3
87.5%20.8%3%76.3%0%0%0%4
93.8%22.2%1.5%76.3%0%0%0%5
96.9%23%0.7%76.3%0%0%0%6
98.4%23.3%0.4%76.3%0%0%0%7
98.4%23.3%0.4%76.3%0%0%0%8
98.8%23.4%0.3%76.3%0%0%0%9
99%23.5%0.2%76.3%0%0%0%10
99.1%23.5%0.2%76.3%0%0%0%11
99.2%23.5%0.2%76.3%0%0%0%12
Compiler

Compiled 19 to 14 computations (26.3% saved)

sample3.5s (71.1%)

Results
2.2s4354×body1024valid
592.0ms491×body2048valid
540.0ms2148×body512valid
175.0ms1263×body256valid
Bogosity

preprocess5.0ms (0.1%)

Algorithm
2×egg-herbie
Rules
4×rational_best-simplify-2
4×rational_best-simplify-1
2×rational_best-simplify-16
2×rational_best-simplify-19
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01245
11845
21945
011
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(-.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n))) 1)
Outputs
(-.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n))) 1)
(+.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n))) -1)
Compiler

Compiled 17 to 13 computations (23.5% saved)

simplify15.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
4×rational_best-simplify-2
4×rational_best-simplify-1
2×rational_best-simplify-16
2×rational_best-simplify-19
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01245
11845
21945
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(-.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n))) 1)
Outputs
(-.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n))) 1)
(+.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n))) -1)

eval1.0ms (0%)

Compiler

Compiled 31 to 21 computations (32.3% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
63.0b
Counts
3 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶63.0b
(-.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n))) 1)
Compiler

Compiled 16 to 12 computations (25% saved)

localize21.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 n (log.f64 n))
✓0.3b
(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
✓3.2b
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n)))
Compiler

Compiled 52 to 31 computations (40.4% saved)

series47.0ms (0.9%)

Counts
3 → 32
Calls

9 calls:

TimeVariablePointExpression
30.0ms
n
@0
(*.f64 n (log.f64 n))
9.0ms
n
@-inf
(*.f64 n (log.f64 n))
6.0ms
n
@inf
(*.f64 n (log.f64 n))
1.0ms
n
@-inf
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n)))
1.0ms
n
@0
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n)))

rewrite112.0ms (2.3%)

Algorithm
1×batch-egg-rewrite
Rules
1130×rational_best-simplify-57
650×rational_best-simplify-44
596×rational_best-5
594×rational_best-4
594×rational_best-2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01173
19273
230673
3129473
4565073
Stop Event
1×node limit
Counts
3 → 53
Calls
Call 1
Inputs
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n)))
(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
(*.f64 n (log.f64 n))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (neg.f64 (log.f64 (pow.f64 n n))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (-.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (log.f64 (pow.f64 n n))) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 n 1) (*.f64 (log.f64 (+.f64 n 1)) 2)) (-.f64 0 (+.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (*.f64 (neg.f64 (log.f64 (pow.f64 n n))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (neg.f64 (log.f64 (pow.f64 n n))) 2) (+.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 1 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))) (*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (*.f64 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))) (*.f64 (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (/.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 n 1) (*.f64 (log.f64 (+.f64 n 1)) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (+.f64 n 1) (+.f64 n 1)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 n n)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (pow.f64 n n)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (log.f64 (pow.f64 n n)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (log.f64 (pow.f64 n n))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (log.f64 (pow.f64 n n)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (log.f64 (pow.f64 n n)) (/.f64 (log.f64 (pow.f64 n n)) (log.f64 (pow.f64 n n))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (log.f64 (pow.f64 n n)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (log.f64 (pow.f64 n n))) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log.f64 (pow.f64 n n)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (log.f64 (pow.f64 n n))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 n n))))))

simplify131.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
1192×rational_best-simplify-48
1100×rational_best-simplify-2
1064×rational_best-simplify-52
1002×rational_best-simplify-51
962×rational_best-simplify-1
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01713231
13503047
26513011
316813011
449763011
Stop Event
1×node limit
Counts
85 → 150
Calls
Call 1
Inputs
(*.f64 n (-.f64 1 (log.f64 n)))
(+.f64 (*.f64 n (-.f64 1 (log.f64 n))) (*.f64 1/2 (pow.f64 n 2)))
(+.f64 (*.f64 n (-.f64 1 (log.f64 n))) (+.f64 (*.f64 -1/6 (pow.f64 n 3)) (*.f64 1/2 (pow.f64 n 2))))
(+.f64 (*.f64 n (-.f64 1 (log.f64 n))) (+.f64 (*.f64 -1/6 (pow.f64 n 3)) (+.f64 (*.f64 1/12 (pow.f64 n 4)) (*.f64 1/2 (pow.f64 n 2)))))
(+.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n))))
(+.f64 (*.f64 1/2 (/.f64 1 n)) (+.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))))
(-.f64 (+.f64 1 (+.f64 (*.f64 1/2 (/.f64 1 n)) (*.f64 -1 (log.f64 (/.f64 1 n))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 1 (+.f64 (*.f64 1/12 (/.f64 1 (pow.f64 n 3))) (+.f64 (*.f64 1/2 (/.f64 1 n)) (*.f64 -1 (log.f64 (/.f64 1 n)))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(+.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))
(+.f64 (*.f64 1/2 (/.f64 1 n)) (+.f64 1 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 n))))))
(-.f64 (+.f64 1 (+.f64 (log.f64 -1) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (*.f64 1/2 (/.f64 1 n))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 1 (+.f64 (*.f64 1/12 (/.f64 1 (pow.f64 n 3))) (+.f64 (log.f64 -1) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (*.f64 1/2 (/.f64 1 n)))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
n
(+.f64 n (*.f64 1/2 (pow.f64 n 2)))
(+.f64 (*.f64 -1/6 (pow.f64 n 3)) (+.f64 n (*.f64 1/2 (pow.f64 n 2))))
(+.f64 (*.f64 -1/6 (pow.f64 n 3)) (+.f64 n (+.f64 (*.f64 1/12 (pow.f64 n 4)) (*.f64 1/2 (pow.f64 n 2)))))
(*.f64 -1 (*.f64 n (log.f64 (/.f64 1 n))))
(+.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 n))) (*.f64 -1 (*.f64 n (log.f64 (/.f64 1 n))))))
(+.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 n))) (+.f64 (*.f64 1/2 (/.f64 1 n)) (*.f64 -1 (*.f64 n (log.f64 (/.f64 1 n)))))))
(-.f64 (+.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 n))) (+.f64 (*.f64 1/2 (/.f64 1 n)) (*.f64 -1 (*.f64 n (log.f64 (/.f64 1 n))))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(*.f64 n (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 n)))))
(+.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (+.f64 (log.f64 -1) (*.f64 n (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 n))))))))
(+.f64 1 (+.f64 (log.f64 -1) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (+.f64 (*.f64 n (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 n))))) (*.f64 1/2 (/.f64 1 n))))))
(-.f64 (+.f64 1 (+.f64 (log.f64 -1) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (+.f64 (*.f64 n (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 n))))) (*.f64 1/2 (/.f64 1 n)))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(*.f64 -1 (*.f64 n (log.f64 (/.f64 1 n))))
(*.f64 -1 (*.f64 n (log.f64 (/.f64 1 n))))
(*.f64 -1 (*.f64 n (log.f64 (/.f64 1 n))))
(*.f64 -1 (*.f64 n (log.f64 (/.f64 1 n))))
(*.f64 n (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))
(*.f64 n (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))
(*.f64 n (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))
(*.f64 n (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))
(+.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (neg.f64 (log.f64 (pow.f64 n n))))
(+.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (-.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))
(+.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) 0)
(+.f64 0 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))
(+.f64 (neg.f64 (log.f64 (pow.f64 n n))) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
(+.f64 (*.f64 (+.f64 n 1) (*.f64 (log.f64 (+.f64 n 1)) 2)) (-.f64 0 (+.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))))
(+.f64 (+.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (*.f64 (neg.f64 (log.f64 (pow.f64 n n))) 2))
(+.f64 (*.f64 (neg.f64 (log.f64 (pow.f64 n n))) 2) (+.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))
(*.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))
(*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) 1)
(*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))
(*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))))
(*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 1 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))))
(*.f64 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))
(*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) -1)
(*.f64 (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))
(*.f64 (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))))
(*.f64 (*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))
(*.f64 (/.f64 1 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))) (*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (*.f64 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))))
(*.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))) (*.f64 (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))))
(*.f64 (/.f64 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))
(*.f64 (/.f64 (*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))
(*.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))
(*.f64 (/.f64 -1 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))
(/.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) 1)
(/.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))
(/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) -1)
(/.f64 (*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) 2) 2)
(/.f64 (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) 2) -2)
(pow.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) 1)
(neg.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))
(+.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) 0)
(+.f64 0 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) 0)
(-.f64 0 (neg.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))
(/.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) 1)
(/.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (/.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))
(/.f64 (*.f64 (+.f64 n 1) (*.f64 (log.f64 (+.f64 n 1)) 2)) 2)
(/.f64 (*.f64 (neg.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) 2) -2)
(pow.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) 1)
(neg.f64 (neg.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))
(log.f64 (pow.f64 (+.f64 n 1) (+.f64 n 1)))
(+.f64 (log.f64 (pow.f64 n n)) 0)
(+.f64 0 (log.f64 (pow.f64 n n)))
(-.f64 (log.f64 (pow.f64 n n)) 0)
(-.f64 0 (neg.f64 (log.f64 (pow.f64 n n))))
(/.f64 (log.f64 (pow.f64 n n)) 1)
(/.f64 (log.f64 (pow.f64 n n)) (/.f64 (log.f64 (pow.f64 n n)) (log.f64 (pow.f64 n n))))
(/.f64 (*.f64 (log.f64 (pow.f64 n n)) 2) 2)
(/.f64 (*.f64 (neg.f64 (log.f64 (pow.f64 n n))) 2) -2)
(pow.f64 (log.f64 (pow.f64 n n)) 1)
(neg.f64 (neg.f64 (log.f64 (pow.f64 n n))))
(log.f64 (pow.f64 n n))
Outputs
(*.f64 n (-.f64 1 (log.f64 n)))
(+.f64 (*.f64 n (-.f64 1 (log.f64 n))) (*.f64 1/2 (pow.f64 n 2)))
(+.f64 (*.f64 n (-.f64 1 (log.f64 n))) (+.f64 (*.f64 -1/6 (pow.f64 n 3)) (*.f64 1/2 (pow.f64 n 2))))
(+.f64 (*.f64 n (-.f64 1 (log.f64 n))) (+.f64 (*.f64 1/2 (pow.f64 n 2)) (*.f64 -1/6 (pow.f64 n 3))))
(+.f64 (*.f64 n (-.f64 1 (log.f64 n))) (+.f64 (*.f64 -1/6 (pow.f64 n 3)) (+.f64 (*.f64 1/12 (pow.f64 n 4)) (*.f64 1/2 (pow.f64 n 2)))))
(+.f64 (*.f64 n (-.f64 1 (log.f64 n))) (+.f64 (*.f64 1/2 (pow.f64 n 2)) (+.f64 (*.f64 1/12 (pow.f64 n 4)) (*.f64 -1/6 (pow.f64 n 3)))))
(+.f64 (*.f64 n (-.f64 1 (log.f64 n))) (+.f64 (*.f64 -1/6 (pow.f64 n 3)) (+.f64 (*.f64 1/2 (pow.f64 n 2)) (*.f64 1/12 (pow.f64 n 4)))))
(+.f64 (*.f64 1/2 (pow.f64 n 2)) (+.f64 (*.f64 n (-.f64 1 (log.f64 n))) (+.f64 (*.f64 -1/6 (pow.f64 n 3)) (*.f64 1/12 (pow.f64 n 4)))))
(+.f64 (*.f64 n (-.f64 1 (log.f64 n))) (+.f64 (*.f64 1/2 (pow.f64 n 2)) (+.f64 (*.f64 -1/6 (pow.f64 n 3)) (*.f64 1/12 (pow.f64 n 4)))))
(+.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n))))
(+.f64 1 (neg.f64 (log.f64 (/.f64 1 n))))
(+.f64 (*.f64 1/2 (/.f64 1 n)) (+.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))))
(+.f64 (*.f64 -1 (log.f64 (/.f64 1 n))) (+.f64 1 (*.f64 1/2 (/.f64 1 n))))
(+.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 1 n))) (*.f64 1/2 (/.f64 1 n))))
(+.f64 (neg.f64 (log.f64 (/.f64 1 n))) (+.f64 1 (*.f64 1/2 (/.f64 1 n))))
(-.f64 (+.f64 1 (+.f64 (*.f64 1/2 (/.f64 1 n)) (*.f64 -1 (log.f64 (/.f64 1 n))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 n))) (*.f64 1/2 (/.f64 1 n)))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 1 n))) (*.f64 1/2 (/.f64 1 n)))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 n))) (+.f64 1 (*.f64 1/2 (/.f64 1 n)))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 1 (+.f64 (*.f64 1/12 (/.f64 1 (pow.f64 n 3))) (+.f64 (*.f64 1/2 (/.f64 1 n)) (*.f64 -1 (log.f64 (/.f64 1 n)))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 n))) (*.f64 1/2 (/.f64 1 n))) (+.f64 (*.f64 1/12 (/.f64 1 (pow.f64 n 3))) 1)) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 1 n))) (+.f64 (*.f64 1/2 (/.f64 1 n)) (*.f64 1/12 (/.f64 1 (pow.f64 n 3)))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 n))) (+.f64 (+.f64 1 (*.f64 1/2 (/.f64 1 n))) (*.f64 1/12 (/.f64 1 (pow.f64 n 3))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 n))) (+.f64 (*.f64 1/2 (/.f64 1 n)) (+.f64 1 (*.f64 1/12 (/.f64 1 (pow.f64 n 3)))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 n))) (+.f64 1 (+.f64 (*.f64 1/2 (/.f64 1 n)) (*.f64 1/12 (/.f64 1 (pow.f64 n 3)))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(+.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))
(+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (+.f64 1 (log.f64 -1)))
(+.f64 (*.f64 1/2 (/.f64 1 n)) (+.f64 1 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 n))))))
(+.f64 (*.f64 1/2 (/.f64 1 n)) (+.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1))))
(+.f64 1 (+.f64 (*.f64 1/2 (/.f64 1 n)) (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1))))
(+.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (+.f64 (*.f64 1/2 (/.f64 1 n)) (log.f64 -1))))
(+.f64 1 (+.f64 (log.f64 -1) (+.f64 (*.f64 1/2 (/.f64 1 n)) (neg.f64 (log.f64 (/.f64 -1 n))))))
(+.f64 (*.f64 1/2 (/.f64 1 n)) (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (+.f64 1 (log.f64 -1))))
(-.f64 (+.f64 1 (+.f64 (log.f64 -1) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (*.f64 1/2 (/.f64 1 n))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 1 (+.f64 (*.f64 1/2 (/.f64 1 n)) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 1 (+.f64 (*.f64 1/2 (/.f64 1 n)) (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1)))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (+.f64 (*.f64 1/2 (/.f64 1 n)) (log.f64 -1)))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 1 (+.f64 (log.f64 -1) (+.f64 (*.f64 1/2 (/.f64 1 n)) (neg.f64 (log.f64 (/.f64 -1 n)))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 1 n)) (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (+.f64 1 (log.f64 -1)))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 1 (+.f64 (*.f64 1/12 (/.f64 1 (pow.f64 n 3))) (+.f64 (log.f64 -1) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (*.f64 1/2 (/.f64 1 n)))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 (+.f64 (*.f64 1/2 (/.f64 1 n)) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1))) (+.f64 (*.f64 1/12 (/.f64 1 (pow.f64 n 3))) 1)) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 (+.f64 (*.f64 1/2 (/.f64 1 n)) (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1))) (+.f64 1 (*.f64 1/12 (/.f64 1 (pow.f64 n 3))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 1 n)) (+.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (+.f64 1 (log.f64 -1))) (*.f64 1/12 (/.f64 1 (pow.f64 n 3))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 1 (+.f64 (+.f64 (*.f64 1/2 (/.f64 1 n)) (neg.f64 (log.f64 (/.f64 -1 n)))) (+.f64 (*.f64 1/12 (/.f64 1 (pow.f64 n 3))) (log.f64 -1)))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (+.f64 (+.f64 1 (log.f64 -1)) (+.f64 (*.f64 1/2 (/.f64 1 n)) (*.f64 1/12 (/.f64 1 (pow.f64 n 3)))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
n
(+.f64 n (*.f64 1/2 (pow.f64 n 2)))
(+.f64 (*.f64 -1/6 (pow.f64 n 3)) (+.f64 n (*.f64 1/2 (pow.f64 n 2))))
(+.f64 (*.f64 1/2 (pow.f64 n 2)) (+.f64 n (*.f64 -1/6 (pow.f64 n 3))))
(+.f64 (*.f64 -1/6 (pow.f64 n 3)) (+.f64 n (+.f64 (*.f64 1/12 (pow.f64 n 4)) (*.f64 1/2 (pow.f64 n 2)))))
(+.f64 (+.f64 (*.f64 1/2 (pow.f64 n 2)) (*.f64 1/12 (pow.f64 n 4))) (+.f64 n (*.f64 -1/6 (pow.f64 n 3))))
(+.f64 n (+.f64 (*.f64 -1/6 (pow.f64 n 3)) (+.f64 (*.f64 1/2 (pow.f64 n 2)) (*.f64 1/12 (pow.f64 n 4)))))
(+.f64 (*.f64 1/2 (pow.f64 n 2)) (+.f64 (*.f64 1/12 (pow.f64 n 4)) (+.f64 n (*.f64 -1/6 (pow.f64 n 3)))))
(+.f64 (*.f64 1/2 (pow.f64 n 2)) (+.f64 n (+.f64 (*.f64 -1/6 (pow.f64 n 3)) (*.f64 1/12 (pow.f64 n 4)))))
(*.f64 -1 (*.f64 n (log.f64 (/.f64 1 n))))
(*.f64 n (*.f64 -1 (log.f64 (/.f64 1 n))))
(*.f64 n (neg.f64 (log.f64 (/.f64 1 n))))
(*.f64 (log.f64 (/.f64 1 n)) (neg.f64 n))
(+.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 n))) (*.f64 -1 (*.f64 n (log.f64 (/.f64 1 n))))))
(+.f64 1 (*.f64 -1 (+.f64 (*.f64 n (log.f64 (/.f64 1 n))) (log.f64 (/.f64 1 n)))))
(+.f64 1 (*.f64 -1 (+.f64 (log.f64 (/.f64 1 n)) (*.f64 n (log.f64 (/.f64 1 n))))))
(+.f64 1 (*.f64 (log.f64 (/.f64 1 n)) (+.f64 (neg.f64 n) -1)))
(+.f64 1 (*.f64 (log.f64 (/.f64 1 n)) (+.f64 -1 (neg.f64 n))))
(+.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 n))) (+.f64 (*.f64 1/2 (/.f64 1 n)) (*.f64 -1 (*.f64 n (log.f64 (/.f64 1 n)))))))
(+.f64 1 (+.f64 (*.f64 n (*.f64 -1 (log.f64 (/.f64 1 n)))) (+.f64 (*.f64 -1 (log.f64 (/.f64 1 n))) (*.f64 1/2 (/.f64 1 n)))))
(+.f64 1 (+.f64 (*.f64 1/2 (/.f64 1 n)) (*.f64 -1 (+.f64 (log.f64 (/.f64 1 n)) (*.f64 n (log.f64 (/.f64 1 n)))))))
(+.f64 (*.f64 (log.f64 (/.f64 1 n)) (+.f64 (neg.f64 n) -1)) (+.f64 1 (*.f64 1/2 (/.f64 1 n))))
(+.f64 (*.f64 (log.f64 (/.f64 1 n)) (+.f64 -1 (neg.f64 n))) (+.f64 1 (*.f64 1/2 (/.f64 1 n))))
(-.f64 (+.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 n))) (+.f64 (*.f64 1/2 (/.f64 1 n)) (*.f64 -1 (*.f64 n (log.f64 (/.f64 1 n))))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 1 (+.f64 (*.f64 n (*.f64 -1 (log.f64 (/.f64 1 n)))) (+.f64 (*.f64 -1 (log.f64 (/.f64 1 n))) (*.f64 1/2 (/.f64 1 n))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 1 (+.f64 (*.f64 1/2 (/.f64 1 n)) (*.f64 -1 (+.f64 (log.f64 (/.f64 1 n)) (*.f64 n (log.f64 (/.f64 1 n))))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 (*.f64 (log.f64 (/.f64 1 n)) (+.f64 (neg.f64 n) -1)) (+.f64 1 (*.f64 1/2 (/.f64 1 n)))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 (*.f64 (log.f64 (/.f64 1 n)) (+.f64 -1 (neg.f64 n))) (+.f64 1 (*.f64 1/2 (/.f64 1 n)))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(*.f64 n (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 n)))))
(*.f64 n (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))
(*.f64 n (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1)))
(+.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (+.f64 (log.f64 -1) (*.f64 n (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 n))))))))
(+.f64 1 (+.f64 (*.f64 n (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1))) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1))))
(+.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (+.f64 (log.f64 -1) (*.f64 n (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1))))))
(+.f64 1 (+.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1)) (*.f64 n (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1)))))
(+.f64 1 (+.f64 (log.f64 -1) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (+.f64 (*.f64 n (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 n))))) (*.f64 1/2 (/.f64 1 n))))))
(+.f64 1 (+.f64 (+.f64 (*.f64 1/2 (/.f64 1 n)) (*.f64 n (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1))))
(+.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (+.f64 (+.f64 (*.f64 1/2 (/.f64 1 n)) (*.f64 n (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1)))) (log.f64 -1))))
(+.f64 (+.f64 (*.f64 1/2 (/.f64 1 n)) (neg.f64 (log.f64 (/.f64 -1 n)))) (+.f64 (*.f64 n (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1))) (+.f64 1 (log.f64 -1))))
(+.f64 (*.f64 n (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1))) (+.f64 1 (+.f64 (log.f64 -1) (+.f64 (*.f64 1/2 (/.f64 1 n)) (neg.f64 (log.f64 (/.f64 -1 n)))))))
(+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (+.f64 1 (+.f64 (*.f64 n (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1))) (+.f64 (*.f64 1/2 (/.f64 1 n)) (log.f64 -1)))))
(-.f64 (+.f64 1 (+.f64 (log.f64 -1) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (+.f64 (*.f64 n (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 n))))) (*.f64 1/2 (/.f64 1 n)))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 1 (+.f64 (+.f64 (*.f64 1/2 (/.f64 1 n)) (*.f64 n (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (+.f64 (+.f64 (*.f64 1/2 (/.f64 1 n)) (*.f64 n (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1)))) (log.f64 -1)))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 (+.f64 (*.f64 1/2 (/.f64 1 n)) (neg.f64 (log.f64 (/.f64 -1 n)))) (+.f64 (*.f64 n (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1))) (+.f64 1 (log.f64 -1)))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 (*.f64 n (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1))) (+.f64 1 (+.f64 (log.f64 -1) (+.f64 (*.f64 1/2 (/.f64 1 n)) (neg.f64 (log.f64 (/.f64 -1 n))))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(-.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (+.f64 1 (+.f64 (*.f64 n (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1))) (+.f64 (*.f64 1/2 (/.f64 1 n)) (log.f64 -1))))) (*.f64 1/6 (/.f64 1 (pow.f64 n 2))))
(*.f64 -1 (*.f64 n (log.f64 (/.f64 1 n))))
(*.f64 n (*.f64 -1 (log.f64 (/.f64 1 n))))
(*.f64 n (neg.f64 (log.f64 (/.f64 1 n))))
(*.f64 (log.f64 (/.f64 1 n)) (neg.f64 n))
(*.f64 -1 (*.f64 n (log.f64 (/.f64 1 n))))
(*.f64 n (*.f64 -1 (log.f64 (/.f64 1 n))))
(*.f64 n (neg.f64 (log.f64 (/.f64 1 n))))
(*.f64 (log.f64 (/.f64 1 n)) (neg.f64 n))
(*.f64 -1 (*.f64 n (log.f64 (/.f64 1 n))))
(*.f64 n (*.f64 -1 (log.f64 (/.f64 1 n))))
(*.f64 n (neg.f64 (log.f64 (/.f64 1 n))))
(*.f64 (log.f64 (/.f64 1 n)) (neg.f64 n))
(*.f64 -1 (*.f64 n (log.f64 (/.f64 1 n))))
(*.f64 n (*.f64 -1 (log.f64 (/.f64 1 n))))
(*.f64 n (neg.f64 (log.f64 (/.f64 1 n))))
(*.f64 (log.f64 (/.f64 1 n)) (neg.f64 n))
(*.f64 n (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))
(*.f64 n (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1)))
(*.f64 n (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))
(*.f64 n (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1)))
(*.f64 n (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))
(*.f64 n (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1)))
(*.f64 n (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))
(*.f64 n (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1)))
(+.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (neg.f64 (log.f64 (pow.f64 n n))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(+.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (-.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(+.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) 0)
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(+.f64 0 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(+.f64 (neg.f64 (log.f64 (pow.f64 n n))) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(+.f64 (*.f64 (+.f64 n 1) (*.f64 (log.f64 (+.f64 n 1)) 2)) (-.f64 0 (+.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(+.f64 (+.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (*.f64 (neg.f64 (log.f64 (pow.f64 n n))) 2))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(+.f64 (*.f64 (neg.f64 (log.f64 (pow.f64 n n))) 2) (+.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(*.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) 1)
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 1 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(*.f64 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) -1)
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(*.f64 (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(*.f64 (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(*.f64 (*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(*.f64 (/.f64 1 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))) (*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (*.f64 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(*.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))) (*.f64 (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(*.f64 (/.f64 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(*.f64 (/.f64 (*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 1 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))))) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(*.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(*.f64 (/.f64 -1 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(/.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) 1)
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(/.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) (/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(/.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) -1)
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(/.f64 (*.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) 2) 2)
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(/.f64 (*.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) 2) -2)
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(pow.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n))) 1)
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(neg.f64 (-.f64 (log.f64 (pow.f64 n n)) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))
(+.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (neg.f64 (log.f64 (pow.f64 n n))))
(-.f64 (*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1))) (log.f64 (pow.f64 n n)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (log.f64 (pow.f64 n n)))
(+.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) 0)
(*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1)))
(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
(+.f64 0 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
(*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1)))
(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) 0)
(*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1)))
(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
(-.f64 0 (neg.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))
(*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1)))
(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
(/.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) 1)
(*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1)))
(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
(/.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (/.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))
(*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1)))
(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
(/.f64 (*.f64 (+.f64 n 1) (*.f64 (log.f64 (+.f64 n 1)) 2)) 2)
(*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1)))
(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
(/.f64 (*.f64 (neg.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) 2) -2)
(*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1)))
(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
(pow.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) 1)
(*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1)))
(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
(neg.f64 (neg.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))))
(*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1)))
(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
(log.f64 (pow.f64 (+.f64 n 1) (+.f64 n 1)))
(*.f64 (-.f64 n -1) (log.f64 (-.f64 n -1)))
(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
(+.f64 (log.f64 (pow.f64 n n)) 0)
(log.f64 (pow.f64 n n))
(+.f64 0 (log.f64 (pow.f64 n n)))
(log.f64 (pow.f64 n n))
(-.f64 (log.f64 (pow.f64 n n)) 0)
(log.f64 (pow.f64 n n))
(-.f64 0 (neg.f64 (log.f64 (pow.f64 n n))))
(log.f64 (pow.f64 n n))
(/.f64 (log.f64 (pow.f64 n n)) 1)
(log.f64 (pow.f64 n n))
(/.f64 (log.f64 (pow.f64 n n)) (/.f64 (log.f64 (pow.f64 n n)) (log.f64 (pow.f64 n n))))
(log.f64 (pow.f64 n n))
(/.f64 (*.f64 (log.f64 (pow.f64 n n)) 2) 2)
(log.f64 (pow.f64 n n))
(/.f64 (*.f64 (neg.f64 (log.f64 (pow.f64 n n))) 2) -2)
(log.f64 (pow.f64 n n))
(pow.f64 (log.f64 (pow.f64 n n)) 1)
(log.f64 (pow.f64 n n))
(neg.f64 (neg.f64 (log.f64 (pow.f64 n n))))
(log.f64 (pow.f64 n n))
(log.f64 (pow.f64 n n))

eval64.0ms (1.3%)

Compiler

Compiled 3983 to 2848 computations (28.5% saved)

prune18.0ms (0.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1473150
Fresh000
Picked101
Done000
Total1483151
Error
0b
Counts
151 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
▶63.3b
(-.f64 (-.f64 n (*.f64 n (log.f64 n))) 1)
▶0b
(-.f64 (+.f64 1 (neg.f64 (log.f64 (/.f64 1 n)))) 1)
▶63.3b
(-.f64 (*.f64 n (-.f64 1 (log.f64 n))) 1)
Compiler

Compiled 28 to 22 computations (21.4% saved)

localize11.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.2b
(*.f64 n (-.f64 1 (log.f64 n)))
Compiler

Compiled 23 to 13 computations (43.5% saved)

series1.0ms (0%)

Counts
1 → 8
Calls

3 calls:

TimeVariablePointExpression
1.0ms
n
@-inf
(*.f64 n (-.f64 1 (log.f64 n)))
0.0ms
n
@inf
(*.f64 n (-.f64 1 (log.f64 n)))
0.0ms
n
@0
(*.f64 n (-.f64 1 (log.f64 n)))

rewrite74.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
1860×rational_best-5
1858×rational_best-4
1858×rational_best-2
1858×rational_best-3
1858×rational_best-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0817
16417
220717
386417
4377317
Stop Event
1×node limit
Counts
1 → 7
Calls
Call 1
Inputs
(*.f64 n (-.f64 1 (log.f64 n)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 n (-.f64 1 (log.f64 n))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 n (-.f64 1 (log.f64 n))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 n (-.f64 1 (log.f64 n))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 n (-.f64 1 (log.f64 n))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 n (-.f64 1 (log.f64 n))) (/.f64 (*.f64 n (-.f64 1 (log.f64 n))) (*.f64 n (-.f64 1 (log.f64 n)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 (log.f64 n)) (+.f64 n n)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 n (-.f64 1 (log.f64 n))) 1)))))

simplify169.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
1750×rational_best-simplify-80
1350×rational_best-simplify-78
1078×rational_best-simplify-44
1036×rational_best-simplify-132
900×rational_best-simplify-43
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
033391
146375
282375
3203359
4815359
52531359
64228359
76778359
Stop Event
1×node limit
Counts
15 → 16
Calls
Call 1
Inputs
(*.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))) n)
(*.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))) n)
(*.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))) n)
(*.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))) n)
(*.f64 (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1))) n)
(*.f64 (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1))) n)
(*.f64 (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1))) n)
(*.f64 (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1))) n)
(+.f64 (*.f64 n (-.f64 1 (log.f64 n))) 0)
(+.f64 0 (*.f64 n (-.f64 1 (log.f64 n))))
(-.f64 (*.f64 n (-.f64 1 (log.f64 n))) 0)
(/.f64 (*.f64 n (-.f64 1 (log.f64 n))) 1)
(/.f64 (*.f64 n (-.f64 1 (log.f64 n))) (/.f64 (*.f64 n (-.f64 1 (log.f64 n))) (*.f64 n (-.f64 1 (log.f64 n)))))
(/.f64 (*.f64 (-.f64 1 (log.f64 n)) (+.f64 n n)) 2)
(pow.f64 (*.f64 n (-.f64 1 (log.f64 n))) 1)
Outputs
(*.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))) n)
(*.f64 n (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))))
(*.f64 n (-.f64 1 (neg.f64 (log.f64 (/.f64 1 n)))))
(*.f64 n (+.f64 (log.f64 (/.f64 1 n)) 1))
(*.f64 n (+.f64 1 (log.f64 (/.f64 1 n))))
(*.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))) n)
(*.f64 n (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))))
(*.f64 n (-.f64 1 (neg.f64 (log.f64 (/.f64 1 n)))))
(*.f64 n (+.f64 (log.f64 (/.f64 1 n)) 1))
(*.f64 n (+.f64 1 (log.f64 (/.f64 1 n))))
(*.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))) n)
(*.f64 n (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))))
(*.f64 n (-.f64 1 (neg.f64 (log.f64 (/.f64 1 n)))))
(*.f64 n (+.f64 (log.f64 (/.f64 1 n)) 1))
(*.f64 n (+.f64 1 (log.f64 (/.f64 1 n))))
(*.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))) n)
(*.f64 n (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))))
(*.f64 n (-.f64 1 (neg.f64 (log.f64 (/.f64 1 n)))))
(*.f64 n (+.f64 (log.f64 (/.f64 1 n)) 1))
(*.f64 n (+.f64 1 (log.f64 (/.f64 1 n))))
(*.f64 (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1))) n)
(*.f64 n (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1))))
(*.f64 n (-.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1))))
(*.f64 (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1))) n)
(*.f64 n (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1))))
(*.f64 n (-.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1))))
(*.f64 (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1))) n)
(*.f64 n (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1))))
(*.f64 n (-.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1))))
(*.f64 (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1))) n)
(*.f64 n (-.f64 1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1))))
(*.f64 n (-.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1))))
(+.f64 (*.f64 n (-.f64 1 (log.f64 n))) 0)
(*.f64 n (-.f64 1 (log.f64 n)))
(+.f64 0 (*.f64 n (-.f64 1 (log.f64 n))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 (*.f64 n (-.f64 1 (log.f64 n))) 0)
(*.f64 n (-.f64 1 (log.f64 n)))
(/.f64 (*.f64 n (-.f64 1 (log.f64 n))) 1)
(*.f64 n (-.f64 1 (log.f64 n)))
(/.f64 (*.f64 n (-.f64 1 (log.f64 n))) (/.f64 (*.f64 n (-.f64 1 (log.f64 n))) (*.f64 n (-.f64 1 (log.f64 n)))))
(*.f64 n (-.f64 1 (log.f64 n)))
(/.f64 (*.f64 (-.f64 1 (log.f64 n)) (+.f64 n n)) 2)
(*.f64 n (-.f64 1 (log.f64 n)))
(pow.f64 (*.f64 n (-.f64 1 (log.f64 n))) 1)
(*.f64 n (-.f64 1 (log.f64 n)))

localize16.0ms (0.3%)

Compiler

Compiled 31 to 25 computations (19.4% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.2b
(-.f64 n (*.f64 n (log.f64 n)))
0.3b
(*.f64 n (log.f64 n))
Compiler

Compiled 23 to 7 computations (69.6% saved)

series0.0ms (0%)

Counts
1 → 12
Calls

3 calls:

TimeVariablePointExpression
0.0ms
n
@-inf
(-.f64 n (*.f64 n (log.f64 n)))
0.0ms
n
@0
(-.f64 n (*.f64 n (log.f64 n)))
0.0ms
n
@inf
(-.f64 n (*.f64 n (log.f64 n)))

rewrite76.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
1990×rational_best-5
1988×rational_best-4
1988×rational_best-2
1988×rational_best-3
1988×rational_best-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
15917
221217
390617
4399017
Stop Event
1×node limit
Counts
1 → 35
Calls
Call 1
Inputs
(-.f64 n (*.f64 n (log.f64 n)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 n (neg.f64 (*.f64 n (log.f64 n))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 n (*.f64 n (log.f64 n))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 n (*.f64 n (log.f64 n))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (*.f64 n (log.f64 n))) n)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 n (*.f64 n (log.f64 n))) (-.f64 0 (*.f64 n (*.f64 (log.f64 n) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 n (-.f64 1 (log.f64 n)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 n (*.f64 (-.f64 1 (log.f64 n)) (/.f64 n n)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 n (*.f64 (-.f64 1 (log.f64 n)) (*.f64 n (/.f64 1 n))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 n (*.f64 (/.f64 1 (-.f64 n (*.f64 n (log.f64 n)))) (*.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 1 (log.f64 n)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 n (-.f64 (/.f64 n n) (log.f64 n)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 n (-.f64 (*.f64 n (/.f64 1 n)) (log.f64 n)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 n (*.f64 n (log.f64 n))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 n (*.f64 n (log.f64 n))) (*.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 1 (-.f64 n (*.f64 n (log.f64 n))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 1 (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 n (*.f64 n (log.f64 n))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))) (-.f64 n (*.f64 n (log.f64 n))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 n (+.f64 (log.f64 n) -1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 1 (log.f64 n)) n)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 n) (*.f64 (-.f64 1 (log.f64 n)) (*.f64 n n)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 n n) (*.f64 (-.f64 1 (log.f64 n)) (/.f64 1 n)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (-.f64 n (*.f64 n (log.f64 n)))) (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1))) (/.f64 1 (-.f64 n (*.f64 n (log.f64 n)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 1 (-.f64 n (*.f64 n (log.f64 n))))) (-.f64 n (*.f64 n (log.f64 n))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n))))) (*.f64 (-.f64 n (*.f64 n (log.f64 n))) (*.f64 (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))) (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (-.f64 n (*.f64 n (log.f64 n)))) (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1)))) (*.f64 (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1))) (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))) (-.f64 n (*.f64 n (log.f64 n)))) (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 1 (-.f64 n (*.f64 n (log.f64 n))))) (-.f64 n (*.f64 n (log.f64 n)))) (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 n (*.f64 n (log.f64 n))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 n (+.f64 (log.f64 n) -1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 n (*.f64 (-.f64 1 (log.f64 n)) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 n (*.f64 n (log.f64 n))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 n (+.f64 (log.f64 n) -1)))))))

simplify236.0ms (4.8%)

Algorithm
1×egg-herbie
Rules
1252×rational_best-simplify-132
1004×rational_best-simplify-50
980×rational_best-simplify-2
898×rational_best-simplify-49
766×rational_best-simplify-80
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0941009
1198985
2407985
31176969
43098969
57270969
Stop Event
1×node limit
Counts
47 → 50
Calls
Call 1
Inputs
(*.f64 n (-.f64 1 (log.f64 n)))
(*.f64 n (-.f64 1 (log.f64 n)))
(*.f64 n (-.f64 1 (log.f64 n)))
(*.f64 n (-.f64 1 (log.f64 n)))
(*.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))) n)
(*.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))) n)
(*.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))) n)
(*.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))) n)
(*.f64 n (+.f64 1 (*.f64 -1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))))
(*.f64 n (+.f64 1 (*.f64 -1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))))
(*.f64 n (+.f64 1 (*.f64 -1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))))
(*.f64 n (+.f64 1 (*.f64 -1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))))
(+.f64 n (neg.f64 (*.f64 n (log.f64 n))))
(+.f64 (-.f64 n (*.f64 n (log.f64 n))) 0)
(+.f64 0 (-.f64 n (*.f64 n (log.f64 n))))
(+.f64 (neg.f64 (*.f64 n (log.f64 n))) n)
(+.f64 (+.f64 n (*.f64 n (log.f64 n))) (-.f64 0 (*.f64 n (*.f64 (log.f64 n) 2))))
(*.f64 n (-.f64 1 (log.f64 n)))
(*.f64 n (*.f64 (-.f64 1 (log.f64 n)) (/.f64 n n)))
(*.f64 n (*.f64 (-.f64 1 (log.f64 n)) (*.f64 n (/.f64 1 n))))
(*.f64 n (*.f64 (/.f64 1 (-.f64 n (*.f64 n (log.f64 n)))) (*.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 1 (log.f64 n)))))
(*.f64 n (-.f64 (/.f64 n n) (log.f64 n)))
(*.f64 n (-.f64 (*.f64 n (/.f64 1 n)) (log.f64 n)))
(*.f64 (-.f64 n (*.f64 n (log.f64 n))) 1)
(*.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))))
(*.f64 (-.f64 n (*.f64 n (log.f64 n))) (*.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 1 (-.f64 n (*.f64 n (log.f64 n))))))
(*.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 1 (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n))))))
(*.f64 1 (-.f64 n (*.f64 n (log.f64 n))))
(*.f64 (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))) (-.f64 n (*.f64 n (log.f64 n))))
(*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) -1)
(*.f64 (-.f64 1 (log.f64 n)) n)
(*.f64 (/.f64 1 n) (*.f64 (-.f64 1 (log.f64 n)) (*.f64 n n)))
(*.f64 (*.f64 n n) (*.f64 (-.f64 1 (log.f64 n)) (/.f64 1 n)))
(*.f64 (/.f64 1 (-.f64 n (*.f64 n (log.f64 n)))) (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1))))
(*.f64 (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1))) (/.f64 1 (-.f64 n (*.f64 n (log.f64 n)))))
(*.f64 (*.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 1 (-.f64 n (*.f64 n (log.f64 n))))) (-.f64 n (*.f64 n (log.f64 n))))
(*.f64 (/.f64 1 (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n))))) (*.f64 (-.f64 n (*.f64 n (log.f64 n))) (*.f64 (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))) (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))))))
(*.f64 (/.f64 (/.f64 1 (-.f64 n (*.f64 n (log.f64 n)))) (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1)))) (*.f64 (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1))) (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1)))))
(*.f64 (/.f64 (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))) (-.f64 n (*.f64 n (log.f64 n)))) (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1))))
(*.f64 (/.f64 (*.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 1 (-.f64 n (*.f64 n (log.f64 n))))) (-.f64 n (*.f64 n (log.f64 n)))) (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1))))
(/.f64 (-.f64 n (*.f64 n (log.f64 n))) 1)
(/.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))))
(/.f64 (*.f64 n (+.f64 (log.f64 n) -1)) -1)
(/.f64 (*.f64 n (*.f64 (-.f64 1 (log.f64 n)) 2)) 2)
(/.f64 (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) 2) -2)
(pow.f64 (-.f64 n (*.f64 n (log.f64 n))) 1)
(neg.f64 (*.f64 n (+.f64 (log.f64 n) -1)))
Outputs
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))) n)
(*.f64 n (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))))
(*.f64 n (-.f64 1 (neg.f64 (log.f64 (/.f64 1 n)))))
(*.f64 n (+.f64 (log.f64 (/.f64 1 n)) 1))
(*.f64 n (+.f64 1 (log.f64 (/.f64 1 n))))
(*.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))) n)
(*.f64 n (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))))
(*.f64 n (-.f64 1 (neg.f64 (log.f64 (/.f64 1 n)))))
(*.f64 n (+.f64 (log.f64 (/.f64 1 n)) 1))
(*.f64 n (+.f64 1 (log.f64 (/.f64 1 n))))
(*.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))) n)
(*.f64 n (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))))
(*.f64 n (-.f64 1 (neg.f64 (log.f64 (/.f64 1 n)))))
(*.f64 n (+.f64 (log.f64 (/.f64 1 n)) 1))
(*.f64 n (+.f64 1 (log.f64 (/.f64 1 n))))
(*.f64 (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))) n)
(*.f64 n (-.f64 1 (*.f64 -1 (log.f64 (/.f64 1 n)))))
(*.f64 n (-.f64 1 (neg.f64 (log.f64 (/.f64 1 n)))))
(*.f64 n (+.f64 (log.f64 (/.f64 1 n)) 1))
(*.f64 n (+.f64 1 (log.f64 (/.f64 1 n))))
(*.f64 n (+.f64 1 (*.f64 -1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))))
(*.f64 n (+.f64 1 (neg.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1)))))
(*.f64 n (+.f64 1 (*.f64 -1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))))
(*.f64 n (+.f64 1 (neg.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1)))))
(*.f64 n (+.f64 1 (*.f64 -1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))))
(*.f64 n (+.f64 1 (neg.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1)))))
(*.f64 n (+.f64 1 (*.f64 -1 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 n))) (log.f64 -1)))))
(*.f64 n (+.f64 1 (neg.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 n))) (log.f64 -1)))))
(+.f64 n (neg.f64 (*.f64 n (log.f64 n))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(+.f64 (-.f64 n (*.f64 n (log.f64 n))) 0)
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(+.f64 0 (-.f64 n (*.f64 n (log.f64 n))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(+.f64 (neg.f64 (*.f64 n (log.f64 n))) n)
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(+.f64 (+.f64 n (*.f64 n (log.f64 n))) (-.f64 0 (*.f64 n (*.f64 (log.f64 n) 2))))
(+.f64 (+.f64 n (*.f64 n (log.f64 n))) (neg.f64 (*.f64 n (*.f64 (log.f64 n) 2))))
(+.f64 n (+.f64 (*.f64 n (log.f64 n)) (neg.f64 (*.f64 (log.f64 n) (*.f64 n 2)))))
(+.f64 (+.f64 n (*.f64 n (log.f64 n))) (neg.f64 (*.f64 (log.f64 n) (*.f64 n 2))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 n (*.f64 (-.f64 1 (log.f64 n)) (/.f64 n n)))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 n (*.f64 (-.f64 1 (log.f64 n)) (*.f64 n (/.f64 1 n))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 n (*.f64 (/.f64 1 (-.f64 n (*.f64 n (log.f64 n)))) (*.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 1 (log.f64 n)))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 n (-.f64 (/.f64 n n) (log.f64 n)))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 n (-.f64 (*.f64 n (/.f64 1 n)) (log.f64 n)))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 (-.f64 n (*.f64 n (log.f64 n))) 1)
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 (-.f64 n (*.f64 n (log.f64 n))) (*.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 1 (-.f64 n (*.f64 n (log.f64 n))))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 1 (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n))))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 1 (-.f64 n (*.f64 n (log.f64 n))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))) (-.f64 n (*.f64 n (log.f64 n))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) -1)
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 (-.f64 1 (log.f64 n)) n)
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 (/.f64 1 n) (*.f64 (-.f64 1 (log.f64 n)) (*.f64 n n)))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 (*.f64 n n) (*.f64 (-.f64 1 (log.f64 n)) (/.f64 1 n)))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 (/.f64 1 (-.f64 n (*.f64 n (log.f64 n)))) (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1))) (/.f64 1 (-.f64 n (*.f64 n (log.f64 n)))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 (*.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 1 (-.f64 n (*.f64 n (log.f64 n))))) (-.f64 n (*.f64 n (log.f64 n))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 (/.f64 1 (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n))))) (*.f64 (-.f64 n (*.f64 n (log.f64 n))) (*.f64 (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))) (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 (/.f64 (/.f64 1 (-.f64 n (*.f64 n (log.f64 n)))) (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1)))) (*.f64 (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1))) (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1)))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 (/.f64 (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))) (-.f64 n (*.f64 n (log.f64 n)))) (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(*.f64 (/.f64 (*.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 1 (-.f64 n (*.f64 n (log.f64 n))))) (-.f64 n (*.f64 n (log.f64 n)))) (*.f64 n (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) (+.f64 (log.f64 n) -1))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(/.f64 (-.f64 n (*.f64 n (log.f64 n))) 1)
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(/.f64 (-.f64 n (*.f64 n (log.f64 n))) (/.f64 (-.f64 n (*.f64 n (log.f64 n))) (-.f64 n (*.f64 n (log.f64 n)))))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(/.f64 (*.f64 n (+.f64 (log.f64 n) -1)) -1)
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(/.f64 (*.f64 n (*.f64 (-.f64 1 (log.f64 n)) 2)) 2)
(/.f64 (*.f64 (-.f64 1 (log.f64 n)) (*.f64 n 2)) 2)
(/.f64 (*.f64 (*.f64 n (+.f64 (log.f64 n) -1)) 2) -2)
(/.f64 (*.f64 2 (*.f64 n (+.f64 (log.f64 n) -1))) -2)
(/.f64 (*.f64 n (*.f64 2 (+.f64 (log.f64 n) -1))) -2)
(/.f64 (*.f64 2 (-.f64 (*.f64 n (log.f64 n)) n)) -2)
(pow.f64 (-.f64 n (*.f64 n (log.f64 n))) 1)
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))
(neg.f64 (*.f64 n (+.f64 (log.f64 n) -1)))
(*.f64 n (-.f64 1 (log.f64 n)))
(-.f64 n (*.f64 n (log.f64 n)))

eval21.0ms (0.4%)

Compiler

Compiled 1133 to 590 computations (47.9% saved)

prune9.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New77077
Fresh000
Picked011
Done022
Total77380
Error
0b
Counts
80 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓63.3b
(-.f64 (-.f64 n (*.f64 n (log.f64 n))) 1)
✓0b
(-.f64 (+.f64 1 (neg.f64 (log.f64 (/.f64 1 n)))) 1)
✓63.3b
(-.f64 (*.f64 n (-.f64 1 (log.f64 n))) 1)
Compiler

Compiled 28 to 22 computations (21.4% saved)

regimes9.0ms (0.2%)

Counts
4 → 1
Calls
Call 1
Inputs
(-.f64 (*.f64 n (-.f64 1 (log.f64 n))) 1)
(-.f64 (-.f64 n (*.f64 n (log.f64 n))) 1)
(-.f64 (+.f64 1 (neg.f64 (log.f64 (/.f64 1 n)))) 1)
(-.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n))) 1)
Outputs
(-.f64 (+.f64 1 (neg.f64 (log.f64 (/.f64 1 n)))) 1)
Calls

3 calls:

4.0ms
n
2.0ms
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n)))
2.0ms
(-.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n))) 1)
Results
ErrorSegmentsBranch
0b1n
0b1(-.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n))) 1)
0b1(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n)))
Compiler

Compiled 73 to 51 computations (30.1% saved)

regimes74.0ms (1.5%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0.0b (-0%)

Counts
2 → 1
Calls
Call 1
Inputs
(-.f64 (*.f64 n (-.f64 1 (log.f64 n))) 1)
(-.f64 (-.f64 n (*.f64 n (log.f64 n))) 1)
Outputs
(-.f64 (*.f64 n (-.f64 1 (log.f64 n))) 1)
Calls

1 calls:

73.0ms
n
Results
ErrorSegmentsBranch
63.3b1n
Compiler

Compiled 19 to 12 computations (36.8% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01450
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(-.f64 (+.f64 1 (neg.f64 (log.f64 (/.f64 1 n)))) 1)
(-.f64 (*.f64 n (-.f64 1 (log.f64 n))) 1)
Outputs
(-.f64 (+.f64 1 (neg.f64 (log.f64 (/.f64 1 n)))) 1)
(-.f64 (*.f64 n (-.f64 1 (log.f64 n))) 1)
Compiler

Compiled 19 to 16 computations (15.8% saved)

soundness194.0ms (3.9%)

Algorithm
1×egg-herbie
Rules
1192×rational_best-simplify-48
1100×rational_best-simplify-2
1064×rational_best-simplify-52
1002×rational_best-simplify-51
962×rational_best-simplify-1
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01713231
13503047
26513011
316813011
449763011
Stop Event
1×node limit
Compiler

Compiled 30 to 27 computations (10% saved)

end108.0ms (2.2%)

Compiler

Compiled 18 to 15 computations (16.7% saved)

Profiling

Loading profile data...