Details

Time bar (total: 1.2s)

analyze3.0ms (0.2%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%100%0%0%0%0%2
0%0%50%0%0%50%0%3
50%25%25%0%0%50%0%4
75%37.5%12.5%0%0%50%0%5
87.5%43.7%6.2%0%0%50%0%6
93.8%46.9%3.1%0%0%50%0%7
96.9%48.4%1.6%0%0%50%0%8
98.4%49.2%0.8%0%0%50%0%9
99.2%49.6%0.4%0%0%50%0%10
99.6%49.8%0.2%0%0%50%0%11
99.8%49.9%0.1%0%0%50%0%12
Compiler

Compiled 8 to 6 computations (25% saved)

sample634.0ms (54.2%)

Results
622.0ms8256×body256valid
0.0ms2×body256invalid
Bogosity

preprocess133.0ms (11.4%)

Algorithm
2×egg-herbie
Rules
1810×rational.json-simplify-35
1350×rational.json-simplify-53
1056×rational.json-simplify-19
1026×rational.json-simplify-39
864×rational.json-simplify-59
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0817
1917
21317
33117
418017
5193717
6586617
7774917
011
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(sqrt.f64 (-.f64 1 (*.f64 x x)))
Outputs
(sqrt.f64 (-.f64 1 (*.f64 x x)))
Compiler

Compiled 8 to 6 computations (25% saved)

simplify129.0ms (11%)

Algorithm
1×egg-herbie
Rules
1810×rational.json-simplify-35
1350×rational.json-simplify-53
1056×rational.json-simplify-19
1026×rational.json-simplify-39
864×rational.json-simplify-59
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0817
1917
21317
33117
418017
5193717
6586617
7774917
Stop Event
1×node limit
Counts
1 → 1
Calls
Call 1
Inputs
(sqrt.f64 (-.f64 1 (*.f64 x x)))
Outputs
(sqrt.f64 (-.f64 1 (*.f64 x x)))

eval0.0ms (0%)

Compiler

Compiled 7 to 5 computations (28.6% saved)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 7 to 5 computations (28.6% saved)

localize6.0ms (0.5%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(sqrt.f64 (-.f64 1 (*.f64 x x)))
✓0.0b
(-.f64 1 (*.f64 x x))
Compiler

Compiled 17 to 8 computations (52.9% saved)

series2.0ms (0.1%)

Counts
2 → 24
Calls

6 calls:

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

rewrite68.0ms (5.8%)

Algorithm
1×batch-egg-rewrite
Rules
1626×bool.json-1
1626×bool.json-2
1598×rational.json-1
1598×rational.json-2
1246×bool.json-3
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0830
18530
225430
356530
4173130
5544930
Stop Event
1×node limit
Counts
2 → 34
Calls
Call 1
Inputs
(-.f64 1 (*.f64 x x))
(sqrt.f64 (-.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 1 (+.f64 (*.f64 x x) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (+.f64 (*.f64 x x) -1)) -1)))) (#(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 2 (/.f64 (-.f64 1 (*.f64 x x)) 2))))) (#(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 -1 (+.f64 (*.f64 x x) -1))))) (#(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 (/.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 2 (+.f64 (*.f64 x x) -1)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (-.f64 1 (*.f64 x x)) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (-.f64 1 (*.f64 x x)) 4)) (*.f64 2 (*.f64 (-.f64 1 (*.f64 x x)) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 (*.f64 x x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (-.f64 1 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (-.f64 1 (*.f64 x x)) (-.f64 1 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 1 (*.f64 x x)) (-.f64 1 (*.f64 x x)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (-.f64 1 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (-.f64 1 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 4)) (*.f64 2 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (sqrt.f64 (-.f64 1 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (sqrt.f64 (-.f64 1 (*.f64 x x))) (sqrt.f64 (-.f64 1 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x or (sqrt.f64 (-.f64 1 (*.f64 x x))) (sqrt.f64 (-.f64 1 (*.f64 x x))))))))

simplify130.0ms (11.1%)

Algorithm
1×egg-herbie
Rules
1280×rational.json-simplify-19
804×rational.json-simplify-2
802×rational.json-simplify-35
770×rational.json-simplify-1
702×rational.json-simplify-59
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01091328
12201298
24371298
39521262
420651262
540171262
652391262
767581262
Stop Event
1×node limit
Counts
58 → 82
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)))
1
(+.f64 1 (*.f64 -1/2 (pow.f64 x 2)))
(+.f64 1 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (*.f64 -1/8 (pow.f64 x 4))))
(+.f64 1 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (+.f64 (*.f64 -1/16 (pow.f64 x 6)) (*.f64 -1/8 (pow.f64 x 4)))))
(*.f64 (sqrt.f64 -1) x)
(+.f64 (*.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 -1) x))) (*.f64 (sqrt.f64 -1) x))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 -1) x))) (*.f64 (sqrt.f64 -1) x)) (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))))
(-.f64 (+.f64 (*.f64 1/16 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 x 5)))) (+.f64 (*.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 -1) x))) (*.f64 (sqrt.f64 -1) x))) (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))))
(*.f64 -1 (*.f64 (sqrt.f64 -1) x))
(-.f64 (*.f64 -1 (*.f64 (sqrt.f64 -1) x)) (*.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 -1) x))))
(-.f64 (+.f64 (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))) (*.f64 -1 (*.f64 (sqrt.f64 -1) x))) (*.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 -1) x))))
(-.f64 (+.f64 (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))) (*.f64 -1 (*.f64 (sqrt.f64 -1) x))) (+.f64 (*.f64 1/16 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 x 5)))) (*.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 -1) x)))))
(+.f64 (-.f64 1 (*.f64 x x)) 0)
(+.f64 0 (-.f64 1 (*.f64 x x)))
(+.f64 -1 (-.f64 1 (+.f64 (*.f64 x x) -1)))
(+.f64 (-.f64 1 (+.f64 (*.f64 x x) -1)) -1)
(*.f64 1 (-.f64 1 (*.f64 x x)))
(*.f64 (-.f64 1 (*.f64 x x)) 1)
(*.f64 2 (/.f64 (-.f64 1 (*.f64 x x)) 2))
(*.f64 (*.f64 (-.f64 1 (*.f64 x x)) 2) 1/2)
(*.f64 (+.f64 (*.f64 x x) -1) -1)
(*.f64 -1 (+.f64 (*.f64 x x) -1))
(*.f64 1/2 (*.f64 (-.f64 1 (*.f64 x x)) 2))
(*.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 2 (+.f64 (*.f64 x x) -1)) -2)
(/.f64 (*.f64 2 (*.f64 (-.f64 1 (*.f64 x x)) 4)) 8)
(/.f64 (+.f64 (*.f64 2 (*.f64 (-.f64 1 (*.f64 x x)) 4)) (*.f64 2 (*.f64 (-.f64 1 (*.f64 x x)) 4))) 16)
(neg.f64 (+.f64 (*.f64 x x) -1))
(+.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 0)
(+.f64 0 (sqrt.f64 (-.f64 1 (*.f64 x x))))
(-.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 0)
(*.f64 1 (sqrt.f64 (-.f64 1 (*.f64 x x))))
(*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 1)
(*.f64 2 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 2))
(*.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 2) 1/2)
(*.f64 1/2 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 2))
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 2) 2)
(/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 1)
(/.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 2) 2)
(/.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 4) 4)
(/.f64 (*.f64 2 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 4)) 8)
(/.f64 (+.f64 (*.f64 2 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 4)) (*.f64 2 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 4))) 16)
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))
1
(+.f64 1 (*.f64 -1/2 (pow.f64 x 2)))
(+.f64 1 (*.f64 (pow.f64 x 2) -1/2))
(+.f64 1 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (*.f64 -1/8 (pow.f64 x 4))))
(+.f64 (*.f64 (pow.f64 x 2) -1/2) (+.f64 (*.f64 -1/8 (pow.f64 x 4)) 1))
(+.f64 (*.f64 (pow.f64 x 2) -1/2) (+.f64 1 (*.f64 -1/8 (pow.f64 x 4))))
(+.f64 1 (+.f64 (*.f64 (pow.f64 x 2) -1/2) (*.f64 -1/8 (pow.f64 x 4))))
(+.f64 1 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (+.f64 (*.f64 -1/16 (pow.f64 x 6)) (*.f64 -1/8 (pow.f64 x 4)))))
(+.f64 1 (+.f64 (*.f64 (pow.f64 x 2) -1/2) (+.f64 (*.f64 -1/8 (pow.f64 x 4)) (*.f64 -1/16 (pow.f64 x 6)))))
(+.f64 (*.f64 -1/16 (pow.f64 x 6)) (+.f64 (*.f64 (pow.f64 x 2) -1/2) (+.f64 1 (*.f64 -1/8 (pow.f64 x 4)))))
(+.f64 1 (+.f64 (*.f64 -1/8 (pow.f64 x 4)) (+.f64 (*.f64 (pow.f64 x 2) -1/2) (*.f64 -1/16 (pow.f64 x 6)))))
(*.f64 (sqrt.f64 -1) x)
(*.f64 x (sqrt.f64 -1))
(+.f64 (*.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 -1) x))) (*.f64 (sqrt.f64 -1) x))
(+.f64 (*.f64 x (sqrt.f64 -1)) (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1)))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 -1) x))) (*.f64 (sqrt.f64 -1) x)) (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))))
(+.f64 (*.f64 x (sqrt.f64 -1)) (-.f64 (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1)))) (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3))))))
(-.f64 (+.f64 (*.f64 x (sqrt.f64 -1)) (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1))))) (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))))
(-.f64 (+.f64 (*.f64 1/16 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 x 5)))) (+.f64 (*.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 -1) x))) (*.f64 (sqrt.f64 -1) x))) (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))))
(+.f64 (+.f64 (*.f64 x (sqrt.f64 -1)) (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1))))) (-.f64 (*.f64 1/16 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 x 5)))) (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3))))))
(+.f64 (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1)))) (-.f64 (+.f64 (*.f64 x (sqrt.f64 -1)) (*.f64 1/16 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 x 5))))) (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3))))))
(+.f64 (*.f64 x (sqrt.f64 -1)) (+.f64 (*.f64 1/16 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 x 5)))) (-.f64 (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1)))) (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))))))
(-.f64 (+.f64 (*.f64 x (sqrt.f64 -1)) (+.f64 (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1)))) (*.f64 1/16 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 x 5)))))) (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))))
(*.f64 -1 (*.f64 (sqrt.f64 -1) x))
(*.f64 (sqrt.f64 -1) (*.f64 x -1))
(*.f64 (sqrt.f64 -1) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 -1)))
(-.f64 (*.f64 -1 (*.f64 (sqrt.f64 -1) x)) (*.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 -1) x))))
(-.f64 (*.f64 (sqrt.f64 -1) (*.f64 x -1)) (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1)))))
(-.f64 (*.f64 (sqrt.f64 -1) (neg.f64 x)) (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1)))))
(-.f64 (*.f64 x (neg.f64 (sqrt.f64 -1))) (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1)))))
(-.f64 (+.f64 (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))) (*.f64 -1 (*.f64 (sqrt.f64 -1) x))) (*.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 -1) x))))
(+.f64 (*.f64 (sqrt.f64 -1) (*.f64 x -1)) (-.f64 (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))) (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1))))))
(+.f64 (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))) (-.f64 (*.f64 (sqrt.f64 -1) (neg.f64 x)) (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1))))))
(+.f64 (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))) (-.f64 (*.f64 x (neg.f64 (sqrt.f64 -1))) (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1))))))
(-.f64 (+.f64 (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))) (*.f64 -1 (*.f64 (sqrt.f64 -1) x))) (+.f64 (*.f64 1/16 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 x 5)))) (*.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 -1) x)))))
(+.f64 (*.f64 (sqrt.f64 -1) (*.f64 x -1)) (-.f64 (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))) (+.f64 (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1)))) (*.f64 1/16 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 x 5)))))))
(+.f64 (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))) (-.f64 (*.f64 (sqrt.f64 -1) (neg.f64 x)) (+.f64 (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1)))) (*.f64 1/16 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 x 5)))))))
(+.f64 (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))) (-.f64 (*.f64 x (neg.f64 (sqrt.f64 -1))) (+.f64 (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1)))) (*.f64 1/16 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 x 5)))))))
(+.f64 (*.f64 x (neg.f64 (sqrt.f64 -1))) (-.f64 (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))) (+.f64 (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1)))) (*.f64 1/16 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 x 5)))))))
(-.f64 (+.f64 (*.f64 1/8 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 x 3)))) (*.f64 (sqrt.f64 -1) (neg.f64 x))) (+.f64 (*.f64 1/2 (/.f64 1 (*.f64 x (sqrt.f64 -1)))) (*.f64 1/16 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 x 5))))))
(+.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 1 (+.f64 (*.f64 x x) -1)))
(-.f64 1 (*.f64 x x))
(+.f64 (-.f64 1 (+.f64 (*.f64 x x) -1)) -1)
(-.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 2 (/.f64 (-.f64 1 (*.f64 x x)) 2))
(-.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 -1 (+.f64 (*.f64 x x) -1))
(-.f64 1 (*.f64 x x))
(*.f64 1/2 (*.f64 (-.f64 1 (*.f64 x x)) 2))
(-.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 2 (+.f64 (*.f64 x x) -1)) -2)
(-.f64 1 (*.f64 x x))
(/.f64 (*.f64 2 (*.f64 (-.f64 1 (*.f64 x x)) 4)) 8)
(-.f64 1 (*.f64 x x))
(/.f64 (+.f64 (*.f64 2 (*.f64 (-.f64 1 (*.f64 x x)) 4)) (*.f64 2 (*.f64 (-.f64 1 (*.f64 x x)) 4))) 16)
(-.f64 1 (*.f64 x x))
(neg.f64 (+.f64 (*.f64 x x) -1))
(-.f64 1 (*.f64 x x))
(+.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 0)
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(+.f64 0 (sqrt.f64 (-.f64 1 (*.f64 x x))))
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(-.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 0)
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(*.f64 1 (sqrt.f64 (-.f64 1 (*.f64 x x))))
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 1)
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(*.f64 2 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 2))
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(*.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 2) 1/2)
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(*.f64 1/2 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 2))
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 2) 2)
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 1)
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(/.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 2) 2)
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(/.f64 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 4) 4)
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(/.f64 (*.f64 2 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 4)) 8)
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(/.f64 (+.f64 (*.f64 2 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 4)) (*.f64 2 (*.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 4))) 16)
(sqrt.f64 (-.f64 1 (*.f64 x x)))

