Details

Time bar (total: 10.4s)

analyze5.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%49.7%50.3%0
0%49.7%50.3%1
0%49.7%50.3%2
24.8%24.8%50.3%3
37.3%12.4%50.3%4
43.5%6.2%50.3%5
46.6%3.1%50.3%6
48.1%1.6%50.3%7
48.9%0.8%50.3%8
49.3%0.4%50.3%9
49.5%0.2%50.3%10
49.6%0.1%50.3%11
49.6%0%50.3%12
49.7%0%50.3%13
49.7%0%50.3%14
Compiler

Compiled 16 to 12 computations (25% saved)

sample9.6s (93.1%)

Results
7.7s4225×body2048valid
1.3s2046×body1024valid
348.0ms1017×body512valid
191.0ms209×body4096valid
110.0ms490×body256valid
37.0ms269×body128valid

preprocess19.0ms (0.2%)

Algorithm
2×egg-herbie
Rules
39×fma-def_binary64
32×fma-neg_binary64
15×cancel-sign-sub-inv_binary64
12×sub-neg_binary64
10×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0712
11112
21712
32512
43512
55312
69012
712412
816912
920512
1023112
1123312
011
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
Outputs
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify9.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
39×fma-def_binary64
32×fma-neg_binary64
15×cancel-sign-sub-inv_binary64
12×sub-neg_binary64
10×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0712
11112
21712
32512
43512
55312
69012
712412
816912
920512
1023112
1123312
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
Outputs
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
60.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶60.0b
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
Compiler

Compiled 35 to 26 computations (25.7% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓3.2b
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))

series3.0ms (0%)

Counts
1 → 12
Calls

3 calls:

TimeVariablePointExpression
1.0ms
x
@0
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
1.0ms
x
@inf
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
1.0ms
x
@-inf
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))

rewrite40.0ms (0.4%)

