Details

Time bar (total: 1.6s)

analyze146.0ms (9.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%74.9%0.1%5
37.5%62.4%0.1%6
50%46.8%3.2%7
59.3%35.9%4.8%8
67.1%25.8%7.1%9
72.6%19.1%8.3%10
76.9%13.5%9.7%11
79.8%9.9%10.3%12
82%6.9%11.1%13
83.6%5%11.4%14
Compiler

Compiled 14 to 10 computations (28.6% saved)

sample868.0ms (54.6%)

Results
809.0ms8112×body128valid
25.0ms86×body1024valid
11.0ms121×body128invalid
7.0ms33×body512valid
4.0ms24×body256valid
0.0ms1×body2048valid
Compiler

Compiled 28 to 20 computations (28.6% saved)

preprocess21.0ms (1.3%)

Algorithm
2×egg-herbie
Rules
48×fma-def_binary64
15×*-commutative_binary64
14×+-commutative_binary64
10×associate-+r+_binary64
10×distribute-lft-out_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01526
13620
28814
313914
414914
515114
022
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (+.f64 (*.f64 d2 10) (*.f64 d2 d1)) (*.f64 d2 20))
Outputs
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (+.f64 (*.f64 d2 10) (*.f64 d2 d1)) (*.f64 d2 20))
(+.f64 (*.f64 d2 (+.f64 10 d1)) (*.f64 d2 20))
(*.f64 d2 (+.f64 (+.f64 d1 10) 20))
(*.f64 d2 (+.f64 d1 30))
Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify7.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
24×fma-def_binary64
8×*-commutative_binary64
7×+-commutative_binary64
5×associate-+r+_binary64
5×distribute-lft-out_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01013
12010
2467
3737
4787
5797
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
Outputs
(+.f64 (+.f64 (*.f64 d1 10) (*.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (*.f64 d1 (+.f64 10 d2)) (*.f64 d1 20))
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(*.f64 d1 (+.f64 d2 30))

prune3.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(*.f64 d1 (+.f64 d2 30))
Compiler

Compiled 32 to 22 computations (31.3% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 d1 (+.f64 d2 30))

series4.0ms (0.2%)

Counts
1 → 20
Calls

6 calls:

TimeVariablePointExpression
1.0ms
d2
@inf
(*.f64 d1 (+.f64 d2 30))
1.0ms
d1
@0
(*.f64 d1 (+.f64 d2 30))
1.0ms
d1
@-inf
(*.f64 d1 (+.f64 d2 30))
1.0ms
d1
@inf
(*.f64 d1 (+.f64 d2 30))
0.0ms
d2
@0
(*.f64 d1 (+.f64 d2 30))

rewrite40.0ms (2.5%)

Algorithm
1×batch-egg-rewrite
Rules
725×pow1_binary64
679×add-log-exp_binary64
679×log1p-expm1-u_binary64
679×expm1-log1p-u_binary64
71×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11367
218207
Stop Event
1×node limit
Counts
1 → 25
Calls
Call 1
Inputs
(*.f64 d1 (+.f64 d2 30))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 d2) (*.f64 d1 30))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 30) (*.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 d1 d2) 1) (*.f64 (*.f64 d1 30) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 d1 d2) 3) (pow.f64 (*.f64 d1 30) 3)) (+.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (-.f64 (*.f64 (*.f64 d1 30) (*.f64 d1 30)) (*.f64 (*.f64 d1 d2) (*.f64 d1 30)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (*.f64 (*.f64 d1 30) (*.f64 d1 30))) (-.f64 (*.f64 d1 d2) (*.f64 d1 30)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 27000 (pow.f64 d2 3)) d1) (fma.f64 d2 d2 (-.f64 900 (*.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (fma.f64 d2 d2 -900) d1) (+.f64 d2 -30))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (-.f64 900 (*.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 30)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 30)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 30) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 30) 3) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 d1 d2 (*.f64 d1 30))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 d2 d1 (*.f64 d1 30))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))))))