eval25.0ms (2.1%)

Compiler

Compiled 1266 to 1039 computations (17.9% saved)

prune9.0ms (0.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New81182
Fresh000
Picked011
Done000
Total81283
Error
0.0b
Counts
83 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(sqrt.f64 (-.f64 1 (*.f64 x x)))
▶1.0b
(sqrt.f64 1)
Compiler

Compiled 10 to 8 computations (20% saved)

localize2.0ms (0.2%)

Compiler

Compiled 4 to 4 computations (0% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune2.0ms (0.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done011
Total022
Error
0.0b
Counts
2 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(sqrt.f64 (-.f64 1 (*.f64 x x)))
✓1.0b
(sqrt.f64 1)
Compiler

Compiled 10 to 8 computations (20% saved)

regimes9.0ms (0.8%)

Accuracy

Total -1.0b remaining (-24932%)

Threshold costs -1.0b (-24932%)

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

4 calls:

3.0ms
x
2.0ms
(*.f64 x x)
2.0ms
(-.f64 1 (*.f64 x x))
2.0ms
(sqrt.f64 (-.f64 1 (*.f64 x x)))
Results
ErrorSegmentsBranch
0.0b1x
0.0b1(sqrt.f64 (-.f64 1 (*.f64 x x)))
0.0b1(-.f64 1 (*.f64 x x))
0.0b1(*.f64 x x)
Compiler

Compiled 28 to 19 computations (32.1% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0918
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(sqrt.f64 1)
Outputs
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(sqrt.f64 1)
1
Compiler

Compiled 9 to 7 computations (22.2% saved)

soundness0.0ms (0%)

end15.0ms (1.3%)

Compiler

Compiled 8 to 6 computations (25% saved)

Profiling

Loading profile data...