Algorithm
1×batch-egg-rewrite
Rules
823×log1p-expm1-u_binary64
823×expm1-log1p-u_binary64
84×add-sqr-sqrt_binary64
81×*-un-lft-identity_binary64
81×pow1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0712
116012
2235812
Stop Event
1×node limit
Counts
1 → 45
Calls
Call 1
Inputs
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 x) (*.f64 (/.f64 -1 (tan.f64 x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x))) (fma.f64 (/.f64 -1 (tan.f64 x)) 1 (/.f64 1 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x))) (fma.f64 (neg.f64 (/.f64 1 (cbrt.f64 (tan.f64 x)))) (cbrt.f64 (pow.f64 (tan.f64 x) -2)) (/.f64 1 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x))) (fma.f64 (neg.f64 (pow.f64 (tan.f64 x) -1/2)) (pow.f64 (tan.f64 x) -1/2) (/.f64 1 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 -1 (tan.f64 x)) (/.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))) (pow.f64 (cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))) 2) (cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))) (sqrt.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (tan.f64 x) x) (/.f64 (/.f64 1 x) (tan.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 x -3) (pow.f64 (tan.f64 x) -3)) (/.f64 1 (+.f64 (pow.f64 x -2) (+.f64 (pow.f64 (tan.f64 x) -2) (/.f64 (/.f64 1 x) (tan.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 x -2) (pow.f64 (tan.f64 x) -2)) (/.f64 1 (+.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 x -1/2) (pow.f64 (tan.f64 x) -1/2)) (-.f64 (pow.f64 x -1/2) (pow.f64 (tan.f64 x) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 (tan.f64 x) x) (-.f64 (tan.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 x -2) (+.f64 (pow.f64 (tan.f64 x) -2) (/.f64 (/.f64 1 x) (tan.f64 x)))) (-.f64 (pow.f64 x -3) (pow.f64 (tan.f64 x) -3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) (-.f64 (pow.f64 x -2) (pow.f64 (tan.f64 x) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (tan.f64 x) x) (*.f64 (tan.f64 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x -3) (pow.f64 (tan.f64 x) -3)) (+.f64 (pow.f64 x -2) (+.f64 (pow.f64 (tan.f64 x) -2) (/.f64 (/.f64 1 x) (tan.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x -2) (pow.f64 (tan.f64 x) -2)) (+.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (tan.f64 x) x)) (neg.f64 (*.f64 (tan.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 x -3) (pow.f64 (tan.f64 x) -3))) (neg.f64 (+.f64 (pow.f64 x -2) (+.f64 (pow.f64 (tan.f64 x) -2) (/.f64 (/.f64 1 x) (tan.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 x -2) (pow.f64 (tan.f64 x) -2))) (neg.f64 (+.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (neg.f64 (tan.f64 x)) (*.f64 (neg.f64 x) 1)) (*.f64 (neg.f64 x) (tan.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (neg.f64 (tan.f64 x)) (*.f64 x -1)) (*.f64 x (neg.f64 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 -1 (neg.f64 (tan.f64 x))) (*.f64 (neg.f64 x) -1)) (*.f64 (neg.f64 x) (neg.f64 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x -3) (pow.f64 (/.f64 -1 (tan.f64 x)) 3)) (+.f64 (pow.f64 x -2) (-.f64 (*.f64 (/.f64 -1 (tan.f64 x)) (/.f64 -1 (tan.f64 x))) (*.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x -2) (*.f64 (/.f64 -1 (tan.f64 x)) (/.f64 -1 (tan.f64 x)))) (-.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (tan.f64 x) x) x) (tan.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x -2)) (cbrt.f64 (/.f64 1 x)) (/.f64 -1 (tan.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x -1/2) (pow.f64 x -1/2) (/.f64 -1 (tan.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))) 1))))))

simplify56.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
624×unswap-sqr_binary64
537×fma-def_binary64
516×sqr-pow_binary64
297×associate-*l*_binary64
210×*-commutative_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
030168
174162
2153162
3366162
4670162
51415162
62079162
73069162
83286162
93613162
104016162
114548162
Stop Event
1×node limit
Counts
57 → 56
Calls
Call 1
Inputs
(*.f64 1/3 x)
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(+.f64 (*.f64 1/3 x) (+.f64 (*.f64 2/945 (pow.f64 x 5)) (*.f64 1/45 (pow.f64 x 3))))
(+.f64 (*.f64 1/3 x) (+.f64 (*.f64 2/945 (pow.f64 x 5)) (+.f64 (*.f64 1/45 (pow.f64 x 3)) (*.f64 1/4725 (pow.f64 x 7)))))
(*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x)))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x)))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
Outputs
(*.f64 1/3 x)
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
(*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))
(+.f64 (*.f64 1/3 x) (+.f64 (*.f64 2/945 (pow.f64 x 5)) (*.f64 1/45 (pow.f64 x 3))))
(fma.f64 1/3 x (fma.f64 2/945 (pow.f64 x 5) (*.f64 1/45 (pow.f64 x 3))))
(fma.f64 1/3 x (fma.f64 1/45 (pow.f64 x 3) (*.f64 2/945 (pow.f64 x 5))))
(fma.f64 x (fma.f64 x (*.f64 x 1/45) 1/3) (*.f64 2/945 (pow.f64 x 5)))
(fma.f64 1/45 (pow.f64 x 3) (fma.f64 2/945 (pow.f64 x 5) (*.f64 1/3 x)))
(+.f64 (*.f64 1/3 x) (+.f64 (*.f64 2/945 (pow.f64 x 5)) (+.f64 (*.f64 1/45 (pow.f64 x 3)) (*.f64 1/4725 (pow.f64 x 7)))))
(fma.f64 1/3 x (fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/45 (pow.f64 x 3) (*.f64 1/4725 (pow.f64 x 7)))))
(fma.f64 1/45 (pow.f64 x 3) (fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/3 x (*.f64 1/4725 (pow.f64 x 7)))))
(fma.f64 1/45 (pow.f64 x 3) (fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 1/3 x))))
(fma.f64 1/3 x (fma.f64 1/45 (pow.f64 x 3) (fma.f64 2/945 (pow.f64 x 5) (*.f64 1/4725 (pow.f64 x 7)))))
(*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x)))
(neg.f64 (/.f64 (cos.f64 x) (sin.f64 x)))
(/.f64 (neg.f64 (cos.f64 x)) (sin.f64 x))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(fma.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x)) (/.f64 1 x))
(-.f64 (/.f64 1 x) (/.f64 (cos.f64 x) (sin.f64 x)))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(fma.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x)) (/.f64 1 x))
(-.f64 (/.f64 1 x) (/.f64 (cos.f64 x) (sin.f64 x)))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(fma.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x)) (/.f64 1 x))
(-.f64 (/.f64 1 x) (/.f64 (cos.f64 x) (sin.f64 x)))
(*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x)))
(neg.f64 (/.f64 (cos.f64 x) (sin.f64 x)))
(/.f64 (neg.f64 (cos.f64 x)) (sin.f64 x))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(fma.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x)) (/.f64 1 x))
(-.f64 (/.f64 1 x) (/.f64 (cos.f64 x) (sin.f64 x)))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(fma.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x)) (/.f64 1 x))
(-.f64 (/.f64 1 x) (/.f64 (cos.f64 x) (sin.f64 x)))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(fma.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x)) (/.f64 1 x))
(-.f64 (/.f64 1 x) (/.f64 (cos.f64 x) (sin.f64 x)))

prune25.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New54256
Fresh000
Picked101
Done000
Total55257
Error
0.3b
Counts
57 → 2
Alt Table
StatusErrorProgram
▶0.3b
(*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))
0.4b
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
Compiler

Compiled 839 to 541 computations (35.5% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 1/45 (*.f64 x x) 1/3)
✓0.3b
(*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))

series3.0ms (0%)

Counts
2 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
x
@inf
(*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))
1.0ms
x
@0
(*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))
0.0ms
x
@-inf
(*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))
0.0ms
x
@0
(fma.f64 1/45 (*.f64 x x) 1/3)
0.0ms
x
@inf
(fma.f64 1/45 (*.f64 x x) 1/3)

rewrite33.0ms (0.3%)

