Details

Time bar (total: 2.1s)

analyze2.0ms (0.1%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0%100%0%0%0%0
0%0%0%100%0%0%0%1
50%0%0%100%0%0%0%2
75%0%0%100%0%0%0%3
87.5%0%0%100%0%0%0%4
93.8%0%0%100%0%0%0%5
96.9%0%0%100%0%0%0%6
98.4%0%0%100%0%0%0%7
99.2%0%0%100%0%0%0%8
99.6%0%0%100%0%0%0%9
99.8%0%0%100%0%0%0%10
99.9%0%0%100%0%0%0%11
100%0%0%100%0%0%0%12
Compiler

Compiled 15 to 11 computations (26.7% saved)

sample1.1s (53.1%)

Results
1.1s8256×body256valid
Bogosity

preprocess118.0ms (5.7%)

Algorithm
2×egg-herbie
Rules
1834×rational.json-simplify-35
1346×rational.json-simplify-53
1038×rational.json-simplify-39
862×rational.json-simplify-59
548×rational.json-simplify-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0819
11819
23319
36419
424019
5207419
6626819
011
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(/.f64 10 (-.f64 1 (*.f64 x x)))
Outputs
(/.f64 10 (-.f64 1 (*.f64 x x)))
(/.f64 -10 (-.f64 (*.f64 x x) 1))
(/.f64 -10 (+.f64 (*.f64 x x) -1))
Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify91.0ms (4.4%)

Algorithm
1×egg-herbie
Rules
1834×rational.json-simplify-35
1346×rational.json-simplify-53
1038×rational.json-simplify-39
862×rational.json-simplify-59
548×rational.json-simplify-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0819
11819
23319
36419
424019
5207419
6626819
Stop Event
1×node limit
Counts
1 → 3
Calls
Call 1
Inputs
(/.f64 10 (-.f64 1 (*.f64 x x)))
Outputs
(/.f64 10 (-.f64 1 (*.f64 x x)))
(/.f64 -10 (-.f64 (*.f64 x x) 1))
(/.f64 -10 (+.f64 (*.f64 x x) -1))

eval1.0ms (0%)

Compiler

Compiled 22 to 14 computations (36.4% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New213
Fresh011
Picked000
Done000
Total224
Error
8.1b
Counts
4 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶8.1b
(/.f64 10 (-.f64 1 (*.f64 x x)))
Compiler

Compiled 8 to 6 computations (25% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 10 (-.f64 1 (*.f64 x x)))
✓8.1b
(-.f64 1 (*.f64 x x))
Compiler

Compiled 19 to 10 computations (47.4% saved)

series1.0ms (0.1%)

Counts
2 → 24
Calls

6 calls:

TimeVariablePointExpression
0.0ms
x
@inf
(-.f64 1 (*.f64 x x))
0.0ms
x
@inf
(/.f64 10 (-.f64 1 (*.f64 x x)))
0.0ms
x
@0
(-.f64 1 (*.f64 x x))
0.0ms
x
@0
(/.f64 10 (-.f64 1 (*.f64 x x)))
0.0ms
x
@-inf
(/.f64 10 (-.f64 1 (*.f64 x x)))

rewrite601.0ms (28.8%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0832
16932
218832
343432
4145232
5444832
Stop Event
1×node limit
Counts
2 → 37
Calls
Call 1
Inputs
(-.f64 1 (*.f64 x x))
(/.f64 10 (-.f64 1 (*.f64 x x)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (*.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 1 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 2 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 2 (*.f64 x x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 1 (*.f64 x x)) 2) (/.f64 (-.f64 1 (*.f64 x x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 1 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 1 (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 1 (*.f64 x x)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x x) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (-.f64 1 (*.f64 x x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 (*.f64 x x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 1 (*.f64 x x)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (-.f64 1 (*.f64 x x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (-.f64 1 (*.f64 x x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 1 (*.f64 x x)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 (*.f64 x x)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 x x) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 (*.f64 x x)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 x x) -1) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (-.f64 1 (*.f64 x x)) 2) 4) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 (-.f64 1 (*.f64 x x)) 2) 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 1 (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 (*.f64 x x) -1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 10 (-.f64 1 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 10 (*.f64 (-.f64 1 (*.f64 x x)) 2)) (/.f64 10 (*.f64 (-.f64 1 (*.f64 x x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2) (/.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 10 (-.f64 1 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 10 (*.f64 (-.f64 1 (*.f64 x x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 1)))))

simplify97.0ms (4.7%)

Algorithm
1×egg-herbie
Rules
1222×rational.json-simplify-51
882×rational.json-simplify-1
862×rational.json-simplify-53
698×rational.json-simplify-2
600×rational.json-simplify-44
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0991321
12081251
24771213
313151165
436271165
560721165
Stop Event
1×node limit
Counts
61 → 71
Calls
Call 1
Inputs
1
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
(*.f64 -1 (pow.f64 x 2))
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
(*.f64 -1 (pow.f64 x 2))
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
10
(+.f64 (*.f64 10 (pow.f64 x 2)) 10)
(+.f64 (*.f64 10 (pow.f64 x 2)) (+.f64 10 (*.f64 10 (pow.f64 x 4))))
(+.f64 (*.f64 10 (pow.f64 x 2)) (+.f64 (*.f64 10 (pow.f64 x 6)) (+.f64 10 (*.f64 10 (pow.f64 x 4)))))
(/.f64 -10 (pow.f64 x 2))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (*.f64 10 (/.f64 1 (pow.f64 x 2)))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 6))) (*.f64 10 (/.f64 1 (pow.f64 x 2))))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 8))) (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 6))) (*.f64 10 (/.f64 1 (pow.f64 x 2)))))))
(/.f64 -10 (pow.f64 x 2))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (*.f64 10 (/.f64 1 (pow.f64 x 2)))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 6))) (*.f64 10 (/.f64 1 (pow.f64 x 2))))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 8))) (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 6))) (*.f64 10 (/.f64 1 (pow.f64 x 2)))))))
(+.f64 (-.f64 1 (*.f64 x x)) 0)
(+.f64 0 (-.f64 1 (*.f64 x x)))
(+.f64 -1 (-.f64 2 (*.f64 x x)))
(+.f64 (-.f64 2 (*.f64 x x)) -1)
(+.f64 (/.f64 (-.f64 1 (*.f64 x x)) 2) (/.f64 (-.f64 1 (*.f64 x x)) 2))
(*.f64 1 (-.f64 1 (*.f64 x x)))
(*.f64 (-.f64 1 (*.f64 x x)) 1)
(*.f64 (*.f64 (-.f64 1 (*.f64 x x)) 2) 1/2)
(*.f64 (+.f64 (*.f64 x x) -1) -1)
(*.f64 2 (/.f64 (-.f64 1 (*.f64 x x)) 2))
(*.f64 -1 (+.f64 (*.f64 x x) -1))
(*.f64 (*.f64 (-.f64 1 (*.f64 x x)) 4) 1/4)
(*.f64 1/2 (*.f64 (-.f64 1 (*.f64 x x)) 2))
(*.f64 1/4 (*.f64 (-.f64 1 (*.f64 x x)) 4))
(*.f64 (/.f64 (-.f64 1 (*.f64 x x)) 2) 2)
(/.f64 (-.f64 1 (*.f64 x x)) 1)
(/.f64 (*.f64 (-.f64 1 (*.f64 x x)) 2) 2)
(/.f64 (+.f64 (*.f64 x x) -1) -1)
(/.f64 (*.f64 (-.f64 1 (*.f64 x x)) 4) 4)
(/.f64 (*.f64 (+.f64 (*.f64 x x) -1) 2) -2)
(/.f64 (*.f64 (*.f64 (-.f64 1 (*.f64 x x)) 2) 4) 8)
(/.f64 (*.f64 2 (*.f64 (*.f64 (-.f64 1 (*.f64 x x)) 2) 4)) 16)
(pow.f64 (-.f64 1 (*.f64 x x)) 1)
(neg.f64 (+.f64 (*.f64 x x) -1))
(+.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 0)
(+.f64 0 (/.f64 10 (-.f64 1 (*.f64 x x))))
(+.f64 (/.f64 10 (*.f64 (-.f64 1 (*.f64 x x)) 2)) (/.f64 10 (*.f64 (-.f64 1 (*.f64 x x)) 2)))
(+.f64 (/.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2) (/.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2))
(-.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 0)
(*.f64 1 (/.f64 10 (-.f64 1 (*.f64 x x))))
(*.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 1)
(*.f64 2 (/.f64 10 (*.f64 (-.f64 1 (*.f64 x x)) 2)))
(*.f64 2 (/.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2))
(*.f64 (*.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2) 1/2)
(*.f64 1/2 (*.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2))
(*.f64 (/.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2) 2)
(pow.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 1)
Outputs
1
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
(+.f64 1 (neg.f64 (pow.f64 x 2)))
(-.f64 1 (pow.f64 x 2))
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
(+.f64 1 (neg.f64 (pow.f64 x 2)))
(-.f64 1 (pow.f64 x 2))
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
(+.f64 1 (neg.f64 (pow.f64 x 2)))
(-.f64 1 (pow.f64 x 2))
(*.f64 -1 (pow.f64 x 2))
(neg.f64 (pow.f64 x 2))
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
(+.f64 1 (neg.f64 (pow.f64 x 2)))
(-.f64 1 (pow.f64 x 2))
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
(+.f64 1 (neg.f64 (pow.f64 x 2)))
(-.f64 1 (pow.f64 x 2))
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
(+.f64 1 (neg.f64 (pow.f64 x 2)))
(-.f64 1 (pow.f64 x 2))
(*.f64 -1 (pow.f64 x 2))
(neg.f64 (pow.f64 x 2))
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
(+.f64 1 (neg.f64 (pow.f64 x 2)))
(-.f64 1 (pow.f64 x 2))
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
(+.f64 1 (neg.f64 (pow.f64 x 2)))
(-.f64 1 (pow.f64 x 2))
(+.f64 1 (*.f64 -1 (pow.f64 x 2)))
(+.f64 1 (neg.f64 (pow.f64 x 2)))
(-.f64 1 (pow.f64 x 2))
10
(+.f64 (*.f64 10 (pow.f64 x 2)) 10)
(+.f64 10 (*.f64 (pow.f64 x 2) 10))
(+.f64 (*.f64 10 (pow.f64 x 2)) (+.f64 10 (*.f64 10 (pow.f64 x 4))))
(+.f64 10 (+.f64 (*.f64 10 (pow.f64 x 4)) (*.f64 (pow.f64 x 2) 10)))
(+.f64 10 (*.f64 10 (+.f64 (pow.f64 x 2) (pow.f64 x 4))))
(+.f64 (*.f64 10 (pow.f64 x 2)) (+.f64 (*.f64 10 (pow.f64 x 6)) (+.f64 10 (*.f64 10 (pow.f64 x 4)))))
(+.f64 (*.f64 (pow.f64 x 2) 10) (+.f64 10 (+.f64 (*.f64 10 (pow.f64 x 4)) (*.f64 10 (pow.f64 x 6)))))
(+.f64 10 (+.f64 (*.f64 10 (+.f64 (pow.f64 x 6) (pow.f64 x 4))) (*.f64 (pow.f64 x 2) 10)))
(+.f64 10 (*.f64 10 (+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 4) (pow.f64 x 6)))))
(+.f64 10 (*.f64 10 (+.f64 (pow.f64 x 6) (+.f64 (pow.f64 x 2) (pow.f64 x 4)))))
(/.f64 -10 (pow.f64 x 2))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (*.f64 10 (/.f64 1 (pow.f64 x 2)))))
(neg.f64 (*.f64 10 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 4)))))
(*.f64 (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))) -10)
(*.f64 -10 (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 6))) (*.f64 10 (/.f64 1 (pow.f64 x 2))))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 2))) (*.f64 10 (/.f64 1 (pow.f64 x 6))))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (*.f64 10 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 6))))))
(neg.f64 (*.f64 10 (+.f64 (/.f64 1 (pow.f64 x 6)) (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))))
(neg.f64 (*.f64 10 (+.f64 (/.f64 1 (pow.f64 x 4)) (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 6))))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 8))) (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 6))) (*.f64 10 (/.f64 1 (pow.f64 x 2)))))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (+.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 2))) (*.f64 10 (/.f64 1 (pow.f64 x 6)))) (*.f64 10 (/.f64 1 (pow.f64 x 8))))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (+.f64 (*.f64 10 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 6)))) (*.f64 10 (/.f64 1 (pow.f64 x 8))))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (*.f64 10 (+.f64 (/.f64 1 (pow.f64 x 8)) (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 6)))))))
(neg.f64 (*.f64 10 (+.f64 (/.f64 1 (pow.f64 x 8)) (+.f64 (/.f64 1 (pow.f64 x 4)) (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 6)))))))
(/.f64 -10 (pow.f64 x 2))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (*.f64 10 (/.f64 1 (pow.f64 x 2)))))
(neg.f64 (*.f64 10 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 4)))))
(*.f64 (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))) -10)
(*.f64 -10 (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 6))) (*.f64 10 (/.f64 1 (pow.f64 x 2))))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 2))) (*.f64 10 (/.f64 1 (pow.f64 x 6))))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (*.f64 10 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 6))))))
(neg.f64 (*.f64 10 (+.f64 (/.f64 1 (pow.f64 x 6)) (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))))
(neg.f64 (*.f64 10 (+.f64 (/.f64 1 (pow.f64 x 4)) (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 6))))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 8))) (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 6))) (*.f64 10 (/.f64 1 (pow.f64 x 2)))))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (+.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 2))) (*.f64 10 (/.f64 1 (pow.f64 x 6)))) (*.f64 10 (/.f64 1 (pow.f64 x 8))))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (+.f64 (*.f64 10 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 6)))) (*.f64 10 (/.f64 1 (pow.f64 x 8))))))
(neg.f64 (+.f64 (*.f64 10 (/.f64 1 (pow.f64 x 4))) (*.f64 10 (+.f64 (/.f64 1 (pow.f64 x 8)) (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 6)))))))
(neg.f64 (*.f64 10 (+.f64 (/.f64 1 (pow.f64 x 8)) (+.f64 (/.f64 1 (pow.f64 x 4)) (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 6)))))))
(+.f64 (-.f64 1 (*.f64 x x)) 0)
(-.f64 1 (*.f64 x x))
(+.f64 0 (-.f64 1 (*.f64 x x)))
(-.f64 1 (*.f64 x x))
(+.f64 -1 (-.f64 2 (*.f64 x x)))
(-.f64 1 (*.f64 x x))
(+.f64 (-.f64 2 (*.f64 x x)) -1)
(-.f64 1 (*.f64 x x))
(+.f64 (/.f64 (-.f64 1 (*.f64 x x)) 2) (/.f64 (-.f64 1 (*.f64 x x)) 2))
(-.f64 1 (*.f64 x x))
(*.f64 1 (-.f64 1 (*.f64 x x)))
(-.f64 1 (*.f64 x x))
(*.f64 (-.f64 1 (*.f64 x x)) 1)
(-.f64 1 (*.f64 x x))
(*.f64 (*.f64 (-.f64 1 (*.f64 x x)) 2) 1/2)
(-.f64 1 (*.f64 x x))
(*.f64 (+.f64 (*.f64 x x) -1) -1)
(-.f64 1 (*.f64 x x))
(*.f64 2 (/.f64 (-.f64 1 (*.f64 x x)) 2))
(-.f64 1 (*.f64 x x))
(*.f64 -1 (+.f64 (*.f64 x x) -1))
(-.f64 1 (*.f64 x x))
(*.f64 (*.f64 (-.f64 1 (*.f64 x x)) 4) 1/4)
(-.f64 1 (*.f64 x x))
(*.f64 1/2 (*.f64 (-.f64 1 (*.f64 x x)) 2))
(-.f64 1 (*.f64 x x))
(*.f64 1/4 (*.f64 (-.f64 1 (*.f64 x x)) 4))
(-.f64 1 (*.f64 x x))
(*.f64 (/.f64 (-.f64 1 (*.f64 x x)) 2) 2)
(-.f64 1 (*.f64 x x))
(/.f64 (-.f64 1 (*.f64 x x)) 1)
(-.f64 1 (*.f64 x x))
(/.f64 (*.f64 (-.f64 1 (*.f64 x x)) 2) 2)
(-.f64 1 (*.f64 x x))
(/.f64 (+.f64 (*.f64 x x) -1) -1)
(-.f64 1 (*.f64 x x))
(/.f64 (*.f64 (-.f64 1 (*.f64 x x)) 4) 4)
(-.f64 1 (*.f64 x x))
(/.f64 (*.f64 (+.f64 (*.f64 x x) -1) 2) -2)
(-.f64 1 (*.f64 x x))
(/.f64 (*.f64 (*.f64 (-.f64 1 (*.f64 x x)) 2) 4) 8)
(-.f64 1 (*.f64 x x))
(/.f64 (*.f64 2 (*.f64 (*.f64 (-.f64 1 (*.f64 x x)) 2) 4)) 16)
(-.f64 1 (*.f64 x x))
(pow.f64 (-.f64 1 (*.f64 x x)) 1)
(-.f64 1 (*.f64 x x))
(neg.f64 (+.f64 (*.f64 x x) -1))
(-.f64 1 (*.f64 x x))
(+.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 0)
(/.f64 10 (-.f64 1 (*.f64 x x)))
(+.f64 0 (/.f64 10 (-.f64 1 (*.f64 x x))))
(/.f64 10 (-.f64 1 (*.f64 x x)))
(+.f64 (/.f64 10 (*.f64 (-.f64 1 (*.f64 x x)) 2)) (/.f64 10 (*.f64 (-.f64 1 (*.f64 x x)) 2)))
(/.f64 10 (-.f64 1 (*.f64 x x)))
(+.f64 (/.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2) (/.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2))
(/.f64 10 (-.f64 1 (*.f64 x x)))
(-.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 0)
(/.f64 10 (-.f64 1 (*.f64 x x)))
(*.f64 1 (/.f64 10 (-.f64 1 (*.f64 x x))))
(/.f64 10 (-.f64 1 (*.f64 x x)))
(*.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 1)
(/.f64 10 (-.f64 1 (*.f64 x x)))
(*.f64 2 (/.f64 10 (*.f64 (-.f64 1 (*.f64 x x)) 2)))
(/.f64 10 (-.f64 1 (*.f64 x x)))
(*.f64 2 (/.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2))
(/.f64 10 (-.f64 1 (*.f64 x x)))
(*.f64 (*.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2) 1/2)
(/.f64 10 (-.f64 1 (*.f64 x x)))
(*.f64 1/2 (*.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2))
(/.f64 10 (-.f64 1 (*.f64 x x)))
(*.f64 (/.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 2) 2)
(/.f64 10 (-.f64 1 (*.f64 x x)))
(pow.f64 (/.f64 10 (-.f64 1 (*.f64 x x))) 1)
(/.f64 10 (-.f64 1 (*.f64 x x)))

