Details

Time bar (total: 1.5s)

analyze65.0ms (4.5%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
25%25%74.9%0.1%0%0%0%5
37.5%37.5%62.4%0.1%0%0%0%6
56.3%56.2%43.7%0.1%0%0%0%7
65.6%65.6%34.3%0.1%0%0%0%8
76.6%76.5%23.4%0.1%0%0%0%9
82%82%18%0.1%0%0%0%10
87.9%87.8%12.1%0.1%0%0%0%11
90.8%90.7%9.2%0.1%0%0%0%12
Compiler

Compiled 8 to 6 computations (25% saved)

sample614.0ms (42.2%)

Results
604.0ms8256×body256valid
Bogosity

preprocess13.0ms (0.9%)

Algorithm
2×egg-herbie
Rules
2×swap-x-y
2×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0926
1926
022
122
Stop Event
1×unsound
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
0
Call 2
Inputs
(/.f64 (+.f64 x y) 10)
(/.f64 (+.f64 y x) 10)
Outputs
(/.f64 (+.f64 x y) 10)
(/.f64 (+.f64 y x) 10)
(/.f64 (+.f64 x y) 10)
Symmetry

(sort x y)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify16.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
2×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
1813
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(/.f64 (+.f64 x y) 10)
Outputs
(/.f64 (+.f64 x y) 10)

eval0.0ms (0%)

Compiler

Compiled 7 to 5 computations (28.6% saved)

prune1.0ms (0%)

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
(/.f64 (+.f64 x y) 10)
Compiler

Compiled 7 to 5 computations (28.6% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (+.f64 x y) 10)
Compiler

Compiled 13 to 6 computations (53.8% saved)

series2.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
0.0ms
x
@inf
(/.f64 (+.f64 x y) 10)
0.0ms
y
@inf
(/.f64 (+.f64 x y) 10)
0.0ms
x
@-inf
(/.f64 (+.f64 x y) 10)
0.0ms
x
@0
(/.f64 (+.f64 x y) 10)
0.0ms
y
@-inf
(/.f64 (+.f64 x y) 10)

rewrite63.0ms (4.4%)

Algorithm
1×batch-egg-rewrite
Rules
1718×add-sqr-sqrt
1682×*-un-lft-identity
1592×add-cube-cbrt
1578×add-cbrt-cube
156×add-exp-log
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
115813
2208313
Stop Event
1×node limit
Counts
1 → 25
Calls
Call 1
Inputs
(/.f64 (+.f64 x y) 10)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x y) 1/10))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x y) 1/10)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x y) 1/10) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (+.f64 x y) 1/10))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 x y)) (*.f64 (sqrt.f64 (+.f64 x y)) 1/10))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 (+.f64 x y) 1/10)) (sqrt.f64 (*.f64 (+.f64 x y) 1/10)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 (cbrt.f64 (+.f64 x y)) 1/10))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (+.f64 x y) 1/10)) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) 1/10)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) 1/10)) 2) (cbrt.f64 (*.f64 (+.f64 x y) 1/10)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/10 (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 x y)) -1/10)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 x y) 1/10) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (+.f64 x y) 1/10)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) 1/10)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (+.f64 x y) 1/10) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 10 (+.f64 x y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (+.f64 x y) -10))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 1/100))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (+.f64 x y)) 1/10))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 x y) 1/10))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (+.f64 x y) 1/10) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (+.f64 x y) 1/10)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (+.f64 x y) 1/10)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (+.f64 x y) 1/10)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (+.f64 x y) 1/10)))))))

simplify65.0ms (4.4%)