Algorithm
1×batch-egg-rewrite
Rules
612×pow1_binary64
570×add-log-exp_binary64
570×log1p-expm1-u_binary64
570×expm1-log1p-u_binary64
69×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
114219
2156819
Stop Event
1×node limit
Counts
2 → 38
Calls
Call 1
Inputs
(*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))
(fma.f64 1/45 (*.f64 x x) 1/3)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 1/45 (*.f64 x x)) x) (*.f64 1/3 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 1/45 (*.f64 x x))) (*.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (fma.f64 1/45 (*.f64 x x) 1/3)) x))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (fma.f64 1/45 (*.f64 x x) 1/3) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (fma.f64 1/45 (*.f64 x x) 1/3) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 1/3 (*.f64 1/45 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/45 (*.f64 x x)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 1/45 (*.f64 x x)) 1) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 1/45 (*.f64 x x) 1/3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 1/45 (*.f64 x x) 1/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 1/45 (*.f64 x x) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)) (pow.f64 (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)) 2) (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)) (sqrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 1/45 (*.f64 x x)) 3) 1/27) (+.f64 (*.f64 (*.f64 1/45 (*.f64 x x)) (*.f64 1/45 (*.f64 x x))) (-.f64 1/9 (*.f64 (*.f64 1/45 (*.f64 x x)) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 1/45 (*.f64 x x)) (*.f64 1/45 (*.f64 x x))) 1/9) (-.f64 (*.f64 1/45 (*.f64 x x)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 1/45 (*.f64 x x) 1/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 1/45 (*.f64 x x) 1/3) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 1/45 (*.f64 x x) 1/3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 1/45 (*.f64 x x) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 1/45 (*.f64 x x) 1/3) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 1/45 (*.f64 x x) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 1/45 (*.f64 x x) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 1/45 (*.f64 x x) 1/3)))))))

simplify69.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
536×unswap-sqr_binary64
515×sqr-pow_binary64
404×associate-*l*_binary64
392×*-commutative_binary64
260×associate-*r*_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
013222
131204
261204
3135204
4340204
51307204
62695204
72881204
83132204
93419204
103798204
114300204
124914204
Stop Event
1×node limit
Counts
62 → 47
Calls
Call 1
Inputs
(*.f64 1/3 x)
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(*.f64 1/45 (pow.f64 x 3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(*.f64 1/45 (pow.f64 x 3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
1/3
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
(*.f64 1/45 (pow.f64 x 2))
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
(*.f64 1/45 (pow.f64 x 2))
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
Outputs
(*.f64 1/3 x)
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
(*.f64 1/45 (pow.f64 x 3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
(*.f64 1/45 (pow.f64 x 3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
1/3
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
(+.f64 1/3 (*.f64 1/45 (*.f64 x x)))
(fma.f64 1/45 (*.f64 x x) 1/3)
(fma.f64 x (*.f64 x 1/45) 1/3)
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
(+.f64 1/3 (*.f64 1/45 (*.f64 x x)))
(fma.f64 1/45 (*.f64 x x) 1/3)
(fma.f64 x (*.f64 x 1/45) 1/3)
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
(+.f64 1/3 (*.f64 1/45 (*.f64 x x)))
(fma.f64 1/45 (*.f64 x x) 1/3)
(fma.f64 x (*.f64 x 1/45) 1/3)
(*.f64 1/45 (pow.f64 x 2))
(*.f64 1/45 (*.f64 x x))
(*.f64 x (*.f64 x 1/45))
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
(+.f64 1/3 (*.f64 1/45 (*.f64 x x)))
(fma.f64 1/45 (*.f64 x x) 1/3)
(fma.f64 x (*.f64 x 1/45) 1/3)
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
(+.f64 1/3 (*.f64 1/45 (*.f64 x x)))
(fma.f64 1/45 (*.f64 x x) 1/3)
(fma.f64 x (*.f64 x 1/45) 1/3)
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
(+.f64 1/3 (*.f64 1/45 (*.f64 x x)))
(fma.f64 1/45 (*.f64 x x) 1/3)
(fma.f64 x (*.f64 x 1/45) 1/3)
(*.f64 1/45 (pow.f64 x 2))
(*.f64 1/45 (*.f64 x x))
(*.f64 x (*.f64 x 1/45))
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
(+.f64 1/3 (*.f64 1/45 (*.f64 x x)))
(fma.f64 1/45 (*.f64 x x) 1/3)
(fma.f64 x (*.f64 x 1/45) 1/3)
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
(+.f64 1/3 (*.f64 1/45 (*.f64 x x)))
(fma.f64 1/45 (*.f64 x x) 1/3)
(fma.f64 x (*.f64 x 1/45) 1/3)
(+.f64 1/3 (*.f64 1/45 (pow.f64 x 2)))
(+.f64 1/3 (*.f64 1/45 (*.f64 x x)))
(fma.f64 1/45 (*.f64 x x) 1/3)
(fma.f64 x (*.f64 x 1/45) 1/3)

prune32.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New44347
Fresh101
Picked011
Done000
Total45449
Error
0.3b
Counts
49 → 4
Alt Table
StatusErrorProgram
33.5b
(pow.f64 (sqrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2)
▶1.6b
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 3)
✓0.3b
(*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))
41.2b
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (fma.f64 1/45 (*.f64 x x) 1/3) 3)))
Compiler

Compiled 613 to 397 computations (35.2% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(fma.f64 1/45 (*.f64 x x) 1/3)
0.3b
(*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))
✓0.7b
(cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))
✓0.7b
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 3)

series14.0ms (0.1%)

Counts
2 → 16
Calls

6 calls:

TimeVariablePointExpression
6.0ms
x
@inf
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 3)
5.0ms
x
@-inf
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 3)
1.0ms
x
@0
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 3)
1.0ms
x
@-inf
(cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))
1.0ms
x
@inf
(cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))