simplify8.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
4×fma-def_binary64
3×*-commutative_binary64
2×+-commutative_binary64
1×distribute-lft-in_binary64
1×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09131
117131
220131
Stop Event
1×saturated
Counts
45 → 31
Calls
Call 1
Inputs
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 30 d1)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d2 d1)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d2 d1)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
Outputs
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 30 d1)
(*.f64 d1 30)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))

prune23.0ms (1.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New28331
Fresh000
Picked101
Done000
Total29332
Error
0.0b
Counts
32 → 3
Alt Table
StatusErrorProgram
13.7b
(/.f64 (*.f64 (fma.f64 d2 d2 -900) d1) (+.f64 d2 -30))
19.0b
(/.f64 (*.f64 (+.f64 27000 (pow.f64 d2 3)) d1) (fma.f64 d2 d2 (-.f64 900 (*.f64 d2 30))))
▶0.0b
(fma.f64 d1 d2 (*.f64 d1 30))
Compiler

Compiled 363 to 234 computations (35.5% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 d1 d2 (*.f64 d1 30))

series4.0ms (0.3%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
d1
@-inf
(fma.f64 d1 d2 (*.f64 d1 30))
1.0ms
d1
@0
(fma.f64 d1 d2 (*.f64 d1 30))
1.0ms
d1
@inf
(fma.f64 d1 d2 (*.f64 d1 30))
0.0ms
d2
@-inf
(fma.f64 d1 d2 (*.f64 d1 30))
0.0ms
d2
@0
(fma.f64 d1 d2 (*.f64 d1 30))

rewrite32.0ms (2%)

Algorithm
1×batch-egg-rewrite
Rules
553×pow1_binary64
510×add-log-exp_binary64
510×log1p-expm1-u_binary64
510×expm1-log1p-u_binary64
499×add-exp-log_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
068
11207
213657
Stop Event
1×node limit
Counts
1 → 22
Calls
Call 1
Inputs
(fma.f64 d1 d2 (*.f64 d1 30))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 30) (*.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 d2) (*.f64 d1 30))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 d1 d2) 1) (*.f64 d1 30))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 d1 (+.f64 d2 30))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 (+.f64 d2 30))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (+.f64 d2 30)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 d1 (+.f64 d2 30)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2) (cbrt.f64 (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) (sqrt.f64 (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 d1 d2) 3) (pow.f64 (*.f64 d1 30) 3)) (+.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (-.f64 (*.f64 (*.f64 d1 d1) 900) (*.f64 (*.f64 d1 d2) (*.f64 d1 30)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (*.f64 (*.f64 d1 d1) 900)) (-.f64 (*.f64 d1 d2) (*.f64 d1 30)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))))))

simplify16.0ms (1%)

Algorithm
1×egg-herbie
Rules
100×fma-neg_binary64
77×fma-def_binary64
31×cancel-sign-sub-inv_binary64
24×distribute-rgt-in_binary64
20×unsub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
014159
133159
264159
3127159
4213159
5344159
6516159
7557159
Stop Event
1×saturated
Counts
46 → 28
Calls
Call 1
Inputs
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(*.f64 30 d1)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d2 d1)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d2 d1)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
Outputs
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(*.f64 d1 (+.f64 d2 30))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(*.f64 d1 (+.f64 d2 30))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(*.f64 d1 (+.f64 d2 30))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 d2) 30) d1))
(*.f64 d1 (+.f64 d2 30))
(*.f64 30 d1)
(*.f64 d1 30)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))

prune18.0ms (1.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New25328
Fresh112
Picked011
Done000
Total26531
Error
0b
Counts
31 → 5
Alt Table
StatusErrorProgram
▶0.0b
(*.f64 (*.f64 d1 (+.f64 d2 30)) 1)
19.0b
(/.f64 (*.f64 (+.f64 27000 (pow.f64 d2 3)) d1) (fma.f64 d2 d2 (-.f64 900 (*.f64 d2 30))))
29.6b
(/.f64 (-.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (*.f64 (*.f64 d1 d1) 900)) (-.f64 (*.f64 d1 d2) (*.f64 d1 30)))
1.4b
(*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2))
✓0.0b
(fma.f64 d1 d2 (*.f64 d1 30))
Compiler