Algorithm
1×egg-herbie
Rules
982×fma-def
908×associate-+r+
830×associate-+l+
796×associate-+r-
586×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
066601
1153601
2580601
32904601
47656601
Stop Event
1×node limit
Counts
49 → 29
Calls
Call 1
Inputs
(*.f64 1/10 y)
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 x)
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 x)
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 x)
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 y)
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 y)
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x y) 1/10))) 1)
(*.f64 (+.f64 x y) 1/10)
(*.f64 (*.f64 (+.f64 x y) 1/10) 1)
(*.f64 1 (*.f64 (+.f64 x y) 1/10))
(*.f64 (sqrt.f64 (+.f64 x y)) (*.f64 (sqrt.f64 (+.f64 x y)) 1/10))
(*.f64 (sqrt.f64 (*.f64 (+.f64 x y) 1/10)) (sqrt.f64 (*.f64 (+.f64 x y) 1/10)))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 (cbrt.f64 (+.f64 x y)) 1/10))
(*.f64 (cbrt.f64 (*.f64 (+.f64 x y) 1/10)) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) 1/10)) 2))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) 1/10)) 2) (cbrt.f64 (*.f64 (+.f64 x y) 1/10)))
(*.f64 1/10 (+.f64 x y))
(*.f64 (neg.f64 (+.f64 x y)) -1/10)
(pow.f64 (*.f64 (+.f64 x y) 1/10) 1)
(pow.f64 (sqrt.f64 (*.f64 (+.f64 x y) 1/10)) 2)
(pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) 1/10)) 3)
(pow.f64 (pow.f64 (*.f64 (+.f64 x y) 1/10) 3) 1/3)
(pow.f64 (/.f64 10 (+.f64 x y)) -1)
(neg.f64 (/.f64 (+.f64 x y) -10))
(sqrt.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 1/100))
(log.f64 (pow.f64 (exp.f64 (+.f64 x y)) 1/10))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 x y) 1/10))))
(cbrt.f64 (pow.f64 (*.f64 (+.f64 x y) 1/10) 3))
(expm1.f64 (log1p.f64 (*.f64 (+.f64 x y) 1/10)))
(exp.f64 (log.f64 (*.f64 (+.f64 x y) 1/10)))
(exp.f64 (*.f64 (log.f64 (*.f64 (+.f64 x y) 1/10)) 1))
(log1p.f64 (expm1.f64 (*.f64 (+.f64 x y) 1/10)))
Outputs
(*.f64 1/10 y)
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(*.f64 1/10 x)
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(*.f64 1/10 x)
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(*.f64 1/10 x)
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(*.f64 1/10 y)
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(*.f64 1/10 y)
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (+.f64 x y) 1/10))) 1)
(*.f64 1/10 (+.f64 y x))
(*.f64 (+.f64 x y) 1/10)
(*.f64 1/10 (+.f64 y x))
(*.f64 (*.f64 (+.f64 x y) 1/10) 1)
(*.f64 1/10 (+.f64 y x))
(*.f64 1 (*.f64 (+.f64 x y) 1/10))
(*.f64 1/10 (+.f64 y x))
(*.f64 (sqrt.f64 (+.f64 x y)) (*.f64 (sqrt.f64 (+.f64 x y)) 1/10))
(*.f64 1/10 (+.f64 y x))
(*.f64 (sqrt.f64 (*.f64 (+.f64 x y) 1/10)) (sqrt.f64 (*.f64 (+.f64 x y) 1/10)))
(*.f64 1/10 (+.f64 y x))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 (cbrt.f64 (+.f64 x y)) 1/10))
(*.f64 1/10 (+.f64 y x))
(*.f64 (cbrt.f64 (*.f64 (+.f64 x y) 1/10)) (pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) 1/10)) 2))
(*.f64 1/10 (+.f64 y x))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) 1/10)) 2) (cbrt.f64 (*.f64 (+.f64 x y) 1/10)))
(*.f64 1/10 (+.f64 y x))
(*.f64 1/10 (+.f64 x y))
(*.f64 1/10 (+.f64 y x))
(*.f64 (neg.f64 (+.f64 x y)) -1/10)
(*.f64 1/10 (+.f64 y x))
(pow.f64 (*.f64 (+.f64 x y) 1/10) 1)
(*.f64 1/10 (+.f64 y x))
(pow.f64 (sqrt.f64 (*.f64 (+.f64 x y) 1/10)) 2)
(*.f64 1/10 (+.f64 y x))
(pow.f64 (cbrt.f64 (*.f64 (+.f64 x y) 1/10)) 3)
(*.f64 1/10 (+.f64 y x))
(pow.f64 (pow.f64 (*.f64 (+.f64 x y) 1/10) 3) 1/3)
(*.f64 1/10 (+.f64 y x))
(pow.f64 (/.f64 10 (+.f64 x y)) -1)
(*.f64 1/10 (+.f64 y x))
(neg.f64 (/.f64 (+.f64 x y) -10))
(*.f64 1/10 (+.f64 y x))
(sqrt.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 1/100))
(*.f64 1/10 (+.f64 y x))
(log.f64 (pow.f64 (exp.f64 (+.f64 x y)) 1/10))
(*.f64 1/10 (+.f64 y x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 x y) 1/10))))
(*.f64 1/10 (+.f64 y x))
(cbrt.f64 (pow.f64 (*.f64 (+.f64 x y) 1/10) 3))
(*.f64 1/10 (+.f64 y x))
(expm1.f64 (log1p.f64 (*.f64 (+.f64 x y) 1/10)))
(*.f64 1/10 (+.f64 y x))
(exp.f64 (log.f64 (*.f64 (+.f64 x y) 1/10)))
(*.f64 1/10 (+.f64 y x))
(exp.f64 (*.f64 (log.f64 (*.f64 (+.f64 x y) 1/10)) 1))
(*.f64 1/10 (+.f64 y x))
(log1p.f64 (expm1.f64 (*.f64 (+.f64 x y) 1/10)))
(*.f64 1/10 (+.f64 y x))

eval5.0ms (0.3%)

Compiler

Compiled 233 to 136 computations (41.6% saved)

prune5.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New26329
Fresh000
Picked011
Done000
Total26430
Error
0b
Counts
30 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(/.f64 (+.f64 x y) 10)
▶0.4b
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
▶31.5b
(*.f64 1/10 y)
▶31.6b
(*.f64 1/10 x)
Compiler

Compiled 26 to 20 computations (23.1% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.4b
(*.f64 1/10 x)
Compiler

Compiled 7 to 5 computations (28.6% saved)

series1.0ms (0.1%)

Counts
1 → 0
Calls

3 calls:

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

rewrite54.0ms (3.7%)

Algorithm
1×batch-egg-rewrite
Rules
920×associate-*l*
902×add-sqr-sqrt
884×*-un-lft-identity
842×pow1
826×add-cube-cbrt
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
11007
211107
Stop Event
1×node limit
Counts
1 → 11
Calls
Call 1
Inputs
(*.f64 1/10 x)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 1/10 x) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/10 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 1/10 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 1/10 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 1/10 x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 x (*.f64 x 1/100)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/10) x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 1/10 x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/10 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 1/10 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/10 x)))))))

simplify61.0ms (4.2%)