rewrite38.0ms (0.4%)

Algorithm
1×batch-egg-rewrite
Rules
774×pow1_binary64
728×log1p-expm1-u_binary64
728×expm1-log1p-u_binary64
88×add-sqr-sqrt_binary64
84×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01024
120924
2205124
Stop Event
1×node limit
Counts
2 → 61
Calls
Call 1
Inputs
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 3)
(cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 1/45 (*.f64 x x)) x) (*.f64 1/3 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 1/45 (*.f64 x x))) (*.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 1/45 (*.f64 x x) 1/3) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2) (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) 2) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)) (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)) 2) (*.f64 (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (fma.f64 1/45 (*.f64 x x) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 1/6) (*.f64 (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 1/6) (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (fma.f64 1/45 (*.f64 x x) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)) (*.f64 (sqrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) (sqrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) 2) 3) (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 1/6) 3) (pow.f64 (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 1/6) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (pow.f64 (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)) 2)) (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (sqrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3))) (sqrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2) 1) (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2) (cbrt.f64 x)) (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2) (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 1/6)) (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (fma.f64 1/45 (*.f64 x x) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (fma.f64 1/45 (*.f64 x x) 1/3) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (fma.f64 1/45 (*.f64 x x) 1/3) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) (pow.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) 2) (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 1/6) (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 1/3) (pow.f64 (sqrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) 1))))))

