Details

Time bar (total: 2.1s)

analyze2.0ms (0.1%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%50%0%0%50%0%2
50%25%25%0%0%50%0%3
66.7%25%12.5%0%0%62.5%0%4
80%25%6.2%0%0%68.7%0%5
88.9%25%3.1%0%0%71.8%0%6
94.1%25%1.6%0%0%73.4%0%7
97%25%0.8%0%0%74.2%0%8
98.5%25%0.4%0%0%74.6%0%9
99.2%25%0.2%0%0%74.8%0%10
99.6%25%0.1%0%0%74.9%0%11
99.8%25%0%0%0%74.9%0%12
Compiler

Compiled 8 to 5 computations (37.5% saved)

sample1.3s (63.9%)

Results
1.2s8256×body256valid
1.0ms15×body256invalid
Bogosity

preprocess3.0ms (0.1%)

Algorithm
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
011
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
Outputs
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
Compiler

Compiled 8 to 5 computations (37.5% saved)

simplify9.0ms (0.4%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
Outputs
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

eval0.0ms (0%)

Compiler

Compiled 7 to 4 computations (42.9% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.2b
Counts
2 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶0.2b
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
Compiler

Compiled 7 to 4 computations (42.9% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(log.f64 (log.f64 x))
✓0.2b
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
Compiler

Compiled 13 to 4 computations (69.2% saved)

series123.0ms (5.9%)

Counts
2 → 16
Calls

6 calls:

TimeVariablePointExpression
43.0ms
x
@-inf
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
40.0ms
x
@0
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
39.0ms
x
@inf
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
0.0ms
x
@-inf
(log.f64 (log.f64 x))
0.0ms
x
@0
(log.f64 (log.f64 x))

rewrite82.0ms (4%)

Algorithm
1×batch-egg-rewrite
Rules
1396×bool.json-1
1396×bool.json-2
1350×rational.json-1
1350×rational.json-2
1350×rational.json-4
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0728
16828
219528
341728
485728
5188028
6445328
Stop Event
1×node limit
Counts
2 → 66
Calls
Call 1
Inputs
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(log.f64 (log.f64 x))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (log.f64 (log.f64 x))) (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 (+.f64 1 (log.f64 x)) (log.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (+.f64 (-.f64 1 (log.f64 (log.f64 x))) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 1 (log.f64 x)) (log.f64 (log.f64 x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1/2) (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -2 (-.f64 1 (-.f64 -1 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (-.f64 (*.f64 (log.f64 x) 1/2) (*.f64 (log.f64 (log.f64 x)) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1/2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (/.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 (/.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (-.f64 (*.f64 (log.f64 x) 2) (*.f64 (log.f64 (log.f64 x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) 4) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (neg.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) 4)) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 8))) (*.f64 2 (*.f64 2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (neg.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2))) (*.f64 2 (neg.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2)))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (*.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) 4)) (neg.f64 (*.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (-.f64 (log.f64 x) (log.f64 (log.f64 x))) (-.f64 (log.f64 x) (log.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 (log.f64 x) (log.f64 (log.f64 x))) (-.f64 (log.f64 x) (log.f64 (log.f64 x))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (log.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (log.f64 (log.f64 x)) 1/2) (*.f64 (log.f64 (log.f64 x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (log.f64 (log.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (log.f64 (log.f64 x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 (log.f64 x)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (log.f64 (log.f64 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (*.f64 (log.f64 (log.f64 x)) 1/2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (/.f64 (log.f64 (log.f64 x)) 4) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 (log.f64 x)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (log.f64 (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 (log.f64 x)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (log.f64 (log.f64 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (log.f64 (log.f64 x)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (log.f64 (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (log.f64 (log.f64 x)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (log.f64 (log.f64 x)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (log.f64 (log.f64 x)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (log.f64 (log.f64 x)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (log.f64 (log.f64 x)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (log.f64 (log.f64 x)) 8))) (*.f64 2 (*.f64 2 (*.f64 (log.f64 (log.f64 x)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (log.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (log.f64 (log.f64 x)) (log.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (log.f64 x)) (log.f64 (log.f64 x)))))))

simplify432.0ms (20.9%)

Algorithm
1×egg-herbie
Rules
2754×rational.json-simplify-35
1666×rational.json-simplify-2
1530×rational.json-simplify-1
798×rational.json-simplify-51
708×rational.json-simplify-45
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01411828
12901780
27791608
317511608
432741608
545101608
653291608
761521608
865101608
967841608
1067901608
1171071608
1275541608
1375881608
1476281608
1579131608
Stop Event
1×node limit
Counts
82 → 78
Calls
Call 1
Inputs
(-.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(-.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(-.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(-.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(-.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) (log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(-.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) (log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(-.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) (log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(-.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) (log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(log.f64 (*.f64 -1 (log.f64 (/.f64 1 x))))
(log.f64 (*.f64 -1 (log.f64 (/.f64 1 x))))
(log.f64 (*.f64 -1 (log.f64 (/.f64 1 x))))
(log.f64 (*.f64 -1 (log.f64 (/.f64 1 x))))
(log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(+.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 0)
(+.f64 0 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))
(+.f64 (neg.f64 (log.f64 (log.f64 x))) (log.f64 x))
(+.f64 -1 (-.f64 (+.f64 1 (log.f64 x)) (log.f64 (log.f64 x))))
(+.f64 -1 (+.f64 (-.f64 1 (log.f64 (log.f64 x))) (log.f64 x)))
(+.f64 (-.f64 (+.f64 1 (log.f64 x)) (log.f64 (log.f64 x))) -1)
(+.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1/2) (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1/2))
(+.f64 -2 (-.f64 1 (-.f64 -1 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))))
(*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1)
(*.f64 1 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1/2))
(*.f64 2 (-.f64 (*.f64 (log.f64 x) 1/2) (*.f64 (log.f64 (log.f64 x)) 1/2)))
(*.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 2) 1/2)
(*.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) -1)
(*.f64 4 (/.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4))
(*.f64 4 (*.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1/2) 1/2))
(*.f64 4 (*.f64 (/.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4) 1))
(*.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4) 1/4)
(*.f64 -1 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)))
(*.f64 -1 (*.f64 (/.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2) 2))
(*.f64 1/2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 2))
(*.f64 1/2 (-.f64 (*.f64 (log.f64 x) 2) (*.f64 (log.f64 (log.f64 x)) 2)))
(*.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1/2) 2)
(*.f64 1/4 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4))
(*.f64 (/.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4) 4)
(/.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1)
(/.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 2) 2)
(/.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) -1)
(/.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4) 4)
(/.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2) -2)
(/.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 8) 8)
(/.f64 (*.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) 4) -4)
(/.f64 (*.f64 2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 8)) 16)
(/.f64 (neg.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2)) 2)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 8))) 32)
(/.f64 (*.f64 2 (neg.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2))) 4)
(/.f64 (*.f64 2 (*.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) 4)) -8)
(/.f64 (neg.f64 (*.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) 4)) 4)
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 8))) (*.f64 2 (*.f64 2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 8)))) 64)
(/.f64 (+.f64 (*.f64 2 (neg.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2))) (*.f64 2 (neg.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2)))) 8)
(/.f64 (+.f64 (neg.f64 (*.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) 4)) (neg.f64 (*.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) 4))) 8)
(neg.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)))
(+.f64 (log.f64 (log.f64 x)) 0)
(+.f64 0 (log.f64 (log.f64 x)))
(+.f64 (*.f64 (log.f64 (log.f64 x)) 1/2) (*.f64 (log.f64 (log.f64 x)) 1/2))
(-.f64 (log.f64 (log.f64 x)) 0)
(*.f64 (log.f64 (log.f64 x)) 1)
(*.f64 1 (log.f64 (log.f64 x)))
(*.f64 2 (*.f64 (log.f64 (log.f64 x)) 1/2))
(*.f64 (*.f64 (log.f64 (log.f64 x)) 2) 1/2)
(*.f64 4 (/.f64 (log.f64 (log.f64 x)) 4))
(*.f64 4 (*.f64 (*.f64 (log.f64 (log.f64 x)) 1/2) 1/2))
(*.f64 4 (*.f64 (/.f64 (log.f64 (log.f64 x)) 4) 1))
(*.f64 (*.f64 (log.f64 (log.f64 x)) 4) 1/4)
(*.f64 1/2 (*.f64 (log.f64 (log.f64 x)) 2))
(*.f64 (*.f64 (log.f64 (log.f64 x)) 1/2) 2)
(*.f64 1/4 (*.f64 (log.f64 (log.f64 x)) 4))
(*.f64 (/.f64 (log.f64 (log.f64 x)) 4) 4)
(/.f64 (log.f64 (log.f64 x)) 1)
(/.f64 (*.f64 (log.f64 (log.f64 x)) 2) 2)
(/.f64 (*.f64 (log.f64 (log.f64 x)) 4) 4)
(/.f64 (*.f64 (log.f64 (log.f64 x)) 8) 8)
(/.f64 (*.f64 2 (*.f64 (log.f64 (log.f64 x)) 8)) 16)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (log.f64 (log.f64 x)) 8))) 32)
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (log.f64 (log.f64 x)) 8))) (*.f64 2 (*.f64 2 (*.f64 (log.f64 (log.f64 x)) 8)))) 64)
Outputs
(-.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(-.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 (neg.f64 (log.f64 (/.f64 1 x)))))
(-.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(-.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 (neg.f64 (log.f64 (/.f64 1 x)))))
(-.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(-.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 (neg.f64 (log.f64 (/.f64 1 x)))))
(-.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))
(-.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 (neg.f64 (log.f64 (/.f64 1 x)))))
(-.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) (log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (-.f64 (log.f64 -1) (log.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))))
(-.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) (log.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(+.f64 (log.f64 -1) (-.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))))
(-.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) (log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (-.f64 (log.f64 -1) (log.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))))
(-.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) (log.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(+.f64 (log.f64 -1) (-.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))))
(-.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) (log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (-.f64 (log.f64 -1) (log.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))))
(-.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) (log.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(+.f64 (log.f64 -1) (-.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))))
(-.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) (log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (-.f64 (log.f64 -1) (log.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))))
(-.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) (log.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(+.f64 (log.f64 -1) (-.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))))
(log.f64 (*.f64 -1 (log.f64 (/.f64 1 x))))
(log.f64 (neg.f64 (log.f64 (/.f64 1 x))))
(log.f64 (*.f64 -1 (log.f64 (/.f64 1 x))))
(log.f64 (neg.f64 (log.f64 (/.f64 1 x))))
(log.f64 (*.f64 -1 (log.f64 (/.f64 1 x))))
(log.f64 (neg.f64 (log.f64 (/.f64 1 x))))
(log.f64 (*.f64 -1 (log.f64 (/.f64 1 x))))
(log.f64 (neg.f64 (log.f64 (/.f64 1 x))))
(log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(log.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(log.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(log.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(log.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 0)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 0 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 (neg.f64 (log.f64 (log.f64 x))) (log.f64 x))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 -1 (-.f64 (+.f64 1 (log.f64 x)) (log.f64 (log.f64 x))))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 -1 (+.f64 (-.f64 1 (log.f64 (log.f64 x))) (log.f64 x)))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 (-.f64 (+.f64 1 (log.f64 x)) (log.f64 (log.f64 x))) -1)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1/2) (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1/2))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 -2 (-.f64 1 (-.f64 -1 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(*.f64 1 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(*.f64 2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1/2))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(*.f64 2 (-.f64 (*.f64 (log.f64 x) 1/2) (*.f64 (log.f64 (log.f64 x)) 1/2)))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(*.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 2) 1/2)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(*.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) -1)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(*.f64 4 (/.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(*.f64 4 (*.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1/2) 1/2))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(*.f64 4 (*.f64 (/.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4) 1))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(*.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4) 1/4)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(*.f64 -1 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(*.f64 -1 (*.f64 (/.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2) 2))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(*.f64 1/2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 2))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(*.f64 1/2 (-.f64 (*.f64 (log.f64 x) 2) (*.f64 (log.f64 (log.f64 x)) 2)))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(*.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1/2) 2)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(*.f64 1/4 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(*.f64 (/.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4) 4)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(/.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 1)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(/.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 2) 2)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(/.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) -1)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(/.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 4) 4)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(/.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2) -2)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(/.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 8) 8)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(/.f64 (*.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) 4) -4)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(/.f64 (*.f64 2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 8)) 16)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(/.f64 (neg.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2)) 2)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 8))) 32)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(/.f64 (*.f64 2 (neg.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2))) 4)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(/.f64 (*.f64 2 (*.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) 4)) -8)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(/.f64 (neg.f64 (*.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) 4)) 4)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 8))) (*.f64 2 (*.f64 2 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 8)))) 64)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(/.f64 (+.f64 (*.f64 2 (neg.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2))) (*.f64 2 (neg.f64 (*.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) -2)))) 8)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(/.f64 (+.f64 (neg.f64 (*.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) 4)) (neg.f64 (*.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)) 4))) 8)
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(neg.f64 (-.f64 (log.f64 (log.f64 x)) (log.f64 x)))
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 (log.f64 (log.f64 x)) 0)
(log.f64 (log.f64 x))
(+.f64 0 (log.f64 (log.f64 x)))
(log.f64 (log.f64 x))
(+.f64 (*.f64 (log.f64 (log.f64 x)) 1/2) (*.f64 (log.f64 (log.f64 x)) 1/2))
(log.f64 (log.f64 x))
(-.f64 (log.f64 (log.f64 x)) 0)
(log.f64 (log.f64 x))
(*.f64 (log.f64 (log.f64 x)) 1)
(log.f64 (log.f64 x))
(*.f64 1 (log.f64 (log.f64 x)))
(log.f64 (log.f64 x))
(*.f64 2 (*.f64 (log.f64 (log.f64 x)) 1/2))
(log.f64 (log.f64 x))
(*.f64 (*.f64 (log.f64 (log.f64 x)) 2) 1/2)
(log.f64 (log.f64 x))
(*.f64 4 (/.f64 (log.f64 (log.f64 x)) 4))
(log.f64 (log.f64 x))
(*.f64 4 (*.f64 (*.f64 (log.f64 (log.f64 x)) 1/2) 1/2))
(log.f64 (log.f64 x))
(*.f64 4 (*.f64 (/.f64 (log.f64 (log.f64 x)) 4) 1))
(log.f64 (log.f64 x))
(*.f64 (*.f64 (log.f64 (log.f64 x)) 4) 1/4)
(log.f64 (log.f64 x))
(*.f64 1/2 (*.f64 (log.f64 (log.f64 x)) 2))
(log.f64 (log.f64 x))
(*.f64 (*.f64 (log.f64 (log.f64 x)) 1/2) 2)
(log.f64 (log.f64 x))
(*.f64 1/4 (*.f64 (log.f64 (log.f64 x)) 4))
(log.f64 (log.f64 x))
(*.f64 (/.f64 (log.f64 (log.f64 x)) 4) 4)
(log.f64 (log.f64 x))
(/.f64 (log.f64 (log.f64 x)) 1)
(log.f64 (log.f64 x))
(/.f64 (*.f64 (log.f64 (log.f64 x)) 2) 2)
(log.f64 (log.f64 x))
(/.f64 (*.f64 (log.f64 (log.f64 x)) 4) 4)
(log.f64 (log.f64 x))
(/.f64 (*.f64 (log.f64 (log.f64 x)) 8) 8)
(log.f64 (log.f64 x))
(/.f64 (*.f64 2 (*.f64 (log.f64 (log.f64 x)) 8)) 16)
(log.f64 (log.f64 x))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (log.f64 (log.f64 x)) 8))) 32)
(log.f64 (log.f64 x))
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (log.f64 (log.f64 x)) 8))) (*.f64 2 (*.f64 2 (*.f64 (log.f64 (log.f64 x)) 8)))) 64)
(log.f64 (log.f64 x))

eval64.0ms (3.1%)

Compiler

Compiled 883 to 454 computations (48.6% saved)

prune12.0ms (0.6%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New78078
Fresh000
Picked011
Done000
Total78179
Error
0.2b
Counts
79 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.2b
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
Compiler

Compiled 14 to 8 computations (42.9% saved)

simplify1.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
Outputs
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
Compiler

Compiled 7 to 4 computations (42.9% saved)

soundness0.0ms (0%)

end12.0ms (0.6%)

Compiler

Compiled 7 to 4 computations (42.9% saved)

Profiling

Loading profile data...