Algorithm
1×egg-herbie
Rules
858×log-prod
798×associate-+r-
788×+-commutative
696×fma-def
682×*-commutative
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
033143
18477
226077
3180977
4398077
5642977
Stop Event
1×node limit
Counts
11 → 13
Calls
Call 1
Inputs
(-.f64 (+.f64 (*.f64 1/10 x) 1) 1)
(pow.f64 (*.f64 1/10 x) 1)
(pow.f64 (sqrt.f64 (*.f64 1/10 x)) 2)
(pow.f64 (cbrt.f64 (*.f64 1/10 x)) 3)
(pow.f64 (pow.f64 (*.f64 1/10 x) 3) 1/3)
(sqrt.f64 (*.f64 x (*.f64 x 1/100)))
(log.f64 (pow.f64 (exp.f64 1/10) x))
(cbrt.f64 (pow.f64 (*.f64 1/10 x) 3))
(expm1.f64 (log1p.f64 (*.f64 1/10 x)))
(exp.f64 (log.f64 (*.f64 1/10 x)))
(log1p.f64 (expm1.f64 (*.f64 1/10 x)))
Outputs
(-.f64 (+.f64 (*.f64 1/10 x) 1) 1)
(+.f64 (*.f64 1/10 x) 0)
(*.f64 1/10 x)
(pow.f64 (*.f64 1/10 x) 1)
(+.f64 (*.f64 1/10 x) 0)
(*.f64 1/10 x)
(pow.f64 (sqrt.f64 (*.f64 1/10 x)) 2)
(+.f64 (*.f64 1/10 x) 0)
(*.f64 1/10 x)
(pow.f64 (cbrt.f64 (*.f64 1/10 x)) 3)
(+.f64 (*.f64 1/10 x) 0)
(*.f64 1/10 x)
(pow.f64 (pow.f64 (*.f64 1/10 x) 3) 1/3)
(+.f64 (*.f64 1/10 x) 0)
(*.f64 1/10 x)
(sqrt.f64 (*.f64 x (*.f64 x 1/100)))
(+.f64 (*.f64 1/10 x) 0)
(*.f64 1/10 x)
(log.f64 (pow.f64 (exp.f64 1/10) x))
(+.f64 (*.f64 1/10 x) 0)
(*.f64 1/10 x)
(cbrt.f64 (pow.f64 (*.f64 1/10 x) 3))
(+.f64 (*.f64 1/10 x) 0)
(*.f64 1/10 x)
(expm1.f64 (log1p.f64 (*.f64 1/10 x)))
(+.f64 (*.f64 1/10 x) 0)
(*.f64 1/10 x)
(exp.f64 (log.f64 (*.f64 1/10 x)))
(+.f64 (*.f64 1/10 x) 0)
(*.f64 1/10 x)
(log1p.f64 (expm1.f64 (*.f64 1/10 x)))
(+.f64 (*.f64 1/10 x) 0)
(*.f64 1/10 x)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.4b
(*.f64 1/10 y)
Compiler

Compiled 7 to 5 computations (28.6% saved)

series1.0ms (0%)

Counts
1 → 0
Calls

3 calls:

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

rewrite94.0ms (6.4%)

Algorithm
1×batch-egg-rewrite
Rules
920×associate-*l*
902×add-sqr-sqrt
884×*-un-lft-identity
842×pow1
826×add-cube-cbrt
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
11007
211107
Stop Event
1×node limit
Counts
1 → 11
Calls
Call 1
Inputs
(*.f64 1/10 y)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 1/10 y) 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/10 y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 1/10 y)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 1/10 y)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 1/10 y) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 y (*.f64 y 1/100)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/10) y))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 1/10 y) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/10 y)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 1/10 y)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/10 y)))))))

simplify61.0ms (4.2%)

Algorithm
1×egg-herbie
Rules
858×log-prod
798×associate-+r-
788×+-commutative
696×fma-def
682×*-commutative
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
033143
18477
226077
3180977
4398077
5642977
Stop Event
1×node limit
Counts
11 → 13
Calls
Call 1
Inputs
(-.f64 (+.f64 (*.f64 1/10 y) 1) 1)
(pow.f64 (*.f64 1/10 y) 1)
(pow.f64 (sqrt.f64 (*.f64 1/10 y)) 2)
(pow.f64 (cbrt.f64 (*.f64 1/10 y)) 3)
(pow.f64 (pow.f64 (*.f64 1/10 y) 3) 1/3)
(sqrt.f64 (*.f64 y (*.f64 y 1/100)))
(log.f64 (pow.f64 (exp.f64 1/10) y))
(cbrt.f64 (pow.f64 (*.f64 1/10 y) 3))
(expm1.f64 (log1p.f64 (*.f64 1/10 y)))
(exp.f64 (log.f64 (*.f64 1/10 y)))
(log1p.f64 (expm1.f64 (*.f64 1/10 y)))
Outputs
(-.f64 (+.f64 (*.f64 1/10 y) 1) 1)
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(pow.f64 (*.f64 1/10 y) 1)
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(pow.f64 (sqrt.f64 (*.f64 1/10 y)) 2)
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(pow.f64 (cbrt.f64 (*.f64 1/10 y)) 3)
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(pow.f64 (pow.f64 (*.f64 1/10 y) 3) 1/3)
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(sqrt.f64 (*.f64 y (*.f64 y 1/100)))
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(log.f64 (pow.f64 (exp.f64 1/10) y))
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(cbrt.f64 (pow.f64 (*.f64 1/10 y) 3))
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(expm1.f64 (log1p.f64 (*.f64 1/10 y)))
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(exp.f64 (log.f64 (*.f64 1/10 y)))
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(log1p.f64 (expm1.f64 (*.f64 1/10 y)))
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)