simplify35.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
340×fma-def_binary64
334×associate-/r*_binary64
296×fma-neg_binary64
266×associate-*l*_binary64
258×times-frac_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
093503
1284489
2951480
34334434
Stop Event
1×node limit
Counts
77 → 84
Calls
Call 1
Inputs
(*.f64 1/45 (pow.f64 x 3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(*.f64 1/45 (pow.f64 x 3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(+.f64 (*.f64 1/3 x) (+.f64 (*.f64 -1 (/.f64 (-.f64 (*.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) (+.f64 (*.f64 -2/81 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 4))) (*.f64 1/81 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 4)))))) 5/9) x)) (*.f64 1/45 (pow.f64 x 3))))
(+.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) (+.f64 (*.f64 10/2187 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 7))) (*.f64 -2/729 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 7)))))) (+.f64 (*.f64 1/9 (/.f64 (*.f64 (cbrt.f64 -1) (+.f64 (*.f64 -2/81 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 4))) (*.f64 1/81 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 4))))) (pow.f64 (cbrt.f64 1/45) 2))) (*.f64 1/2187 (/.f64 1 (pow.f64 (cbrt.f64 1/45) 6))))) (pow.f64 x 3))) (+.f64 (*.f64 1/3 x) (+.f64 (*.f64 -1 (/.f64 (-.f64 (*.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) (+.f64 (*.f64 -2/81 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 4))) (*.f64 1/81 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 4)))))) 5/9) x)) (*.f64 1/45 (pow.f64 x 3)))))
(*.f64 (cbrt.f64 1/45) x)
(+.f64 (*.f64 (cbrt.f64 1/45) x) (*.f64 1/9 (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 1/45) 2) x))))
(-.f64 (+.f64 (*.f64 1/9 (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 1/45) 2) x))) (*.f64 (cbrt.f64 1/45) x)) (*.f64 1/81 (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 1/45) 5) (pow.f64 x 3)))))
(-.f64 (+.f64 (*.f64 1/9 (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 1/45) 2) x))) (+.f64 (*.f64 (cbrt.f64 1/45) x) (*.f64 5/2187 (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 1/45) 8) (pow.f64 x 5)))))) (*.f64 1/81 (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 1/45) 5) (pow.f64 x 3)))))
(*.f64 -1 (*.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) x)))
(+.f64 (*.f64 -1 (*.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) x))) (*.f64 -1/9 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 (cbrt.f64 1/45) 2) x))))
(+.f64 (*.f64 -1 (*.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) x))) (+.f64 (*.f64 -1/9 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 (cbrt.f64 1/45) 2) x))) (*.f64 1/81 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 (cbrt.f64 1/45) 5) (pow.f64 x 3))))))
(+.f64 (*.f64 -1 (*.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) x))) (+.f64 (*.f64 -5/2187 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 (cbrt.f64 1/45) 8) (pow.f64 x 5)))) (+.f64 (*.f64 -1/9 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 (cbrt.f64 1/45) 2) x))) (*.f64 1/81 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 (cbrt.f64 1/45) 5) (pow.f64 x 3)))))))
Outputs
(*.f64 1/45 (pow.f64 x 3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 x 1/3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 x 1/3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 x 1/3))
(*.f64 1/45 (pow.f64 x 3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 x 1/3))
(+.f64 (*.f64 1/3 x) (+.f64 (*.f64 -1 (/.f64 (-.f64 (*.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) (+.f64 (*.f64 -2/81 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 4))) (*.f64 1/81 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 4)))))) 5/9) x)) (*.f64 1/45 (pow.f64 x 3))))
(fma.f64 1/3 x (fma.f64 -1 (/.f64 (fma.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) (*.f64 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 4)) -1/81)) -5/9) x) (*.f64 1/45 (pow.f64 x 3))))
(fma.f64 x 1/3 (-.f64 (*.f64 1/45 (pow.f64 x 3)) (/.f64 (fma.f64 (*.f64 (cbrt.f64 1/45) (cbrt.f64 -1)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (*.f64 1/45 (cbrt.f64 1/45))) -1/81) -5/9) x)))
(-.f64 (fma.f64 1/45 (pow.f64 x 3) (*.f64 x 1/3)) (/.f64 (fma.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 1/45)) -5/9) (*.f64 (cbrt.f64 1/45) (cbrt.f64 -1)) -5/9) x))
(fma.f64 1/45 (pow.f64 x 3) (fma.f64 x 1/3 (/.f64 (+.f64 5/9 (*.f64 (cbrt.f64 1/45) (/.f64 -5/9 (cbrt.f64 1/45)))) x)))
(+.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) (+.f64 (*.f64 10/2187 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 7))) (*.f64 -2/729 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 7)))))) (+.f64 (*.f64 1/9 (/.f64 (*.f64 (cbrt.f64 -1) (+.f64 (*.f64 -2/81 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 4))) (*.f64 1/81 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 4))))) (pow.f64 (cbrt.f64 1/45) 2))) (*.f64 1/2187 (/.f64 1 (pow.f64 (cbrt.f64 1/45) 6))))) (pow.f64 x 3))) (+.f64 (*.f64 1/3 x) (+.f64 (*.f64 -1 (/.f64 (-.f64 (*.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) (+.f64 (*.f64 -2/81 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 4))) (*.f64 1/81 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 4)))))) 5/9) x)) (*.f64 1/45 (pow.f64 x 3)))))
(fma.f64 -1 (/.f64 (fma.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) (*.f64 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 7)) 4/2187)) (fma.f64 1/9 (/.f64 (cbrt.f64 -1) (/.f64 (pow.f64 (cbrt.f64 1/45) 2) (*.f64 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 4)) -1/81))) (/.f64 1/2187 (pow.f64 (cbrt.f64 1/45) 6)))) (pow.f64 x 3)) (fma.f64 1/3 x (fma.f64 -1 (/.f64 (fma.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) (*.f64 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 4)) -1/81)) -5/9) x) (*.f64 1/45 (pow.f64 x 3)))))
(-.f64 (fma.f64 x 1/3 (-.f64 (*.f64 1/45 (pow.f64 x 3)) (/.f64 (fma.f64 (*.f64 (cbrt.f64 1/45) (cbrt.f64 -1)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (*.f64 1/45 (cbrt.f64 1/45))) -1/81) -5/9) x))) (/.f64 (fma.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) (*.f64 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 7)) 4/2187)) (fma.f64 1/9 (*.f64 (/.f64 (cbrt.f64 -1) (pow.f64 (cbrt.f64 1/45) 2)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (*.f64 1/45 (cbrt.f64 1/45))) -1/81)) 25/27)) (pow.f64 x 3)))
(-.f64 (-.f64 (fma.f64 1/45 (pow.f64 x 3) (*.f64 x 1/3)) (/.f64 (fma.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 1/45)) -5/9) (*.f64 (cbrt.f64 1/45) (cbrt.f64 -1)) -5/9) x)) (/.f64 (fma.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) (*.f64 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (cbrt.f64 1/45) 7)) 4/2187)) (fma.f64 1/9 (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 1/45)) -5/9) (/.f64 (cbrt.f64 -1) (pow.f64 (cbrt.f64 1/45) 2))) 25/27)) (pow.f64 x 3)))
(-.f64 (fma.f64 1/45 (pow.f64 x 3) (fma.f64 x 1/3 (/.f64 (+.f64 5/9 (*.f64 (cbrt.f64 1/45) (/.f64 -5/9 (cbrt.f64 1/45)))) x))) (/.f64 (fma.f64 (cbrt.f64 1/45) (*.f64 4/2187 (/.f64 -1 (pow.f64 (cbrt.f64 1/45) 7))) (fma.f64 1/9 (*.f64 (pow.f64 (/.f64 (cbrt.f64 -1) (pow.f64 (cbrt.f64 1/45) 2)) 3) -1/81) 25/27)) (pow.f64 x 3)))
(*.f64 (cbrt.f64 1/45) x)
(*.f64 x (cbrt.f64 1/45))
(+.f64 (*.f64 (cbrt.f64 1/45) x) (*.f64 1/9 (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 1/45) 2) x))))
(fma.f64 (cbrt.f64 1/45) x (/.f64 1/9 (*.f64 x (pow.f64 (cbrt.f64 1/45) 2))))
(fma.f64 x (cbrt.f64 1/45) (/.f64 1/9 (*.f64 x (pow.f64 (cbrt.f64 1/45) 2))))
(fma.f64 x (cbrt.f64 1/45) (/.f64 (/.f64 1/9 x) (pow.f64 (cbrt.f64 1/45) 2)))
(-.f64 (+.f64 (*.f64 1/9 (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 1/45) 2) x))) (*.f64 (cbrt.f64 1/45) x)) (*.f64 1/81 (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 1/45) 5) (pow.f64 x 3)))))
(-.f64 (fma.f64 (cbrt.f64 1/45) x (/.f64 1/9 (*.f64 x (pow.f64 (cbrt.f64 1/45) 2)))) (/.f64 1/81 (*.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 1/45) 5))))
(+.f64 (/.f64 1/9 (*.f64 x (pow.f64 (cbrt.f64 1/45) 2))) (fma.f64 x (cbrt.f64 1/45) (/.f64 -1/81 (*.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 1/45) 5)))))
(+.f64 (fma.f64 x (cbrt.f64 1/45) (/.f64 (/.f64 1/9 x) (pow.f64 (cbrt.f64 1/45) 2))) (/.f64 -1/81 (*.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 1/45) 5))))
(-.f64 (+.f64 (*.f64 1/9 (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 1/45) 2) x))) (+.f64 (*.f64 (cbrt.f64 1/45) x) (*.f64 5/2187 (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 1/45) 8) (pow.f64 x 5)))))) (*.f64 1/81 (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 1/45) 5) (pow.f64 x 3)))))
(+.f64 (/.f64 1/9 (*.f64 x (pow.f64 (cbrt.f64 1/45) 2))) (-.f64 (fma.f64 (cbrt.f64 1/45) x (/.f64 5/2187 (*.f64 (pow.f64 (cbrt.f64 1/45) 8) (pow.f64 x 5)))) (/.f64 1/81 (*.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 1/45) 5)))))
(+.f64 (/.f64 1/9 (*.f64 x (pow.f64 (cbrt.f64 1/45) 2))) (+.f64 (/.f64 5/2187 (*.f64 (pow.f64 (cbrt.f64 1/45) 8) (pow.f64 x 5))) (fma.f64 x (cbrt.f64 1/45) (/.f64 -1/81 (*.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 1/45) 5))))))
(+.f64 (/.f64 (/.f64 1/9 x) (pow.f64 (cbrt.f64 1/45) 2)) (+.f64 (fma.f64 x (cbrt.f64 1/45) (/.f64 5/2187 (*.f64 (pow.f64 (cbrt.f64 1/45) 8) (pow.f64 x 5)))) (/.f64 -1/81 (*.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 1/45) 5)))))
(*.f64 -1 (*.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) x)))
(neg.f64 (*.f64 (cbrt.f64 1/45) (*.f64 x (cbrt.f64 -1))))
(*.f64 (cbrt.f64 1/45) (neg.f64 (*.f64 x (cbrt.f64 -1))))
(*.f64 x (*.f64 (cbrt.f64 1/45) (neg.f64 (cbrt.f64 -1))))
(*.f64 x (*.f64 (cbrt.f64 -1) (neg.f64 (cbrt.f64 1/45))))
(+.f64 (*.f64 -1 (*.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) x))) (*.f64 -1/9 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 (cbrt.f64 1/45) 2) x))))
(fma.f64 -1 (*.f64 (cbrt.f64 1/45) (*.f64 x (cbrt.f64 -1))) (*.f64 -1/9 (/.f64 (/.f64 (cbrt.f64 -1) (pow.f64 (cbrt.f64 1/45) 2)) x)))
(-.f64 (*.f64 -1/9 (/.f64 (cbrt.f64 -1) (*.f64 x (pow.f64 (cbrt.f64 1/45) 2)))) (*.f64 (cbrt.f64 1/45) (*.f64 x (cbrt.f64 -1))))
(-.f64 (*.f64 -1/9 (/.f64 (cbrt.f64 -1) (*.f64 x (pow.f64 (cbrt.f64 1/45) 2)))) (*.f64 x (*.f64 (cbrt.f64 1/45) (cbrt.f64 -1))))
(+.f64 (*.f64 -1 (*.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) x))) (+.f64 (*.f64 -1/9 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 (cbrt.f64 1/45) 2) x))) (*.f64 1/81 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 (cbrt.f64 1/45) 5) (pow.f64 x 3))))))
(fma.f64 -1 (*.f64 (cbrt.f64 1/45) (*.f64 x (cbrt.f64 -1))) (fma.f64 -1/9 (/.f64 (/.f64 (cbrt.f64 -1) (pow.f64 (cbrt.f64 1/45) 2)) x) (*.f64 1/81 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 1/45) 5))))))
(-.f64 (fma.f64 1/81 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 1/45) 5))) (*.f64 -1/9 (/.f64 (cbrt.f64 -1) (*.f64 x (pow.f64 (cbrt.f64 1/45) 2))))) (*.f64 (cbrt.f64 1/45) (*.f64 x (cbrt.f64 -1))))
(-.f64 (fma.f64 -1/9 (/.f64 (cbrt.f64 -1) (*.f64 x (pow.f64 (cbrt.f64 1/45) 2))) (*.f64 (/.f64 (cbrt.f64 -1) (pow.f64 (cbrt.f64 1/45) 5)) (/.f64 1/81 (pow.f64 x 3)))) (*.f64 x (*.f64 (cbrt.f64 1/45) (cbrt.f64 -1))))
(+.f64 (*.f64 -1 (*.f64 (cbrt.f64 1/45) (*.f64 (cbrt.f64 -1) x))) (+.f64 (*.f64 -5/2187 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 (cbrt.f64 1/45) 8) (pow.f64 x 5)))) (+.f64 (*.f64 -1/9 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 (cbrt.f64 1/45) 2) x))) (*.f64 1/81 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 (cbrt.f64 1/45) 5) (pow.f64 x 3)))))))
(fma.f64 -1 (*.f64 (cbrt.f64 1/45) (*.f64 x (cbrt.f64 -1))) (fma.f64 -5/2187 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 (cbrt.f64 1/45) 8) (pow.f64 x 5))) (fma.f64 -1/9 (/.f64 (/.f64 (cbrt.f64 -1) (pow.f64 (cbrt.f64 1/45) 2)) x) (*.f64 1/81 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 1/45) 5)))))))
(-.f64 (fma.f64 -5/2187 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 (cbrt.f64 1/45) 8) (pow.f64 x 5))) (fma.f64 1/81 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 1/45) 5))) (*.f64 -1/9 (/.f64 (cbrt.f64 -1) (*.f64 x (pow.f64 (cbrt.f64 1/45) 2)))))) (*.f64 (cbrt.f64 1/45) (*.f64 x (cbrt.f64 -1))))
(-.f64 (fma.f64 1/81 (/.f64 (cbrt.f64 -1) (*.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 1/45) 5))) (fma.f64 -1/9 (/.f64 (cbrt.f64 -1) (*.f64 x (pow.f64 (cbrt.f64 1/45) 2))) (*.f64 -5/2187 (/.f64 (/.f64 (cbrt.f64 -1) (pow.f64 (cbrt.f64 1/45) 8)) (pow.f64 x 5))))) (*.f64 x (*.f64 (cbrt.f64 1/45) (cbrt.f64 -1))))