eval18.0ms (0.9%)

Compiler

Compiled 909 to 712 computations (21.7% saved)

prune9.0ms (0.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New70171
Fresh000
Picked011
Done000
Total70272
Error
8.1b
Counts
72 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
✓8.1b
(/.f64 10 (-.f64 1 (*.f64 x x)))
58.1b
10
Compiler

Compiled 10 to 8 computations (20% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done011
Total022
Error
8.1b
Counts
2 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
✓8.1b
(/.f64 10 (-.f64 1 (*.f64 x x)))
58.1b
10
Compiler

Compiled 10 to 8 computations (20% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done011
Total022
Error
8.1b
Counts
2 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
✓8.1b
(/.f64 10 (-.f64 1 (*.f64 x x)))
58.1b
10
Compiler

Compiled 10 to 8 computations (20% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done011
Total022
Error
8.1b
Counts
2 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
✓8.1b
(/.f64 10 (-.f64 1 (*.f64 x x)))
58.1b
10
Compiler

Compiled 10 to 8 computations (20% saved)

regimes14.0ms (0.7%)

Accuracy

Total -50.0b remaining (-615.6%)

Threshold costs -50.0b (-615.6%)

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

4 calls:

4.0ms
x
3.0ms
(-.f64 1 (*.f64 x x))
3.0ms
(/.f64 10 (-.f64 1 (*.f64 x x)))
3.0ms
(*.f64 x x)
Results
ErrorSegmentsBranch
8.1b1x
8.1b1(/.f64 10 (-.f64 1 (*.f64 x x)))
8.1b1(-.f64 1 (*.f64 x x))
8.1b1(*.f64 x x)
Compiler

Compiled 29 to 20 computations (31% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0820
Stop Event
1×fuel
1×saturated
Calls
Call 1
Inputs
(/.f64 10 (-.f64 1 (*.f64 x x)))
10
Outputs
(/.f64 10 (-.f64 1 (*.f64 x x)))
10
Compiler

Compiled 10 to 8 computations (20% saved)

soundness0.0ms (0%)

end15.0ms (0.7%)

Compiler

Compiled 9 to 7 computations (22.2% saved)

Profiling

Loading profile data...