Compiled 396 to 255 computations (35.6% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(*.f64 d1 (+.f64 d2 30))

prune21.0ms (1.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New30131
Fresh123
Picked101
Done011
Total32436
Error
0b
Counts
36 → 4
Alt Table
StatusErrorProgram
29.6b
(/.f64 (-.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (*.f64 (*.f64 d1 d1) 900)) (-.f64 (*.f64 d1 d2) (*.f64 d1 30)))
▶1.4b
(*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2))
✓0.0b
(fma.f64 d1 d2 (*.f64 d1 30))
13.7b
(*.f64 (/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30)) 1)
Compiler

Compiled 465 to 319 computations (31.4% saved)

localize14.0ms (0.9%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(*.f64 d1 (+.f64 d2 30))
✓0.3b
(*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2))
✓0.5b
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
✓0.6b
(cbrt.f64 (*.f64 d1 (+.f64 d2 30)))

series16.0ms (1%)

Counts
3 → 32
Calls

18 calls:

TimeVariablePointExpression
3.0ms
d1
@-inf
(*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2))
2.0ms
d2
@inf
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
2.0ms
d2
@0
(cbrt.f64 (*.f64 d1 (+.f64 d2 30)))
2.0ms
d2
@0
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
1.0ms
d1
@-inf
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)

rewrite47.0ms (3%)

Algorithm
1×batch-egg-rewrite
Rules
871×log1p-expm1-u_binary64
871×expm1-log1p-u_binary64
98×add-sqr-sqrt_binary64
93×add-log-exp_binary64
93×pow1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01028
122028
2245128
Stop Event
1×node limit
Counts
3 → 72
Calls
Call 1
Inputs
(cbrt.f64 (*.f64 d1 (+.f64 d2 30)))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 d2 30)) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 d1) (cbrt.f64 (+.f64 d2 30)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))) 2) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 1/6) (pow.f64 (*.f64 d1 (+.f64 d2 30)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 4))) (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (cbrt.f64 (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 1/3) (pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d2 30)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) (cbrt.f64 (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 d1) (*.f64 (cbrt.f64 (+.f64 d2 30)) (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 d1) 2) (pow.f64 (cbrt.f64 (+.f64 d2 30)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))) 2) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))) (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 4)) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) (pow.f64 (*.f64 d1 (+.f64 d2 30)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 1/6) (sqrt.f64 (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) (cbrt.f64 d1)) (cbrt.f64 (+.f64 d2 30)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 2 (log.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 2 (log.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 d2) (*.f64 d1 30))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 30) (*.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 d1 d2) 1) (*.f64 (*.f64 d1 30) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 d1 d2) 3) (pow.f64 (*.f64 d1 30) 3)) (+.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (-.f64 (*.f64 (*.f64 d1 30) (*.f64 d1 30)) (*.f64 (*.f64 d1 d2) (*.f64 d1 30)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (*.f64 (*.f64 d1 30) (*.f64 d1 30))) (-.f64 (*.f64 d1 d2) (*.f64 d1 30)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 27000 (pow.f64 d2 3)) d1) (fma.f64 d2 d2 (-.f64 900 (*.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (fma.f64 d2 d2 -900) d1) (+.f64 d2 -30))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (-.f64 900 (*.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 30)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 30)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 30) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 30) 3) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 d1 d2 (*.f64 d1 30))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 d2 d1 (*.f64 d1 30))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))))))