prune94.0ms (0.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1229131
Fresh022
Picked101
Done011
Total12312135
Error
0.1b
Counts
135 → 12
Alt Table
StatusErrorProgram
1.6b
(*.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)) (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2)))
✓0.3b
(*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))
33.5b
(pow.f64 (sqrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2)
1.9b
(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 3)) 3)
34.0b
(pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2)) 3)
1.8b
(pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3))) 3)
1.9b
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))))
▶1.6b
(*.f64 (*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
2.4b
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) 2) 3) (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))
33.5b
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (fma.f64 1/45 (*.f64 x x) 1/3)))
1.6b
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (fma.f64 1/45 (*.f64 x x) 1/3)))
41.2b
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (fma.f64 1/45 (*.f64 x x) 1/3) 3)))
Compiler

Compiled 2752 to 2025 computations (26.4% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 (*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
✓0.4b
(*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (pow.f64 (cbrt.f64 x) 2))
✓0.4b
(pow.f64 (cbrt.f64 x) 2)
✓0.7b
(cbrt.f64 x)

series8.0ms (0.1%)

Counts
4 → 12
Calls

12 calls:

TimeVariablePointExpression
2.0ms
x
@-inf
(*.f64 (*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
1.0ms
x
@-inf
(pow.f64 (cbrt.f64 x) 2)
1.0ms
x
@-inf
(*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (pow.f64 (cbrt.f64 x) 2))
1.0ms
x
@-inf
(cbrt.f64 x)
1.0ms
x
@inf
(cbrt.f64 x)

rewrite46.0ms (0.4%)

Algorithm
1×batch-egg-rewrite
Rules
830×log1p-expm1-u_binary64
830×expm1-log1p-u_binary64
103×add-sqr-sqrt_binary64
98×pow1_binary64
97×*-un-lft-identity_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01136
122436
2237836
Stop Event
1×node limit
Counts
4 → 73
Calls
Call 1
Inputs
(cbrt.f64 x)
(pow.f64 (cbrt.f64 x) 2)
(*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (pow.f64 (cbrt.f64 x) 2))
(*.f64 (*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cbrt.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 x)) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 1/6) (pow.f64 x 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (cbrt.f64 x)))) (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 x) 1/3) (pow.f64 (sqrt.f64 x) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 x 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 x) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 x 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 x) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 x)) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (cbrt.f64 x) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (cbrt.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (*.f64 x (cbrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (cbrt.f64 x))) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (pow.f64 x 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 1/6) (*.f64 (pow.f64 x 1/6) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)) (cbrt.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 x (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (cbrt.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (cbrt.f64 x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (pow.f64 (cbrt.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 x) 2)) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 1/45 (*.f64 x x)) (pow.f64 (cbrt.f64 x) 2)) (*.f64 1/3 (pow.f64 (cbrt.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 1/45 (*.f64 x x))) (*.f64 (pow.f64 (cbrt.f64 x) 2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (fma.f64 1/45 (*.f64 x x) 1/3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (fma.f64 1/45 (*.f64 x x) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (fma.f64 1/45 (*.f64 x x) 1/3)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (fma.f64 1/45 (*.f64 x x) 1/3))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (cbrt.f64 x) (sqrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (*.f64 x (cbrt.f64 x)) (pow.f64 (fma.f64 1/45 (*.f64 x x) 1/3) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 x) 2)) (fma.f64 1/45 (*.f64 x x) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (fma.f64 1/45 (*.f64 x x) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (fma.f64 1/45 (*.f64 x x) 1/3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 x x) (pow.f64 (fma.f64 1/45 (*.f64 x x) 1/3) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (fma.f64 1/45 (*.f64 x x) 1/3) 3) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (fma.f64 1/45 (*.f64 x x) 1/3))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 x (pow.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (fma.f64 1/45 (*.f64 x x) 1/3)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (fma.f64 1/45 (*.f64 x x) 1/3) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 1))))))