localize7.0ms (0.5%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
0.4b
(*.f64 1/10 y)
0.4b
(*.f64 1/10 x)
Compiler

Compiled 18 to 12 computations (33.3% saved)

series1.0ms (0.1%)

Counts
1 → 6
Calls

6 calls:

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

rewrite81.0ms (5.5%)

Algorithm
1×batch-egg-rewrite
Rules
1858×add-sqr-sqrt
1832×*-un-lft-identity
1718×add-cube-cbrt
1702×add-cbrt-cube
176×pow1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
117413
2226413
Stop Event
1×node limit
Counts
1 → 41
Calls
Call 1
Inputs
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 1/10 (+.f64 y x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 1/10 (-.f64 y x))) (/.f64 (pow.f64 (*.f64 1/10 x) 2) (*.f64 1/10 (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/10 (+.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/10 (+.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 1/10 (+.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 1/10 (+.f64 y x))) (sqrt.f64 (*.f64 1/10 (+.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 1/10 (+.f64 y x))) (pow.f64 (cbrt.f64 (*.f64 1/10 (+.f64 y x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 1/10 (+.f64 y x))) 2) (cbrt.f64 (*.f64 1/10 (+.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y x) 1/10)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 1/100 (*.f64 y y)) (pow.f64 (*.f64 1/10 x) 2)) (/.f64 1 (*.f64 1/10 (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 1/1000 (pow.f64 y 3)) (pow.f64 (*.f64 1/10 x) 3)) (/.f64 1 (+.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 (*.f64 1/10 x) (-.f64 (*.f64 1/10 x) (*.f64 1/10 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 1/10 (-.f64 y x)) (-.f64 (*.f64 1/100 (*.f64 y y)) (pow.f64 (*.f64 1/10 x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 (*.f64 1/10 x) (-.f64 (*.f64 1/10 x) (*.f64 1/10 y)))) (+.f64 (*.f64 1/1000 (pow.f64 y 3)) (pow.f64 (*.f64 1/10 x) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 1/100 (*.f64 y y)) (pow.f64 (*.f64 1/10 x) 2)) (*.f64 1/10 (-.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 1/1000 (pow.f64 y 3)) (pow.f64 (*.f64 1/10 x) 3)) (+.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 (*.f64 1/10 x) (-.f64 (*.f64 1/10 x) (*.f64 1/10 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 1/1000 (pow.f64 y 3)) (pow.f64 (*.f64 1/10 x) 3)) (+.f64 (pow.f64 (*.f64 1/10 x) 2) (-.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 1/10 (*.f64 y (*.f64 1/10 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 1/10 x) 2) (*.f64 1/100 (*.f64 y y))) (-.f64 (*.f64 1/10 x) (*.f64 1/10 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 1/100 (*.f64 y y)) (pow.f64 (*.f64 1/10 x) 2))) (neg.f64 (*.f64 1/10 (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (*.f64 1/1000 (pow.f64 y 3)) (pow.f64 (*.f64 1/10 x) 3))) (neg.f64 (+.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 (*.f64 1/10 x) (-.f64 (*.f64 1/10 x) (*.f64 1/10 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/10 (+.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 1/10 (+.f64 y x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 1/10 (+.f64 y x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 1/10 (+.f64 y x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 1/10 (+.f64 y x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/10) (+.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 1/10 (+.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 1/10 (+.f64 y x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/10 (+.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 1/10 (+.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 1/10 (+.f64 y x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/10 (+.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/10 y (*.f64 1/10 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/10 x (*.f64 1/10 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y 1/10 (*.f64 1/10 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 1/10 (*.f64 1/10 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 1/10 y) (*.f64 1/10 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 1/10 x) (*.f64 1/10 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 1/10 y)) (sqrt.f64 (*.f64 1/10 y)) (*.f64 1/10 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 1/10 x)) (sqrt.f64 (*.f64 1/10 x)) (*.f64 1/10 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 1/100 (*.f64 y y))) (cbrt.f64 (*.f64 1/10 y)) (*.f64 1/10 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 1/10 x)) 2) (cbrt.f64 (*.f64 1/10 x)) (*.f64 1/10 y))))))

simplify59.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
1168×associate-/r*
1048×associate-*r/
782×associate-+r+
666×associate-+l+
650×associate-*l/
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01041139
12771099
210471063
340331063
Stop Event
1×node limit
Counts
47 → 53
Calls
Call 1
Inputs
(*.f64 1/10 x)
(*.f64 1/10 y)
(*.f64 1/10 y)
(*.f64 1/10 y)
(*.f64 1/10 x)
(*.f64 1/10 x)
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/10 (+.f64 y x)))) 1)
(-.f64 (/.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 1/10 (-.f64 y x))) (/.f64 (pow.f64 (*.f64 1/10 x) 2) (*.f64 1/10 (-.f64 y x))))
(*.f64 1/10 (+.f64 y x))
(*.f64 (*.f64 1/10 (+.f64 y x)) 1)
(*.f64 1 (*.f64 1/10 (+.f64 y x)))
(*.f64 (sqrt.f64 (*.f64 1/10 (+.f64 y x))) (sqrt.f64 (*.f64 1/10 (+.f64 y x))))
(*.f64 (cbrt.f64 (*.f64 1/10 (+.f64 y x))) (pow.f64 (cbrt.f64 (*.f64 1/10 (+.f64 y x))) 2))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 1/10 (+.f64 y x))) 2) (cbrt.f64 (*.f64 1/10 (+.f64 y x))))
(*.f64 (+.f64 y x) 1/10)
(*.f64 (-.f64 (*.f64 1/100 (*.f64 y y)) (pow.f64 (*.f64 1/10 x) 2)) (/.f64 1 (*.f64 1/10 (-.f64 y x))))
(*.f64 (+.f64 (*.f64 1/1000 (pow.f64 y 3)) (pow.f64 (*.f64 1/10 x) 3)) (/.f64 1 (+.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 (*.f64 1/10 x) (-.f64 (*.f64 1/10 x) (*.f64 1/10 y))))))
(/.f64 1 (/.f64 (*.f64 1/10 (-.f64 y x)) (-.f64 (*.f64 1/100 (*.f64 y y)) (pow.f64 (*.f64 1/10 x) 2))))
(/.f64 1 (/.f64 (+.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 (*.f64 1/10 x) (-.f64 (*.f64 1/10 x) (*.f64 1/10 y)))) (+.f64 (*.f64 1/1000 (pow.f64 y 3)) (pow.f64 (*.f64 1/10 x) 3))))
(/.f64 (-.f64 (*.f64 1/100 (*.f64 y y)) (pow.f64 (*.f64 1/10 x) 2)) (*.f64 1/10 (-.f64 y x)))
(/.f64 (+.f64 (*.f64 1/1000 (pow.f64 y 3)) (pow.f64 (*.f64 1/10 x) 3)) (+.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 (*.f64 1/10 x) (-.f64 (*.f64 1/10 x) (*.f64 1/10 y)))))
(/.f64 (+.f64 (*.f64 1/1000 (pow.f64 y 3)) (pow.f64 (*.f64 1/10 x) 3)) (+.f64 (pow.f64 (*.f64 1/10 x) 2) (-.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 1/10 (*.f64 y (*.f64 1/10 x))))))
(/.f64 (-.f64 (pow.f64 (*.f64 1/10 x) 2) (*.f64 1/100 (*.f64 y y))) (-.f64 (*.f64 1/10 x) (*.f64 1/10 y)))
(/.f64 (neg.f64 (-.f64 (*.f64 1/100 (*.f64 y y)) (pow.f64 (*.f64 1/10 x) 2))) (neg.f64 (*.f64 1/10 (-.f64 y x))))
(/.f64 (neg.f64 (+.f64 (*.f64 1/1000 (pow.f64 y 3)) (pow.f64 (*.f64 1/10 x) 3))) (neg.f64 (+.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 (*.f64 1/10 x) (-.f64 (*.f64 1/10 x) (*.f64 1/10 y))))))
(pow.f64 (*.f64 1/10 (+.f64 y x)) 1)
(pow.f64 (sqrt.f64 (*.f64 1/10 (+.f64 y x))) 2)
(pow.f64 (cbrt.f64 (*.f64 1/10 (+.f64 y x))) 3)
(pow.f64 (pow.f64 (*.f64 1/10 (+.f64 y x)) 3) 1/3)
(sqrt.f64 (pow.f64 (*.f64 1/10 (+.f64 y x)) 2))
(log.f64 (pow.f64 (exp.f64 1/10) (+.f64 y x)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/10 (+.f64 y x)))))
(cbrt.f64 (pow.f64 (*.f64 1/10 (+.f64 y x)) 3))
(expm1.f64 (log1p.f64 (*.f64 1/10 (+.f64 y x))))
(exp.f64 (log.f64 (*.f64 1/10 (+.f64 y x))))
(exp.f64 (*.f64 (log.f64 (*.f64 1/10 (+.f64 y x))) 1))
(log1p.f64 (expm1.f64 (*.f64 1/10 (+.f64 y x))))
(fma.f64 1/10 y (*.f64 1/10 x))
(fma.f64 1/10 x (*.f64 1/10 y))
(fma.f64 y 1/10 (*.f64 1/10 x))
(fma.f64 x 1/10 (*.f64 1/10 y))
(fma.f64 1 (*.f64 1/10 y) (*.f64 1/10 x))
(fma.f64 1 (*.f64 1/10 x) (*.f64 1/10 y))
(fma.f64 (sqrt.f64 (*.f64 1/10 y)) (sqrt.f64 (*.f64 1/10 y)) (*.f64 1/10 x))
(fma.f64 (sqrt.f64 (*.f64 1/10 x)) (sqrt.f64 (*.f64 1/10 x)) (*.f64 1/10 y))
(fma.f64 (cbrt.f64 (*.f64 1/100 (*.f64 y y))) (cbrt.f64 (*.f64 1/10 y)) (*.f64 1/10 x))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 1/10 x)) 2) (cbrt.f64 (*.f64 1/10 x)) (*.f64 1/10 y))
Outputs
(*.f64 1/10 x)
(*.f64 1/10 y)
(*.f64 1/10 y)
(*.f64 1/10 y)
(*.f64 1/10 x)
(*.f64 1/10 x)
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/10 (+.f64 y x)))) 1)
(*.f64 1/10 (+.f64 x y))
(-.f64 (/.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 1/10 (-.f64 y x))) (/.f64 (pow.f64 (*.f64 1/10 x) 2) (*.f64 1/10 (-.f64 y x))))
(/.f64 (-.f64 (*.f64 1/100 (*.f64 y y)) (pow.f64 (*.f64 1/10 x) 2)) (*.f64 1/10 (-.f64 y x)))
(*.f64 (-.f64 (*.f64 y (*.f64 y 1/100)) (*.f64 1/100 (*.f64 x x))) (/.f64 10 (-.f64 y x)))
(/.f64 (*.f64 1/100 (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (-.f64 y x) -1/10))
(*.f64 (*.f64 1/100 (-.f64 (*.f64 x x) (*.f64 y y))) (/.f64 -10 (-.f64 y x)))
(*.f64 1/10 (+.f64 y x))
(*.f64 1/10 (+.f64 x y))
(*.f64 (*.f64 1/10 (+.f64 y x)) 1)
(*.f64 1/10 (+.f64 x y))
(*.f64 1 (*.f64 1/10 (+.f64 y x)))
(*.f64 1/10 (+.f64 x y))
(*.f64 (sqrt.f64 (*.f64 1/10 (+.f64 y x))) (sqrt.f64 (*.f64 1/10 (+.f64 y x))))
(*.f64 1/10 (+.f64 x y))
(*.f64 (cbrt.f64 (*.f64 1/10 (+.f64 y x))) (pow.f64 (cbrt.f64 (*.f64 1/10 (+.f64 y x))) 2))
(*.f64 1/10 (+.f64 x y))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 1/10 (+.f64 y x))) 2) (cbrt.f64 (*.f64 1/10 (+.f64 y x))))
(*.f64 1/10 (+.f64 x y))
(*.f64 (+.f64 y x) 1/10)
(*.f64 1/10 (+.f64 x y))
(*.f64 (-.f64 (*.f64 1/100 (*.f64 y y)) (pow.f64 (*.f64 1/10 x) 2)) (/.f64 1 (*.f64 1/10 (-.f64 y x))))
(/.f64 (-.f64 (*.f64 1/100 (*.f64 y y)) (pow.f64 (*.f64 1/10 x) 2)) (*.f64 1/10 (-.f64 y x)))
(*.f64 (-.f64 (*.f64 y (*.f64 y 1/100)) (*.f64 1/100 (*.f64 x x))) (/.f64 10 (-.f64 y x)))
(/.f64 (*.f64 1/100 (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (-.f64 y x) -1/10))
(*.f64 (*.f64 1/100 (-.f64 (*.f64 x x) (*.f64 y y))) (/.f64 -10 (-.f64 y x)))
(*.f64 (+.f64 (*.f64 1/1000 (pow.f64 y 3)) (pow.f64 (*.f64 1/10 x) 3)) (/.f64 1 (+.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 (*.f64 1/10 x) (-.f64 (*.f64 1/10 x) (*.f64 1/10 y))))))
(/.f64 (*.f64 (fma.f64 1/1000 (pow.f64 y 3) (*.f64 1/1000 (pow.f64 x 3))) 1) (fma.f64 1/100 (*.f64 y y) (*.f64 1/10 (*.f64 x (*.f64 1/10 (-.f64 x y))))))
(/.f64 (*.f64 1/1000 (+.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 1/10 (*.f64 x (*.f64 1/10 (-.f64 x y))) (*.f64 y (*.f64 y 1/100))))
(/.f64 1/1000 (/.f64 (fma.f64 (*.f64 1/10 x) (*.f64 (-.f64 y x) -1/10) (*.f64 1/100 (*.f64 y y))) (+.f64 (pow.f64 y 3) (pow.f64 x 3))))
(/.f64 (*.f64 1/1000 (+.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 (*.f64 1/10 x) (*.f64 (-.f64 y x) -1/10) (*.f64 y (*.f64 y 1/100))))
(/.f64 1 (/.f64 (*.f64 1/10 (-.f64 y x)) (-.f64 (*.f64 1/100 (*.f64 y y)) (pow.f64 (*.f64 1/10 x) 2))))
(/.f64 (-.f64 (*.f64 1/100 (*.f64 y y)) (pow.f64 (*.f64 1/10 x) 2)) (*.f64 1/10 (-.f64 y x)))
(*.f64 (-.f64 (*.f64 y (*.f64 y 1/100)) (*.f64 1/100 (*.f64 x x))) (/.f64 10 (-.f64 y x)))
(/.f64 (*.f64 1/100 (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (-.f64 y x) -1/10))
(*.f64 (*.f64 1/100 (-.f64 (*.f64 x x) (*.f64 y y))) (/.f64 -10 (-.f64 y x)))
(/.f64 1 (/.f64 (+.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 (*.f64 1/10 x) (-.f64 (*.f64 1/10 x) (*.f64 1/10 y)))) (+.f64 (*.f64 1/1000 (pow.f64 y 3)) (pow.f64 (*.f64 1/10 x) 3))))
(/.f64 (*.f64 (fma.f64 1/1000 (pow.f64 y 3) (*.f64 1/1000 (pow.f64 x 3))) 1) (fma.f64 1/100 (*.f64 y y) (*.f64 1/10 (*.f64 x (*.f64 1/10 (-.f64 x y))))))
(/.f64 (*.f64 1/1000 (+.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 1/10 (*.f64 x (*.f64 1/10 (-.f64 x y))) (*.f64 y (*.f64 y 1/100))))
(/.f64 1/1000 (/.f64 (fma.f64 (*.f64 1/10 x) (*.f64 (-.f64 y x) -1/10) (*.f64 1/100 (*.f64 y y))) (+.f64 (pow.f64 y 3) (pow.f64 x 3))))
(/.f64 (*.f64 1/1000 (+.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 (*.f64 1/10 x) (*.f64 (-.f64 y x) -1/10) (*.f64 y (*.f64 y 1/100))))
(/.f64 (-.f64 (*.f64 1/100 (*.f64 y y)) (pow.f64 (*.f64 1/10 x) 2)) (*.f64 1/10 (-.f64 y x)))
(*.f64 (-.f64 (*.f64 y (*.f64 y 1/100)) (*.f64 1/100 (*.f64 x x))) (/.f64 10 (-.f64 y x)))
(/.f64 (*.f64 1/100 (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (-.f64 y x) -1/10))
(*.f64 (*.f64 1/100 (-.f64 (*.f64 x x) (*.f64 y y))) (/.f64 -10 (-.f64 y x)))
(/.f64 (+.f64 (*.f64 1/1000 (pow.f64 y 3)) (pow.f64 (*.f64 1/10 x) 3)) (+.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 (*.f64 1/10 x) (-.f64 (*.f64 1/10 x) (*.f64 1/10 y)))))
(/.f64 (*.f64 (fma.f64 1/1000 (pow.f64 y 3) (*.f64 1/1000 (pow.f64 x 3))) 1) (fma.f64 1/100 (*.f64 y y) (*.f64 1/10 (*.f64 x (*.f64 1/10 (-.f64 x y))))))
(/.f64 (*.f64 1/1000 (+.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 1/10 (*.f64 x (*.f64 1/10 (-.f64 x y))) (*.f64 y (*.f64 y 1/100))))
(/.f64 1/1000 (/.f64 (fma.f64 (*.f64 1/10 x) (*.f64 (-.f64 y x) -1/10) (*.f64 1/100 (*.f64 y y))) (+.f64 (pow.f64 y 3) (pow.f64 x 3))))
(/.f64 (*.f64 1/1000 (+.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 (*.f64 1/10 x) (*.f64 (-.f64 y x) -1/10) (*.f64 y (*.f64 y 1/100))))
(/.f64 (+.f64 (*.f64 1/1000 (pow.f64 y 3)) (pow.f64 (*.f64 1/10 x) 3)) (+.f64 (pow.f64 (*.f64 1/10 x) 2) (-.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 1/10 (*.f64 y (*.f64 1/10 x))))))
(/.f64 (*.f64 (fma.f64 1/1000 (pow.f64 y 3) (*.f64 1/1000 (pow.f64 x 3))) 1) (fma.f64 1/100 (*.f64 y y) (*.f64 1/10 (*.f64 x (*.f64 1/10 (-.f64 x y))))))
(/.f64 (*.f64 1/1000 (+.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 1/10 (*.f64 x (*.f64 1/10 (-.f64 x y))) (*.f64 y (*.f64 y 1/100))))
(/.f64 1/1000 (/.f64 (fma.f64 (*.f64 1/10 x) (*.f64 (-.f64 y x) -1/10) (*.f64 1/100 (*.f64 y y))) (+.f64 (pow.f64 y 3) (pow.f64 x 3))))
(/.f64 (*.f64 1/1000 (+.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 (*.f64 1/10 x) (*.f64 (-.f64 y x) -1/10) (*.f64 y (*.f64 y 1/100))))
(/.f64 (-.f64 (pow.f64 (*.f64 1/10 x) 2) (*.f64 1/100 (*.f64 y y))) (-.f64 (*.f64 1/10 x) (*.f64 1/10 y)))
(/.f64 (-.f64 (*.f64 1/100 (*.f64 y y)) (pow.f64 (*.f64 1/10 x) 2)) (*.f64 1/10 (-.f64 y x)))
(*.f64 (-.f64 (*.f64 y (*.f64 y 1/100)) (*.f64 1/100 (*.f64 x x))) (/.f64 10 (-.f64 y x)))
(/.f64 (*.f64 1/100 (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (-.f64 y x) -1/10))
(*.f64 (*.f64 1/100 (-.f64 (*.f64 x x) (*.f64 y y))) (/.f64 -10 (-.f64 y x)))
(/.f64 (neg.f64 (-.f64 (*.f64 1/100 (*.f64 y y)) (pow.f64 (*.f64 1/10 x) 2))) (neg.f64 (*.f64 1/10 (-.f64 y x))))
(/.f64 (-.f64 (*.f64 1/100 (*.f64 y y)) (pow.f64 (*.f64 1/10 x) 2)) (*.f64 1/10 (-.f64 y x)))
(*.f64 (-.f64 (*.f64 y (*.f64 y 1/100)) (*.f64 1/100 (*.f64 x x))) (/.f64 10 (-.f64 y x)))
(/.f64 (*.f64 1/100 (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (-.f64 y x) -1/10))
(*.f64 (*.f64 1/100 (-.f64 (*.f64 x x) (*.f64 y y))) (/.f64 -10 (-.f64 y x)))
(/.f64 (neg.f64 (+.f64 (*.f64 1/1000 (pow.f64 y 3)) (pow.f64 (*.f64 1/10 x) 3))) (neg.f64 (+.f64 (*.f64 1/100 (*.f64 y y)) (*.f64 (*.f64 1/10 x) (-.f64 (*.f64 1/10 x) (*.f64 1/10 y))))))
(/.f64 (*.f64 (fma.f64 1/1000 (pow.f64 y 3) (*.f64 1/1000 (pow.f64 x 3))) 1) (fma.f64 1/100 (*.f64 y y) (*.f64 1/10 (*.f64 x (*.f64 1/10 (-.f64 x y))))))
(/.f64 (*.f64 1/1000 (+.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 1/10 (*.f64 x (*.f64 1/10 (-.f64 x y))) (*.f64 y (*.f64 y 1/100))))
(/.f64 1/1000 (/.f64 (fma.f64 (*.f64 1/10 x) (*.f64 (-.f64 y x) -1/10) (*.f64 1/100 (*.f64 y y))) (+.f64 (pow.f64 y 3) (pow.f64 x 3))))
(/.f64 (*.f64 1/1000 (+.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 (*.f64 1/10 x) (*.f64 (-.f64 y x) -1/10) (*.f64 y (*.f64 y 1/100))))
(pow.f64 (*.f64 1/10 (+.f64 y x)) 1)
(*.f64 1/10 (+.f64 x y))
(pow.f64 (sqrt.f64 (*.f64 1/10 (+.f64 y x))) 2)
(*.f64 1/10 (+.f64 x y))
(pow.f64 (cbrt.f64 (*.f64 1/10 (+.f64 y x))) 3)
(*.f64 1/10 (+.f64 x y))
(pow.f64 (pow.f64 (*.f64 1/10 (+.f64 y x)) 3) 1/3)
(*.f64 1/10 (+.f64 x y))
(sqrt.f64 (pow.f64 (*.f64 1/10 (+.f64 y x)) 2))
(*.f64 1/10 (+.f64 x y))
(log.f64 (pow.f64 (exp.f64 1/10) (+.f64 y x)))
(*.f64 1/10 (+.f64 x y))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/10 (+.f64 y x)))))
(*.f64 1/10 (+.f64 x y))
(cbrt.f64 (pow.f64 (*.f64 1/10 (+.f64 y x)) 3))
(*.f64 1/10 (+.f64 x y))
(expm1.f64 (log1p.f64 (*.f64 1/10 (+.f64 y x))))
(*.f64 1/10 (+.f64 x y))
(exp.f64 (log.f64 (*.f64 1/10 (+.f64 y x))))
(*.f64 1/10 (+.f64 x y))
(exp.f64 (*.f64 (log.f64 (*.f64 1/10 (+.f64 y x))) 1))
(*.f64 1/10 (+.f64 x y))
(log1p.f64 (expm1.f64 (*.f64 1/10 (+.f64 y x))))
(*.f64 1/10 (+.f64 x y))
(fma.f64 1/10 y (*.f64 1/10 x))
(*.f64 1/10 (+.f64 x y))
(fma.f64 1/10 x (*.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(fma.f64 y 1/10 (*.f64 1/10 x))
(*.f64 1/10 (+.f64 x y))
(fma.f64 x 1/10 (*.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(fma.f64 1 (*.f64 1/10 y) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 x y))
(fma.f64 1 (*.f64 1/10 x) (*.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(fma.f64 (sqrt.f64 (*.f64 1/10 y)) (sqrt.f64 (*.f64 1/10 y)) (*.f64 1/10 x))
(*.f64 1/10 (+.f64 x y))
(fma.f64 (sqrt.f64 (*.f64 1/10 x)) (sqrt.f64 (*.f64 1/10 x)) (*.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(fma.f64 (cbrt.f64 (*.f64 1/100 (*.f64 y y))) (cbrt.f64 (*.f64 1/10 y)) (*.f64 1/10 x))
(fma.f64 (cbrt.f64 (*.f64 y (*.f64 y 1/100))) (cbrt.f64 (*.f64 1/10 y)) (*.f64 1/10 x))
(fma.f64 1/10 x (*.f64 (cbrt.f64 (*.f64 1/100 (*.f64 y y))) (cbrt.f64 (*.f64 1/10 y))))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 1/10 x)) 2) (cbrt.f64 (*.f64 1/10 x)) (*.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))

eval24.0ms (1.6%)

Compiler

Compiled 1106 to 776 computations (29.8% saved)

prune14.0ms (1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1050105
Fresh000
Picked011
Done033
Total1054109
Error
0b
Counts
109 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(/.f64 (+.f64 x y) 10)
✓0.4b
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
✓31.5b
(*.f64 1/10 y)
✓31.6b
(*.f64 1/10 x)
Compiler

Compiled 26 to 20 computations (23.1% saved)

regimes46.0ms (3.2%)

Counts
4 → 1
Calls
Call 1
Inputs
(*.f64 1/10 x)
(*.f64 1/10 y)
(/.f64 (+.f64 x y) 10)
(+.f64 (*.f64 1/10 y) (*.f64 1/10 x))
Outputs
(/.f64 (+.f64 x y) 10)
Calls

4 calls:

34.0ms
y
4.0ms
(/.f64 (+.f64 x y) 10)
4.0ms
(+.f64 x y)
4.0ms
x
Results
ErrorSegmentsBranch
0.0b1x
0.0b1y
0.0b1(/.f64 (+.f64 x y) 10)
0.0b1(+.f64 x y)
Compiler

Compiled 38 to 26 computations (31.6% saved)

regimes23.0ms (1.6%)

Accuracy

Total -53.5b remaining (-631.4%)

Threshold costs -53.5b (-631.4%)

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

2 calls:

13.0ms
x
9.0ms
y
Results
ErrorSegmentsBranch
10.2b4x
8.5b2y
Compiler

Compiled 14 to 10 computations (28.6% saved)

bsearch10.0ms (0.7%)

Algorithm
1×binary-search
Steps
TimeLeftRight
10.0ms
6.7129993031591135e-74
7.084156138401772e-72
Results
9.0ms112×body256valid
Compiler

Compiled 96 to 79 computations (17.7% saved)

simplify4.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
4×*-commutative
2×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01643
11943
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(/.f64 (+.f64 x y) 10)
(if (<=.f64 y 205145835019037/124330809102446660538845562036705210025114037699336929360115994223289874253133343883264) (*.f64 1/10 x) (*.f64 1/10 y))
(*.f64 1/10 x)
Outputs
(/.f64 (+.f64 x y) 10)
(if (<=.f64 y 205145835019037/124330809102446660538845562036705210025114037699336929360115994223289874253133343883264) (*.f64 1/10 x) (*.f64 1/10 y))
(if (<=.f64 y 205145835019037/124330809102446660538845562036705210025114037699336929360115994223289874253133343883264) (*.f64 x 1/10) (*.f64 y 1/10))
(*.f64 1/10 x)
(*.f64 x 1/10)
Compiler

Compiled 24 to 18 computations (25% saved)

soundness0.0ms (0%)

end54.0ms (3.7%)

Remove

(sort x y)

Compiler

Compiled 34 to 24 computations (29.4% saved)

Profiling

Loading profile data...