simplify27.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
724×associate-*l*_binary64
683×associate-*r*_binary64
516×fma-def_binary64
262×*-commutative_binary64
105×times-frac_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
098688
1294682
2954656
Stop Event
1×node limit
Counts
104 → 95
Calls
Call 1
Inputs
(*.f64 (pow.f64 d1 1/3) (cbrt.f64 30))
(+.f64 (*.f64 (pow.f64 d1 1/3) (cbrt.f64 30)) (*.f64 1/3 (*.f64 d2 (*.f64 (pow.f64 (pow.f64 d1 7) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 2)) 1/3)))))
(+.f64 (*.f64 (pow.f64 d1 1/3) (cbrt.f64 30)) (+.f64 (*.f64 1/3 (*.f64 d2 (*.f64 (pow.f64 (pow.f64 d1 7) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 2)) 1/3)))) (*.f64 -1/9 (*.f64 (pow.f64 d2 2) (*.f64 (pow.f64 (pow.f64 d1 11) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 7)) 1/3))))))
(+.f64 (*.f64 (pow.f64 d1 1/3) (cbrt.f64 30)) (+.f64 (*.f64 -1/3 (*.f64 (/.f64 (*.f64 (pow.f64 d2 3) (+.f64 (*.f64 1/27 (*.f64 (pow.f64 (pow.f64 d1 7) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 30) 2)))) (*.f64 -2/9 (*.f64 (pow.f64 (pow.f64 d1 7) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 30) 2)))))) (pow.f64 (cbrt.f64 30) 2)) (pow.f64 (/.f64 1 (pow.f64 d1 2)) 1/3))) (+.f64 (*.f64 1/3 (*.f64 d2 (*.f64 (pow.f64 (pow.f64 d1 7) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 2)) 1/3)))) (*.f64 -1/9 (*.f64 (pow.f64 d2 2) (*.f64 (pow.f64 (pow.f64 d1 11) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 7)) 1/3)))))))
(*.f64 (pow.f64 (pow.f64 d1 2) 1/3) (pow.f64 (cbrt.f64 30) 2))
(+.f64 (*.f64 2/3 (*.f64 d2 (*.f64 (pow.f64 (pow.f64 d1 10) 1/9) (pow.f64 (cbrt.f64 30) 1/3)))) (*.f64 (pow.f64 (pow.f64 d1 2) 1/3) (pow.f64 (cbrt.f64 30) 2)))
(+.f64 (*.f64 2/3 (*.f64 d2 (*.f64 (pow.f64 (pow.f64 d1 10) 1/9) (pow.f64 (cbrt.f64 30) 1/3)))) (+.f64 (*.f64 (pow.f64 (pow.f64 d1 2) 1/3) (pow.f64 (cbrt.f64 30) 2)) (*.f64 (pow.f64 d2 2) (+.f64 (*.f64 -2/9 (*.f64 (pow.f64 (pow.f64 d1 14) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 4)) 1/3))) (*.f64 1/9 (*.f64 (pow.f64 (pow.f64 d1 14) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 4)) 1/3)))))))
(+.f64 (*.f64 2/3 (*.f64 d2 (*.f64 (pow.f64 (pow.f64 d1 10) 1/9) (pow.f64 (cbrt.f64 30) 1/3)))) (+.f64 (*.f64 (pow.f64 (pow.f64 d1 2) 1/3) (pow.f64 (cbrt.f64 30) 2)) (+.f64 (*.f64 (pow.f64 d2 2) (+.f64 (*.f64 -2/9 (*.f64 (pow.f64 (pow.f64 d1 14) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 4)) 1/3))) (*.f64 1/9 (*.f64 (pow.f64 (pow.f64 d1 14) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 4)) 1/3))))) (*.f64 (+.f64 (*.f64 -2/3 (*.f64 (pow.f64 (/.f64 1 d1) 1/3) (/.f64 (+.f64 (*.f64 1/27 (*.f64 (pow.f64 (pow.f64 d1 7) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 30) 2)))) (*.f64 -2/9 (*.f64 (pow.f64 (pow.f64 d1 7) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 30) 2))))) (cbrt.f64 30)))) (*.f64 -1/405 (pow.f64 d1 2))) (pow.f64 d2 3)))))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 30 d1)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d2 d1)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d2 d1)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
Outputs
(*.f64 (pow.f64 d1 1/3) (cbrt.f64 30))
(*.f64 (cbrt.f64 d1) (cbrt.f64 30))
(+.f64 (*.f64 (pow.f64 d1 1/3) (cbrt.f64 30)) (*.f64 1/3 (*.f64 d2 (*.f64 (pow.f64 (pow.f64 d1 7) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 2)) 1/3)))))
(fma.f64 (cbrt.f64 d1) (cbrt.f64 30) (*.f64 (*.f64 1/3 d2) (*.f64 (*.f64 (pow.f64 (pow.f64 d1 7) 1/18) (pow.f64 (pow.f64 d1 7) 1/18)) (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 2))))))
(fma.f64 1/3 (*.f64 (*.f64 (pow.f64 (pow.f64 d1 7) 1/18) (pow.f64 (pow.f64 d1 7) 1/18)) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 2))) d2)) (*.f64 (cbrt.f64 d1) (cbrt.f64 30)))
(fma.f64 1/3 (*.f64 (*.f64 (pow.f64 (pow.f64 d1 7) 1/18) (pow.f64 (pow.f64 d1 7) 1/18)) (*.f64 d2 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 2))))) (*.f64 (cbrt.f64 d1) (cbrt.f64 30)))
(+.f64 (*.f64 (pow.f64 d1 1/3) (cbrt.f64 30)) (+.f64 (*.f64 1/3 (*.f64 d2 (*.f64 (pow.f64 (pow.f64 d1 7) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 2)) 1/3)))) (*.f64 -1/9 (*.f64 (pow.f64 d2 2) (*.f64 (pow.f64 (pow.f64 d1 11) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 7)) 1/3))))))
(fma.f64 (cbrt.f64 d1) (cbrt.f64 30) (fma.f64 1/3 (*.f64 d2 (*.f64 (*.f64 (pow.f64 (pow.f64 d1 7) 1/18) (pow.f64 (pow.f64 d1 7) 1/18)) (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 2))))) (*.f64 (*.f64 -1/9 (*.f64 d2 d2)) (*.f64 (*.f64 (pow.f64 (pow.f64 d1 11) 1/18) (pow.f64 (pow.f64 d1 11) 1/18)) (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 7)))))))
(fma.f64 (cbrt.f64 d1) (cbrt.f64 30) (fma.f64 1/3 (*.f64 (*.f64 (pow.f64 (pow.f64 d1 7) 1/18) (pow.f64 (pow.f64 d1 7) 1/18)) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 2))) d2)) (*.f64 -1/9 (*.f64 (*.f64 d2 d2) (*.f64 (*.f64 (pow.f64 (pow.f64 d1 11) 1/18) (pow.f64 (pow.f64 d1 11) 1/18)) (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 7))))))))
(fma.f64 1/3 (*.f64 (*.f64 (pow.f64 (pow.f64 d1 7) 1/18) (pow.f64 (pow.f64 d1 7) 1/18)) (*.f64 d2 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 2))))) (fma.f64 -1/9 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 7))) (*.f64 d2 (*.f64 d2 (*.f64 (pow.f64 (pow.f64 d1 11) 1/18) (pow.f64 (pow.f64 d1 11) 1/18))))) (*.f64 (cbrt.f64 d1) (cbrt.f64 30))))
(+.f64 (*.f64 (pow.f64 d1 1/3) (cbrt.f64 30)) (+.f64 (*.f64 -1/3 (*.f64 (/.f64 (*.f64 (pow.f64 d2 3) (+.f64 (*.f64 1/27 (*.f64 (pow.f64 (pow.f64 d1 7) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 30) 2)))) (*.f64 -2/9 (*.f64 (pow.f64 (pow.f64 d1 7) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 30) 2)))))) (pow.f64 (cbrt.f64 30) 2)) (pow.f64 (/.f64 1 (pow.f64 d1 2)) 1/3))) (+.f64 (*.f64 1/3 (*.f64 d2 (*.f64 (pow.f64 (pow.f64 d1 7) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 2)) 1/3)))) (*.f64 -1/9 (*.f64 (pow.f64 d2 2) (*.f64 (pow.f64 (pow.f64 d1 11) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 7)) 1/3)))))))
(fma.f64 (cbrt.f64 d1) (cbrt.f64 30) (fma.f64 -1/3 (*.f64 (/.f64 (pow.f64 d2 3) (/.f64 (pow.f64 (cbrt.f64 30) 2) (*.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 2)) (cbrt.f64 (pow.f64 d1 7))) -5/27))) (cbrt.f64 (/.f64 1 (*.f64 d1 d1)))) (fma.f64 1/3 (*.f64 d2 (*.f64 (*.f64 (pow.f64 (pow.f64 d1 7) 1/18) (pow.f64 (pow.f64 d1 7) 1/18)) (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 2))))) (*.f64 (*.f64 -1/9 (*.f64 d2 d2)) (*.f64 (*.f64 (pow.f64 (pow.f64 d1 11) 1/18) (pow.f64 (pow.f64 d1 11) 1/18)) (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 7))))))))
(fma.f64 (cbrt.f64 d1) (cbrt.f64 30) (fma.f64 -1/3 (*.f64 (*.f64 (/.f64 (pow.f64 d2 3) (pow.f64 (cbrt.f64 30) 2)) (*.f64 (/.f64 (cbrt.f64 (pow.f64 d1 7)) (pow.f64 (cbrt.f64 30) 2)) -5/27)) (cbrt.f64 (/.f64 1 (*.f64 d1 d1)))) (fma.f64 1/3 (*.f64 (*.f64 (pow.f64 (pow.f64 d1 7) 1/18) (pow.f64 (pow.f64 d1 7) 1/18)) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 2))) d2)) (*.f64 -1/9 (*.f64 (*.f64 d2 d2) (*.f64 (*.f64 (pow.f64 (pow.f64 d1 11) 1/18) (pow.f64 (pow.f64 d1 11) 1/18)) (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 7)))))))))
(fma.f64 (cbrt.f64 d1) (cbrt.f64 30) (fma.f64 d2 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 2))) (*.f64 (*.f64 (pow.f64 (pow.f64 d1 7) 1/18) (pow.f64 (pow.f64 d1 7) 1/18)) 1/3)) (fma.f64 (*.f64 -1/9 (*.f64 d2 (*.f64 d2 (*.f64 (pow.f64 (pow.f64 d1 11) 1/18) (pow.f64 (pow.f64 d1 11) 1/18))))) (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 7))) (*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (pow.f64 d1 7)) -5/27) 30) (/.f64 (pow.f64 d2 3) (cbrt.f64 30))) (*.f64 -1/3 (cbrt.f64 (/.f64 1 (*.f64 d1 d1))))))))
(*.f64 (pow.f64 (pow.f64 d1 2) 1/3) (pow.f64 (cbrt.f64 30) 2))
(*.f64 (pow.f64 (cbrt.f64 30) 2) (cbrt.f64 (*.f64 d1 d1)))
(+.f64 (*.f64 2/3 (*.f64 d2 (*.f64 (pow.f64 (pow.f64 d1 10) 1/9) (pow.f64 (cbrt.f64 30) 1/3)))) (*.f64 (pow.f64 (pow.f64 d1 2) 1/3) (pow.f64 (cbrt.f64 30) 2)))
(fma.f64 2/3 (*.f64 d2 (*.f64 (*.f64 (pow.f64 (pow.f64 d1 10) 1/18) (pow.f64 (pow.f64 d1 10) 1/18)) (cbrt.f64 (cbrt.f64 30)))) (*.f64 (pow.f64 (cbrt.f64 30) 2) (cbrt.f64 (*.f64 d1 d1))))
(fma.f64 (pow.f64 (cbrt.f64 30) 2) (cbrt.f64 (*.f64 d1 d1)) (*.f64 (*.f64 (*.f64 d2 2/3) (*.f64 (pow.f64 (pow.f64 d1 10) 1/18) (pow.f64 (pow.f64 d1 10) 1/18))) (cbrt.f64 (cbrt.f64 30))))
(fma.f64 d2 (*.f64 (*.f64 (pow.f64 (pow.f64 d1 10) 1/18) (pow.f64 (pow.f64 d1 10) 1/18)) (*.f64 2/3 (cbrt.f64 (cbrt.f64 30)))) (*.f64 (pow.f64 (cbrt.f64 30) 2) (cbrt.f64 (*.f64 d1 d1))))
(+.f64 (*.f64 2/3 (*.f64 d2 (*.f64 (pow.f64 (pow.f64 d1 10) 1/9) (pow.f64 (cbrt.f64 30) 1/3)))) (+.f64 (*.f64 (pow.f64 (pow.f64 d1 2) 1/3) (pow.f64 (cbrt.f64 30) 2)) (*.f64 (pow.f64 d2 2) (+.f64 (*.f64 -2/9 (*.f64 (pow.f64 (pow.f64 d1 14) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 4)) 1/3))) (*.f64 1/9 (*.f64 (pow.f64 (pow.f64 d1 14) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 4)) 1/3)))))))
(fma.f64 2/3 (*.f64 d2 (*.f64 (*.f64 (pow.f64 (pow.f64 d1 10) 1/18) (pow.f64 (pow.f64 d1 10) 1/18)) (cbrt.f64 (cbrt.f64 30)))) (fma.f64 (cbrt.f64 (*.f64 d1 d1)) (pow.f64 (cbrt.f64 30) 2) (*.f64 (*.f64 d2 d2) (*.f64 (*.f64 (*.f64 (pow.f64 (pow.f64 d1 14) 1/18) (pow.f64 (pow.f64 d1 14) 1/18)) (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 4)))) -1/9))))
(fma.f64 2/3 (*.f64 d2 (*.f64 (*.f64 (pow.f64 (pow.f64 d1 10) 1/18) (pow.f64 (pow.f64 d1 10) 1/18)) (cbrt.f64 (cbrt.f64 30)))) (fma.f64 (pow.f64 (cbrt.f64 30) 2) (cbrt.f64 (*.f64 d1 d1)) (*.f64 (*.f64 d2 d2) (*.f64 (*.f64 (pow.f64 (pow.f64 d1 14) 1/18) (pow.f64 (pow.f64 d1 14) 1/18)) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 4))) -1/9)))))
(fma.f64 (pow.f64 (cbrt.f64 30) 2) (cbrt.f64 (*.f64 d1 d1)) (*.f64 d2 (+.f64 (*.f64 (*.f64 d2 (cbrt.f64 (/.f64 1/30 (cbrt.f64 30)))) (*.f64 (pow.f64 (pow.f64 d1 14) 1/18) (*.f64 (pow.f64 (pow.f64 d1 14) 1/18) -1/9))) (*.f64 (*.f64 (pow.f64 (pow.f64 d1 10) 1/18) (pow.f64 (pow.f64 d1 10) 1/18)) (*.f64 2/3 (cbrt.f64 (cbrt.f64 30)))))))
(+.f64 (*.f64 2/3 (*.f64 d2 (*.f64 (pow.f64 (pow.f64 d1 10) 1/9) (pow.f64 (cbrt.f64 30) 1/3)))) (+.f64 (*.f64 (pow.f64 (pow.f64 d1 2) 1/3) (pow.f64 (cbrt.f64 30) 2)) (+.f64 (*.f64 (pow.f64 d2 2) (+.f64 (*.f64 -2/9 (*.f64 (pow.f64 (pow.f64 d1 14) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 4)) 1/3))) (*.f64 1/9 (*.f64 (pow.f64 (pow.f64 d1 14) 1/9) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 4)) 1/3))))) (*.f64 (+.f64 (*.f64 -2/3 (*.f64 (pow.f64 (/.f64 1 d1) 1/3) (/.f64 (+.f64 (*.f64 1/27 (*.f64 (pow.f64 (pow.f64 d1 7) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 30) 2)))) (*.f64 -2/9 (*.f64 (pow.f64 (pow.f64 d1 7) 1/3) (/.f64 1 (pow.f64 (cbrt.f64 30) 2))))) (cbrt.f64 30)))) (*.f64 -1/405 (pow.f64 d1 2))) (pow.f64 d2 3)))))
(fma.f64 2/3 (*.f64 d2 (*.f64 (*.f64 (pow.f64 (pow.f64 d1 10) 1/18) (pow.f64 (pow.f64 d1 10) 1/18)) (cbrt.f64 (cbrt.f64 30)))) (fma.f64 (cbrt.f64 (*.f64 d1 d1)) (pow.f64 (cbrt.f64 30) 2) (fma.f64 (*.f64 d2 d2) (*.f64 (*.f64 (*.f64 (pow.f64 (pow.f64 d1 14) 1/18) (pow.f64 (pow.f64 d1 14) 1/18)) (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 4)))) -1/9) (*.f64 (pow.f64 d2 3) (fma.f64 -2/3 (*.f64 (cbrt.f64 (/.f64 1 d1)) (/.f64 (*.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 2)) (cbrt.f64 (pow.f64 d1 7))) -5/27) (cbrt.f64 30))) (*.f64 (*.f64 d1 d1) -1/405))))))
(fma.f64 2/3 (*.f64 d2 (*.f64 (*.f64 (pow.f64 (pow.f64 d1 10) 1/18) (pow.f64 (pow.f64 d1 10) 1/18)) (cbrt.f64 (cbrt.f64 30)))) (fma.f64 (pow.f64 (cbrt.f64 30) 2) (cbrt.f64 (*.f64 d1 d1)) (fma.f64 (*.f64 d2 d2) (*.f64 (*.f64 (pow.f64 (pow.f64 d1 14) 1/18) (pow.f64 (pow.f64 d1 14) 1/18)) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 30) 4))) -1/9)) (*.f64 (pow.f64 d2 3) (fma.f64 -2/3 (*.f64 (cbrt.f64 (/.f64 1 d1)) (/.f64 (/.f64 (cbrt.f64 (pow.f64 d1 7)) (pow.f64 (cbrt.f64 30) 2)) (/.f64 (cbrt.f64 30) -5/27))) (*.f64 (*.f64 d1 d1) -1/405))))))
(fma.f64 d2 (*.f64 (*.f64 (pow.f64 (pow.f64 d1 10) 1/18) (pow.f64 (pow.f64 d1 10) 1/18)) (*.f64 2/3 (cbrt.f64 (cbrt.f64 30)))) (fma.f64 (pow.f64 (cbrt.f64 30) 2) (cbrt.f64 (*.f64 d1 d1)) (*.f64 (*.f64 d2 d2) (+.f64 (*.f64 (*.f64 (pow.f64 (pow.f64 d1 14) 1/18) (pow.f64 (pow.f64 d1 14) 1/18)) (*.f64 -1/9 (cbrt.f64 (/.f64 1/30 (cbrt.f64 30))))) (*.f64 d2 (fma.f64 -2/3 (*.f64 (cbrt.f64 (/.f64 1 d1)) (/.f64 (*.f64 (cbrt.f64 (pow.f64 d1 7)) -5/27) 30)) (*.f64 d1 (*.f64 d1 -1/405))))))))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 30 d1)
(*.f64 d1 30)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (*.f64 d2 d1) (*.f64 30 d1))
(*.f64 d1 (+.f64 30 d2))

prune126.0ms (7.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1891190
Fresh112
Picked011
Done011
Total1904194
Error
0b
Counts
194 → 4
Alt Table
StatusErrorProgram
29.6b
(/.f64 (-.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (*.f64 (*.f64 d1 d1) 900)) (-.f64 (*.f64 d1 d2) (*.f64 d1 30)))
✓1.4b
(*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2))
13.7b
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
✓0.0b
(fma.f64 d1 d2 (*.f64 d1 30))
Compiler

Compiled 4184 to 3177 computations (24.1% saved)

regimes76.0ms (4.8%)

Accuracy

Total 0.0b remaining (72.3%)

Threshold costs 0.0b (72.3%)

Counts
42 → 1
Compiler

Compiled 462 to 315 computations (31.8% saved)

simplify3.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
067
187
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 d1 (+.f64 30 d2))
Outputs
(*.f64 d1 (+.f64 30 d2))

end57.0ms (3.6%)

Stop Event
1×fuel
Compiler

Compiled 74 to 48 computations (35.1% saved)

Profiling

Loading profile data...