simplify60.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
732×sqr-pow_binary64
441×associate-*l*_binary64
362×unswap-sqr_binary64
313×pow-sqr_binary64
256×cube-prod_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09117
121117
241117
385117
4152117
5377117
61219117
71922117
82009117
92142117
102300117
112532117
122854117
133275117
143775117
154370117
Stop Event
1×node limit
Counts
85 → 77
Calls
Call 1
Inputs
(*.f64 1/3 x)
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(*.f64 1/45 (pow.f64 x 3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(*.f64 1/45 (pow.f64 x 3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
Outputs
(*.f64 1/3 x)
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
(*.f64 1/45 (pow.f64 x 3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
(*.f64 1/45 (pow.f64 x 3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x))
(*.f64 x (fma.f64 x (*.f64 x 1/45) 1/3))

prune53.0ms (0.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New973100
Fresh1910
Picked101
Done011
Total9913112
Error
0.1b
Counts
112 → 13
Alt Table
StatusErrorProgram
1.6b
(*.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)) (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2)))
2.1b
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (fma.f64 1/45 (*.f64 x x) 1/3))) 3) (cbrt.f64 x))
✓0.3b
(*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))
41.2b
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (fma.f64 1/45 (*.f64 x x) 1/3) 3)))
2.0b
(*.f64 (*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x)))) (cbrt.f64 x))
33.5b
(pow.f64 (sqrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2)
38.7b
(*.f64 (*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (pow.f64 (cbrt.f64 x) 2)) (*.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (cbrt.f64 x)))) (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2))))
1.9b
(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 3)) 3)
34.0b
(pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2)) 3)
1.8b
(pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3))) 3)
1.9b
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))))
33.5b
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (fma.f64 1/45 (*.f64 x x) 1/3)))
1.6b
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (fma.f64 1/45 (*.f64 x x) 1/3)))
Compiler

Compiled 1849 to 1064 computations (42.5% saved)

regimes32.0ms (0.3%)

Accuracy

Total -61.7b remaining (-17956.2%)

Threshold costs -61.7b (-17956.2%)

Counts
32 → 1
Calls
Call 1
Inputs
(*.f64 (pow.f64 (*.f64 (cbrt.f64 x) (sqrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3))) 2) (cbrt.f64 x))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (fma.f64 1/45 (*.f64 x x) 1/3))) 3) (cbrt.f64 x))
(*.f64 (*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (*.f64 (sqrt.f64 x) (pow.f64 x 1/6))) (cbrt.f64 x))
(*.f64 (*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x)))) (cbrt.f64 x))
(*.f64 (*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) 2)) (cbrt.f64 x))
(*.f64 (*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (pow.f64 (cbrt.f64 x) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3))
(*.f64 (*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (pow.f64 (cbrt.f64 x) 2)) (*.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (cbrt.f64 x)))) (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2))))
(*.f64 (*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (pow.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x))) 2)) (cbrt.f64 x))
(*.f64 (*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (pow.f64 (cbrt.f64 x) 2)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x))))
(pow.f64 (cbrt.f64 (*.f64 1/3 x)) 3)
(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 3)) 3)
(pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2)) 3)
(pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3))) 3)
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2) (cbrt.f64 x)) (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)))
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))))
(*.f64 (*.f64 (fma.f64 1/45 (*.f64 x x) 1/3) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) 2) 3) (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))))
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (fma.f64 1/45 (*.f64 x x) 1/3)))
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (fma.f64 1/45 (*.f64 x x) 1/3)))
(*.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (fma.f64 1/45 (*.f64 x x) 1/3)) (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2)))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) 2) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)))) (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2)))
(*.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2))
(fma.f64 1/45 (pow.f64 x 3) (*.f64 x 1/3))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (fma.f64 1/45 (*.f64 x x) 1/3) 3)))
(cbrt.f64 (pow.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3)) 3))
(pow.f64 (sqrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 2)
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))) 3)
(*.f64 x 1/3)
(*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))
(+.f64 (*.f64 1/3 x) (*.f64 1/45 (pow.f64 x 3)))
(*.f64 1/3 x)
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
Outputs
(*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))
Results
16.0ms0.3bx
4.0ms0.3b(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
Compiler

Compiled 513 to 309 computations (39.8% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
1811
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))
Outputs
(*.f64 x (fma.f64 1/45 (*.f64 x x) 1/3))

end14.0ms (0.1%)

Stop Event
1×fuel
Compiler

Compiled 18 to 12 computations (33.3% saved)

Profiling

Loading profile data...