Time bar (total: 3.4s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 0% | 100% | 0% | 0% | 0% | 0 |
| 100% | 0% | 0% | 100% | 0% | 0% | 0% | 1 |
Compiled 44 to 32 computations (27.3% saved)
| 1.2s | 8256× | body | 256 | valid |
| 2× | egglog |
| Inputs |
|---|
0 |
1 |
2 |
3 |
| Outputs |
|---|
0 |
1 |
2 |
3 |
| Inputs |
|---|
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2) |
(*.f64 (+.f64 c (+.f64 b (+.f64 a d))) 2) |
(*.f64 (+.f64 d (+.f64 b (+.f64 c a))) 2) |
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) 2) |
(*.f64 (+.f64 a (+.f64 d (+.f64 c b))) 2) |
(*.f64 (+.f64 a (+.f64 b (+.f64 d c))) 2) |
| Outputs |
|---|
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
(*.f64 (+.f64 (+.f64 b d) (+.f64 c a)) 2) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2) |
(*.f64 (+.f64 (+.f64 b d) (+.f64 c a)) 2) |
(*.f64 (+.f64 c (+.f64 b (+.f64 a d))) 2) |
(*.f64 (+.f64 (+.f64 b d) (+.f64 c a)) 2) |
(*.f64 (+.f64 d (+.f64 b (+.f64 c a))) 2) |
(*.f64 (+.f64 (+.f64 b d) (+.f64 c a)) 2) |
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) 2) |
(*.f64 (+.f64 (+.f64 b d) (+.f64 c a)) 2) |
(*.f64 (+.f64 a (+.f64 d (+.f64 c b))) 2) |
(*.f64 (+.f64 (+.f64 b d) (+.f64 c a)) 2) |
(*.f64 (+.f64 a (+.f64 b (+.f64 d c))) 2) |
(*.f64 (+.f64 (+.f64 b d) (+.f64 c a)) 2) |
Compiled 17 to 13 computations (23.5% saved)
| 1× | egglog |
| Inputs |
|---|
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
| Outputs |
|---|
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
Compiled 13 to 9 computations (30.8% saved)
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
| Status | Error | Program |
|---|---|---|
| ▶ | 3.7b | (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
Compiled 13 to 9 computations (30.8% saved)
Found 2 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.4b | (+.f64 b (+.f64 c d)) |
| ✓ | 2.8b | (+.f64 a (+.f64 b (+.f64 c d))) |
Compiled 33 to 10 computations (69.7% saved)
21 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | a | @ | inf | (+.f64 a (+.f64 b (+.f64 c d))) |
| 0.0ms | c | @ | inf | (+.f64 a (+.f64 b (+.f64 c d))) |
| 0.0ms | a | @ | 0 | (+.f64 a (+.f64 b (+.f64 c d))) |
| 0.0ms | d | @ | inf | (+.f64 a (+.f64 b (+.f64 c d))) |
| 0.0ms | b | @ | inf | (+.f64 a (+.f64 b (+.f64 c d))) |
Compiled 2175 to 75 computations (96.6% saved)
| 1× | batch-egg-rewrite |
| 84× | egg-rr |
| 62× | egg-rr |
| Inputs |
|---|
(+.f64 a (+.f64 b (+.f64 c d))) |
(+.f64 b (+.f64 c d)) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 a a)) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 a (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 b (+.f64 c d)) a)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 b c) (+.f64 d a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 a b) 1 (+.f64 c d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 b (+.f64 c d)) 1 a)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 a a)) (cbrt.f64 a) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 a 1 (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 a b) (+.f64 c d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (cbrt.f64 (+.f64 c d)) (+.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 c d)) (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (+.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 c d) 1 (+.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 c d) (+.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 b 1 (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 b (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) a)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 b c)) (cbrt.f64 (pow.f64 (+.f64 b c) 2)) (+.f64 d a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) (cbrt.f64 (+.f64 b (+.f64 c d))) a)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 a b)) (cbrt.f64 (pow.f64 (+.f64 a b) 2)) (+.f64 c d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 b) (cbrt.f64 (*.f64 b b)) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 b b)) (cbrt.f64 b) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 a (+.f64 b (+.f64 c d))) 0) (/.f64 (-.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2) (*.f64 a a)) (-.f64 (+.f64 b (+.f64 c d)) a)) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 b (+.f64 c d)) a) 0) (/.f64 (-.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2) (*.f64 a a)) (-.f64 (+.f64 b (+.f64 c d)) a)) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) (+.f64 a b)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) (+.f64 a b))))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 a a (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 b (+.f64 c d)) a))) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (fma.f64 a a (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 b (+.f64 c d)) a)))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 b (+.f64 c d)) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (fma.f64 a a (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 b (+.f64 c d)) a)))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 c d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) (+.f64 a b))))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 a 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (fma.f64 a a (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 b (+.f64 c d)) a)))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 c d) (+.f64 a b)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (pow.f64 (+.f64 a b) 2)) (-.f64 (+.f64 c d) (+.f64 a b))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 b (+.f64 a (+.f64 c d))) 0) (/.f64 (-.f64 (*.f64 b b) (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (-.f64 b (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 a b) (+.f64 c d)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 a b) 2) (pow.f64 (+.f64 c d) 2)) (-.f64 (+.f64 a b) (+.f64 c d))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 (+.f64 a b) d) c) 0) (/.f64 (-.f64 (*.f64 (+.f64 (+.f64 a b) d) (+.f64 (+.f64 a b) d)) (*.f64 c c)) (-.f64 (+.f64 (+.f64 a b) d) c)) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 b c) (+.f64 d a)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 (+.f64 d a) (+.f64 d a))) (-.f64 (+.f64 b c) (+.f64 d a))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 a (+.f64 c d)) b) 0) (/.f64 (-.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 b b)) (-.f64 (+.f64 a (+.f64 c d)) b)) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 a (+.f64 b c)) d) 0) (/.f64 (-.f64 (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b c))) (*.f64 d d)) (-.f64 (+.f64 a (+.f64 b c)) d)) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 (+.f64 c d) 2) (-.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 a b) (+.f64 c d)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 c d) 2) (-.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 a b) (+.f64 c d))))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 b b) (-.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 b (+.f64 a (+.f64 c d))))) 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 a (+.f64 c d)) 3)) (+.f64 (*.f64 b b) (-.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 b (+.f64 a (+.f64 c d)))))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 (+.f64 (+.f64 a b) d) (+.f64 (+.f64 a b) d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 (+.f64 a b) d) c))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 a b) d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 (+.f64 a b) d) (+.f64 (+.f64 a b) d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 (+.f64 a b) d) c)))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (*.f64 (+.f64 d a) (+.f64 d a)) (*.f64 (+.f64 b c) (+.f64 d a)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 d a) 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (*.f64 (+.f64 d a) (+.f64 d a)) (*.f64 (+.f64 b c) (+.f64 d a))))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (-.f64 (*.f64 b b) (*.f64 (+.f64 a (+.f64 c d)) b))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) (pow.f64 b 3)) (+.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (-.f64 (*.f64 b b) (*.f64 (+.f64 a (+.f64 c d)) b)))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b c))) (-.f64 (*.f64 d d) (*.f64 (+.f64 a (+.f64 b c)) d))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) (pow.f64 d 3)) (+.f64 (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b c))) (-.f64 (*.f64 d d) (*.f64 (+.f64 a (+.f64 b c)) d)))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 c d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 c d) 2) (-.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 a b) (+.f64 c d))))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 b 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 a (+.f64 c d)) 3)) (+.f64 (*.f64 b b) (-.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 b (+.f64 a (+.f64 c d)))))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (+.f64 a b) d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 a b) d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 (+.f64 a b) d) (+.f64 (+.f64 a b) d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 (+.f64 a b) d) c)))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 a (+.f64 b c)) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) (pow.f64 d 3)) (+.f64 (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b c))) (-.f64 (*.f64 d d) (*.f64 (+.f64 a (+.f64 b c)) d)))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 a (+.f64 c d)) 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 a (+.f64 c d)) 3)) (+.f64 (*.f64 b b) (-.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 b (+.f64 a (+.f64 c d)))))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 a b) d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 (+.f64 a b) d) (+.f64 (+.f64 a b) d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 (+.f64 a b) d) c)))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 d a) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 d a) 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (*.f64 (+.f64 d a) (+.f64 d a)) (*.f64 (+.f64 b c) (+.f64 d a))))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 b 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) (pow.f64 b 3)) (+.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (-.f64 (*.f64 b b) (*.f64 (+.f64 a (+.f64 c d)) b)))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) (pow.f64 d 3)) (+.f64 (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b c))) (-.f64 (*.f64 d d) (*.f64 (+.f64 a (+.f64 b c)) d)))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 a b) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) (+.f64 a b))))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 b c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 d a) 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (*.f64 (+.f64 d a) (+.f64 d a)) (*.f64 (+.f64 b c) (+.f64 d a))))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 a (+.f64 c d)) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) (pow.f64 b 3)) (+.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (-.f64 (*.f64 b b) (*.f64 (+.f64 a (+.f64 c d)) b)))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 a b) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 c d) 2) (-.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 a b) (+.f64 c d))))) (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 a (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 b (+.f64 c d)) a)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 a b) (+.f64 c d))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 c d) (+.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 a (+.f64 c d)) b)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 b (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 b c) (+.f64 d a))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 d a) (+.f64 b c))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 a b) d) c)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 a c) (+.f64 b d))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 a (+.f64 b c)) d)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 c (+.f64 (+.f64 b d) a))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 b d) (+.f64 c a))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (+.f64 a b) d) 1) c)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 b c) (*.f64 (+.f64 d a) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 a (+.f64 c d)) 1) b)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 a (+.f64 b c)) 1) d)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 c (+.f64 (+.f64 a b) d))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 d (+.f64 a (+.f64 b c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 b (*.f64 (+.f64 a (+.f64 c d)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 a (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a (+.f64 b (+.f64 c d))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 (*.f64 a a)) (-.f64 (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) (cbrt.f64 (*.f64 a (+.f64 b (+.f64 c d)))))) (+.f64 (cbrt.f64 a) (cbrt.f64 (+.f64 b (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) (-.f64 (cbrt.f64 (*.f64 a a)) (cbrt.f64 (*.f64 a (+.f64 b (+.f64 c d)))))) (+.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) (cbrt.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)) (cbrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 a (+.f64 b (+.f64 c d))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 a (+.f64 b (+.f64 c d))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 a (+.f64 b (+.f64 c d))) 3)))))) |
((#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 c d)) (cbrt.f64 (pow.f64 (+.f64 c d) 2)) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 c d) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 b (+.f64 c d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 b c) d)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 d 1 (+.f64 b c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 d (+.f64 b c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 c 1 (+.f64 b d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 c (+.f64 b d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (cbrt.f64 (+.f64 c d)) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 c d) 1 b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 b c) 1 d)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 b 1 (+.f64 c d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 b) (cbrt.f64 (*.f64 b b)) (+.f64 c d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 b c)) (cbrt.f64 (pow.f64 (+.f64 b c) 2)) d)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 d) (cbrt.f64 (*.f64 d d)) (+.f64 b c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 d d)) (cbrt.f64 d) (+.f64 b c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 c c)) (cbrt.f64 c) (+.f64 b d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 c) (cbrt.f64 (*.f64 c c)) (+.f64 b d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 b b)) (cbrt.f64 b) (+.f64 c d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 b (+.f64 c d)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (*.f64 b b)) (-.f64 (+.f64 c d) b)) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 c d) b) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (*.f64 b b)) (-.f64 (+.f64 c d) b)) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b))) 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b)))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 c d) 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b)))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 b 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b)))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 b d) c) 0) (/.f64 (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 c c)) (-.f64 (+.f64 b d) c)) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 d (+.f64 b c)) 0) (/.f64 (-.f64 (*.f64 d d) (pow.f64 (+.f64 b c) 2)) (-.f64 d (+.f64 b c))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 b c) d) 0) (/.f64 (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d d)) (-.f64 (+.f64 b c) d)) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 c (+.f64 b d)) 0) (/.f64 (-.f64 (*.f64 c c) (*.f64 (+.f64 b d) (+.f64 b d))) (-.f64 c (+.f64 b d))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 b d) c))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 b d) c)))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (+.f64 b c)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (-.f64 d (+.f64 b c)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (-.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 c (+.f64 b d)))) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 b d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 c (+.f64 b d))))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 b c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (-.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 b d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 c (+.f64 b d))))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 b d) c)))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (-.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 b d) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 b d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 c (+.f64 b d))))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 b d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 b d) c)))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 b c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 b (+.f64 c d))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 c d) b)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 b c) d)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 d (+.f64 b c))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 b d) c)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 c (+.f64 b d))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 c (*.f64 (+.f64 b d) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 b d) 1) c)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 c d)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d))))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2) 2) (cbrt.f64 (+.f64 b (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2) (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 (*.f64 b b)) (-.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (cbrt.f64 (*.f64 b (+.f64 c d))))) (+.f64 (cbrt.f64 b) (cbrt.f64 (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (-.f64 (cbrt.f64 (*.f64 b b)) (cbrt.f64 (*.f64 b (+.f64 c d))))) (+.f64 (cbrt.f64 (+.f64 c d)) (cbrt.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) (cbrt.f64 (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 b (+.f64 c d)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 b (+.f64 c d)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 3)))))) |
| 1× | egglog |
| Inputs |
|---|
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
a |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
a |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
b |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
b |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 a (+.f64 d b)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
c |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
c |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a b)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
d |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
d |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c d) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
b |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
b |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d b) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
c |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
c |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c b) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
d |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
d |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(fma.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 a a)) (+.f64 b (+.f64 c d))) |
(fma.f64 1 a (+.f64 b (+.f64 c d))) |
(fma.f64 1 (+.f64 b (+.f64 c d)) a) |
(fma.f64 1 (+.f64 b c) (+.f64 d a)) |
(fma.f64 (+.f64 a b) 1 (+.f64 c d)) |
(fma.f64 (+.f64 b (+.f64 c d)) 1 a) |
(fma.f64 (cbrt.f64 (*.f64 a a)) (cbrt.f64 a) (+.f64 b (+.f64 c d))) |
(fma.f64 a 1 (+.f64 b (+.f64 c d))) |
(fma.f64 1 (+.f64 a b) (+.f64 c d)) |
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (cbrt.f64 (+.f64 c d)) (+.f64 a b)) |
(fma.f64 (cbrt.f64 (+.f64 c d)) (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (+.f64 a b)) |
(fma.f64 (+.f64 c d) 1 (+.f64 a b)) |
(fma.f64 1 (+.f64 c d) (+.f64 a b)) |
(fma.f64 b 1 (+.f64 a (+.f64 c d))) |
(fma.f64 1 b (+.f64 a (+.f64 c d))) |
(fma.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) a) |
(fma.f64 (cbrt.f64 (+.f64 b c)) (cbrt.f64 (pow.f64 (+.f64 b c) 2)) (+.f64 d a)) |
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) (cbrt.f64 (+.f64 b (+.f64 c d))) a) |
(fma.f64 (cbrt.f64 (+.f64 a b)) (cbrt.f64 (pow.f64 (+.f64 a b) 2)) (+.f64 c d)) |
(fma.f64 (cbrt.f64 b) (cbrt.f64 (*.f64 b b)) (+.f64 a (+.f64 c d))) |
(fma.f64 (cbrt.f64 (*.f64 b b)) (cbrt.f64 b) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (-.f64 a (+.f64 b (+.f64 c d))) 0) (/.f64 (-.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2) (*.f64 a a)) (-.f64 (+.f64 b (+.f64 c d)) a)) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 (+.f64 b (+.f64 c d)) a) 0) (/.f64 (-.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2) (*.f64 a a)) (-.f64 (+.f64 b (+.f64 c d)) a)) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) (+.f64 a b)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) (+.f64 a b))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (fma.f64 a a (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 b (+.f64 c d)) a))) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (fma.f64 a a (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 b (+.f64 c d)) a)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 b (+.f64 c d)) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (fma.f64 a a (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 b (+.f64 c d)) a)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 c d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) (+.f64 a b))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 a 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (fma.f64 a a (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 b (+.f64 c d)) a)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 (+.f64 c d) (+.f64 a b)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (pow.f64 (+.f64 a b) 2)) (-.f64 (+.f64 c d) (+.f64 a b))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 b (+.f64 a (+.f64 c d))) 0) (/.f64 (-.f64 (*.f64 b b) (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (-.f64 b (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 (+.f64 a b) (+.f64 c d)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 a b) 2) (pow.f64 (+.f64 c d) 2)) (-.f64 (+.f64 a b) (+.f64 c d))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 (+.f64 (+.f64 a b) d) c) 0) (/.f64 (-.f64 (*.f64 (+.f64 (+.f64 a b) d) (+.f64 (+.f64 a b) d)) (*.f64 c c)) (-.f64 (+.f64 (+.f64 a b) d) c)) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 (+.f64 b c) (+.f64 d a)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 (+.f64 d a) (+.f64 d a))) (-.f64 (+.f64 b c) (+.f64 d a))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 (+.f64 a (+.f64 c d)) b) 0) (/.f64 (-.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 b b)) (-.f64 (+.f64 a (+.f64 c d)) b)) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 (+.f64 a (+.f64 b c)) d) 0) (/.f64 (-.f64 (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b c))) (*.f64 d d)) (-.f64 (+.f64 a (+.f64 b c)) d)) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 c d) 2) (-.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 a b) (+.f64 c d)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 c d) 2) (-.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 a b) (+.f64 c d))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 (*.f64 b b) (-.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 b (+.f64 a (+.f64 c d))))) 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 a (+.f64 c d)) 3)) (+.f64 (*.f64 b b) (-.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 b (+.f64 a (+.f64 c d)))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 (*.f64 (+.f64 (+.f64 a b) d) (+.f64 (+.f64 a b) d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 (+.f64 a b) d) c))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 a b) d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 (+.f64 a b) d) (+.f64 (+.f64 a b) d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 (+.f64 a b) d) c)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (*.f64 (+.f64 d a) (+.f64 d a)) (*.f64 (+.f64 b c) (+.f64 d a)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 d a) 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (*.f64 (+.f64 d a) (+.f64 d a)) (*.f64 (+.f64 b c) (+.f64 d a))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (-.f64 (*.f64 b b) (*.f64 (+.f64 a (+.f64 c d)) b))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) (pow.f64 b 3)) (+.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (-.f64 (*.f64 b b) (*.f64 (+.f64 a (+.f64 c d)) b)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b c))) (-.f64 (*.f64 d d) (*.f64 (+.f64 a (+.f64 b c)) d))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) (pow.f64 d 3)) (+.f64 (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b c))) (-.f64 (*.f64 d d) (*.f64 (+.f64 a (+.f64 b c)) d)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 c d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 c d) 2) (-.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 a b) (+.f64 c d))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 b 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 a (+.f64 c d)) 3)) (+.f64 (*.f64 b b) (-.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 b (+.f64 a (+.f64 c d)))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 (+.f64 a b) d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 a b) d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 (+.f64 a b) d) (+.f64 (+.f64 a b) d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 (+.f64 a b) d) c)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 a (+.f64 b c)) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) (pow.f64 d 3)) (+.f64 (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b c))) (-.f64 (*.f64 d d) (*.f64 (+.f64 a (+.f64 b c)) d)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 a (+.f64 c d)) 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 a (+.f64 c d)) 3)) (+.f64 (*.f64 b b) (-.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 b (+.f64 a (+.f64 c d)))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 a b) d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 (+.f64 a b) d) (+.f64 (+.f64 a b) d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 (+.f64 a b) d) c)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 d a) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 d a) 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (*.f64 (+.f64 d a) (+.f64 d a)) (*.f64 (+.f64 b c) (+.f64 d a))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 b 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) (pow.f64 b 3)) (+.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (-.f64 (*.f64 b b) (*.f64 (+.f64 a (+.f64 c d)) b)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) (pow.f64 d 3)) (+.f64 (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b c))) (-.f64 (*.f64 d d) (*.f64 (+.f64 a (+.f64 b c)) d)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 a b) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) (+.f64 a b))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 b c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 d a) 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (*.f64 (+.f64 d a) (+.f64 d a)) (*.f64 (+.f64 b c) (+.f64 d a))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 a (+.f64 c d)) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) (pow.f64 b 3)) (+.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (-.f64 (*.f64 b b) (*.f64 (+.f64 a (+.f64 c d)) b)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 a b) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 c d) 2) (-.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 a b) (+.f64 c d))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(+.f64 a (+.f64 b (+.f64 c d))) |
(+.f64 (+.f64 b (+.f64 c d)) a) |
(+.f64 (+.f64 a b) (+.f64 c d)) |
(+.f64 (+.f64 c d) (+.f64 a b)) |
(+.f64 (+.f64 a (+.f64 c d)) b) |
(+.f64 b (+.f64 a (+.f64 c d))) |
(+.f64 (+.f64 b c) (+.f64 d a)) |
(+.f64 (+.f64 d a) (+.f64 b c)) |
(+.f64 (+.f64 (+.f64 a b) d) c) |
(+.f64 (+.f64 a c) (+.f64 b d)) |
(+.f64 (+.f64 a (+.f64 b c)) d) |
(+.f64 c (+.f64 (+.f64 b d) a)) |
(+.f64 (+.f64 b d) (+.f64 c a)) |
(+.f64 (*.f64 (+.f64 (+.f64 a b) d) 1) c) |
(+.f64 (+.f64 b c) (*.f64 (+.f64 d a) 1)) |
(+.f64 (*.f64 (+.f64 a (+.f64 c d)) 1) b) |
(+.f64 (*.f64 (+.f64 a (+.f64 b c)) 1) d) |
(+.f64 c (+.f64 (+.f64 a b) d)) |
(+.f64 d (+.f64 a (+.f64 b c))) |
(+.f64 b (*.f64 (+.f64 a (+.f64 c d)) 1)) |
(*.f64 1 (+.f64 a (+.f64 b (+.f64 c d)))) |
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 1) |
(*.f64 (cbrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2))) |
(*.f64 (+.f64 (cbrt.f64 (*.f64 a a)) (-.f64 (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) (cbrt.f64 (*.f64 a (+.f64 b (+.f64 c d)))))) (+.f64 (cbrt.f64 a) (cbrt.f64 (+.f64 b (+.f64 c d))))) |
(*.f64 (+.f64 (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) (-.f64 (cbrt.f64 (*.f64 a a)) (cbrt.f64 (*.f64 a (+.f64 b (+.f64 c d)))))) (+.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) (cbrt.f64 a))) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)) (cbrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))) |
(pow.f64 (cbrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) 3) |
(pow.f64 (+.f64 a (+.f64 b (+.f64 c d))) 1) |
(pow.f64 (pow.f64 (+.f64 a (+.f64 b (+.f64 c d))) 3) 1/3) |
(cbrt.f64 (pow.f64 (+.f64 a (+.f64 b (+.f64 c d))) 3)) |
(fma.f64 (cbrt.f64 (+.f64 c d)) (cbrt.f64 (pow.f64 (+.f64 c d) 2)) b) |
(fma.f64 1 (+.f64 c d) b) |
(fma.f64 1 b (+.f64 c d)) |
(fma.f64 1 (+.f64 b c) d) |
(fma.f64 d 1 (+.f64 b c)) |
(fma.f64 1 d (+.f64 b c)) |
(fma.f64 c 1 (+.f64 b d)) |
(fma.f64 1 c (+.f64 b d)) |
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (cbrt.f64 (+.f64 c d)) b) |
(fma.f64 (+.f64 c d) 1 b) |
(fma.f64 (+.f64 b c) 1 d) |
(fma.f64 b 1 (+.f64 c d)) |
(fma.f64 (cbrt.f64 b) (cbrt.f64 (*.f64 b b)) (+.f64 c d)) |
(fma.f64 (cbrt.f64 (+.f64 b c)) (cbrt.f64 (pow.f64 (+.f64 b c) 2)) d) |
(fma.f64 (cbrt.f64 d) (cbrt.f64 (*.f64 d d)) (+.f64 b c)) |
(fma.f64 (cbrt.f64 (*.f64 d d)) (cbrt.f64 d) (+.f64 b c)) |
(fma.f64 (cbrt.f64 (*.f64 c c)) (cbrt.f64 c) (+.f64 b d)) |
(fma.f64 (cbrt.f64 c) (cbrt.f64 (*.f64 c c)) (+.f64 b d)) |
(fma.f64 (cbrt.f64 (*.f64 b b)) (cbrt.f64 b) (+.f64 c d)) |
(if (!=.f64 (-.f64 b (+.f64 c d)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (*.f64 b b)) (-.f64 (+.f64 c d) b)) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (-.f64 (+.f64 c d) b) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (*.f64 b b)) (-.f64 (+.f64 c d) b)) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b))) 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b)))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 c d) 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b)))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 b 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b)))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (-.f64 (+.f64 b d) c) 0) (/.f64 (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 c c)) (-.f64 (+.f64 b d) c)) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (-.f64 d (+.f64 b c)) 0) (/.f64 (-.f64 (*.f64 d d) (pow.f64 (+.f64 b c) 2)) (-.f64 d (+.f64 b c))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (-.f64 (+.f64 b c) d) 0) (/.f64 (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d d)) (-.f64 (+.f64 b c) d)) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (-.f64 c (+.f64 b d)) 0) (/.f64 (-.f64 (*.f64 c c) (*.f64 (+.f64 b d) (+.f64 b d))) (-.f64 c (+.f64 b d))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 b d) c))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 b d) c)))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (+.f64 b c)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (-.f64 d (+.f64 b c)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (-.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 c (+.f64 b d)))) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 b d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 c (+.f64 b d))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 b c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (-.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 b d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 c (+.f64 b d))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 b d) c)))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (-.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 b d) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 b d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 c (+.f64 b d))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 b d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 b d) c)))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 b c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d))) |
(+.f64 b (+.f64 c d)) |
(+.f64 (+.f64 c d) b) |
(+.f64 (+.f64 b c) d) |
(+.f64 d (+.f64 b c)) |
(+.f64 (+.f64 b d) c) |
(+.f64 c (+.f64 b d)) |
(+.f64 c (*.f64 (+.f64 b d) 1)) |
(+.f64 (*.f64 (+.f64 b d) 1) c) |
(*.f64 1 (+.f64 b (+.f64 c d))) |
(*.f64 (+.f64 b (+.f64 c d)) 1) |
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d))))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2)) |
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2) 2) (cbrt.f64 (+.f64 b (+.f64 c d))))) |
(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2) (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)))) |
(*.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2))) |
(*.f64 (+.f64 (cbrt.f64 (*.f64 b b)) (-.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (cbrt.f64 (*.f64 b (+.f64 c d))))) (+.f64 (cbrt.f64 b) (cbrt.f64 (+.f64 c d)))) |
(*.f64 (+.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (-.f64 (cbrt.f64 (*.f64 b b)) (cbrt.f64 (*.f64 b (+.f64 c d))))) (+.f64 (cbrt.f64 (+.f64 c d)) (cbrt.f64 b))) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) (cbrt.f64 (+.f64 b (+.f64 c d)))) |
(*.f64 (*.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2) 2)) |
(pow.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) 3) |
(pow.f64 (+.f64 b (+.f64 c d)) 1) |
(pow.f64 (pow.f64 (+.f64 b (+.f64 c d)) 3) 1/3) |
(cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 3)) |
| Outputs |
|---|
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
a |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
a |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
b |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
b |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 a (+.f64 d b)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
c |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
c |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a b)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
d |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
d |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c d) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
b |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
b |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 d b) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
c |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
c |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c b) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
d |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
d |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 d b)) |
(+.f64 b (+.f64 c d)) |
(fma.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 a a)) (+.f64 b (+.f64 c d))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(fma.f64 1 a (+.f64 b (+.f64 c d))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(fma.f64 1 (+.f64 b (+.f64 c d)) a) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(fma.f64 1 (+.f64 b c) (+.f64 d a)) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(fma.f64 (+.f64 a b) 1 (+.f64 c d)) |
(fma.f64 (+.f64 b (+.f64 c d)) 1 a) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(fma.f64 (cbrt.f64 (*.f64 a a)) (cbrt.f64 a) (+.f64 b (+.f64 c d))) |
(fma.f64 a 1 (+.f64 b (+.f64 c d))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(fma.f64 1 (+.f64 a b) (+.f64 c d)) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (cbrt.f64 (+.f64 c d)) (+.f64 a b)) |
(fma.f64 (cbrt.f64 (+.f64 c d)) (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (+.f64 a b)) |
(fma.f64 (+.f64 c d) 1 (+.f64 a b)) |
(fma.f64 1 (+.f64 c d) (+.f64 a b)) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(fma.f64 b 1 (+.f64 a (+.f64 c d))) |
(fma.f64 b 1 (+.f64 c (+.f64 a d))) |
(fma.f64 1 b (+.f64 a (+.f64 c d))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(fma.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) a) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(fma.f64 (cbrt.f64 (+.f64 b c)) (cbrt.f64 (pow.f64 (+.f64 b c) 2)) (+.f64 d a)) |
(fma.f64 (cbrt.f64 (+.f64 c b)) (cbrt.f64 (pow.f64 (+.f64 c b) 2)) (+.f64 a d)) |
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) (cbrt.f64 (+.f64 b (+.f64 c d))) a) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(fma.f64 (cbrt.f64 (+.f64 a b)) (cbrt.f64 (pow.f64 (+.f64 a b) 2)) (+.f64 c d)) |
(fma.f64 (cbrt.f64 b) (cbrt.f64 (*.f64 b b)) (+.f64 a (+.f64 c d))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(fma.f64 (cbrt.f64 (*.f64 b b)) (cbrt.f64 b) (+.f64 a (+.f64 c d))) |
(fma.f64 (cbrt.f64 (*.f64 b b)) (cbrt.f64 b) (+.f64 c (+.f64 a d))) |
(if (!=.f64 (-.f64 a (+.f64 b (+.f64 c d))) 0) (/.f64 (-.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2) (*.f64 a a)) (-.f64 (+.f64 b (+.f64 c d)) a)) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 a (+.f64 b (+.f64 c d))) 0) (/.f64 (-.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2) (*.f64 a a)) (-.f64 (+.f64 b (+.f64 c d)) a)) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (-.f64 (+.f64 b (+.f64 c d)) a) 0) (/.f64 (-.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2) (*.f64 a a)) (-.f64 (+.f64 b (+.f64 c d)) a)) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 (+.f64 b (+.f64 c d)) a) 0) (/.f64 (-.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2) (*.f64 a a)) (-.f64 (+.f64 b (+.f64 c d)) a)) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) (+.f64 a b)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) (+.f64 a b))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) (+.f64 a b)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) (+.f64 a b))))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (fma.f64 a a (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 b (+.f64 c d)) a))) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (fma.f64 a a (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 b (+.f64 c d)) a)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (fma.f64 a a (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 b (+.f64 c d)) a))) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (fma.f64 a a (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 b (+.f64 c d)) a)))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 b (+.f64 c d)) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (fma.f64 a a (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 b (+.f64 c d)) a)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 b (+.f64 c d)) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (fma.f64 a a (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 b (+.f64 c d)) a)))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 c d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) (+.f64 a b))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 c d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) (+.f64 a b))))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 a 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (fma.f64 a a (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 b (+.f64 c d)) a)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 a 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 b (+.f64 c d)) 3)) (fma.f64 a a (*.f64 (+.f64 b (+.f64 c d)) (-.f64 (+.f64 b (+.f64 c d)) a)))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (-.f64 (+.f64 c d) (+.f64 a b)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (pow.f64 (+.f64 a b) 2)) (-.f64 (+.f64 c d) (+.f64 a b))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 (+.f64 c d) (+.f64 a b)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (pow.f64 (+.f64 a b) 2)) (-.f64 (+.f64 c d) (+.f64 a b))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (-.f64 b (+.f64 a (+.f64 c d))) 0) (/.f64 (-.f64 (*.f64 b b) (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (-.f64 b (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 b (+.f64 c (+.f64 a d))) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (*.f64 b b)) (-.f64 (+.f64 c (+.f64 a d)) b)) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (-.f64 (+.f64 a b) (+.f64 c d)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 a b) 2) (pow.f64 (+.f64 c d) 2)) (-.f64 (+.f64 a b) (+.f64 c d))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 (+.f64 a b) (+.f64 c d)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (pow.f64 (+.f64 a b) 2)) (-.f64 (+.f64 c d) (+.f64 a b))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (-.f64 (+.f64 (+.f64 a b) d) c) 0) (/.f64 (-.f64 (*.f64 (+.f64 (+.f64 a b) d) (+.f64 (+.f64 a b) d)) (*.f64 c c)) (-.f64 (+.f64 (+.f64 a b) d) c)) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 (+.f64 a (+.f64 d b)) c) 0) (/.f64 (-.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (*.f64 c c)) (-.f64 (+.f64 a (+.f64 d b)) c)) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (-.f64 (+.f64 b c) (+.f64 d a)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 (+.f64 d a) (+.f64 d a))) (-.f64 (+.f64 b c) (+.f64 d a))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 (+.f64 c b) (+.f64 a d)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c b) 2) (pow.f64 (+.f64 a d) 2)) (-.f64 (+.f64 c b) (+.f64 a d))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (-.f64 (+.f64 a (+.f64 c d)) b) 0) (/.f64 (-.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 b b)) (-.f64 (+.f64 a (+.f64 c d)) b)) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 (+.f64 c (+.f64 a d)) b) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (*.f64 b b)) (-.f64 (+.f64 c (+.f64 a d)) b)) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (-.f64 (+.f64 a (+.f64 b c)) d) 0) (/.f64 (-.f64 (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b c))) (*.f64 d d)) (-.f64 (+.f64 a (+.f64 b c)) d)) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 (+.f64 c (+.f64 a b)) d) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c (+.f64 a b)) 2) (*.f64 d d)) (-.f64 (+.f64 c (+.f64 a b)) d)) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 c d) 2) (-.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 a b) (+.f64 c d)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 c d) 2) (-.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 a b) (+.f64 c d))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (-.f64 (+.f64 (pow.f64 (+.f64 c d) 2) (pow.f64 (+.f64 a b) 2)) (*.f64 (+.f64 a b) (+.f64 c d))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (-.f64 (+.f64 (pow.f64 (+.f64 c d) 2) (pow.f64 (+.f64 a b) 2)) (*.f64 (+.f64 a b) (+.f64 c d)))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 (*.f64 b b) (-.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 b (+.f64 a (+.f64 c d))))) 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 a (+.f64 c d)) 3)) (+.f64 (*.f64 b b) (-.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 b (+.f64 a (+.f64 c d)))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (fma.f64 b b (*.f64 (+.f64 c (+.f64 a d)) (-.f64 (+.f64 c (+.f64 a d)) b))) 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 c (+.f64 a d)) 3)) (fma.f64 b b (*.f64 (+.f64 c (+.f64 a d)) (-.f64 (+.f64 c (+.f64 a d)) b)))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 (*.f64 (+.f64 (+.f64 a b) d) (+.f64 (+.f64 a b) d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 (+.f64 a b) d) c))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 a b) d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 (+.f64 a b) d) (+.f64 (+.f64 a b) d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 (+.f64 a b) d) c)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (*.f64 c (-.f64 c (+.f64 a (+.f64 d b))))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 d b)) 3) (pow.f64 c 3)) (+.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (*.f64 c (-.f64 c (+.f64 a (+.f64 d b)))))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (*.f64 (+.f64 d a) (+.f64 d a)) (*.f64 (+.f64 b c) (+.f64 d a)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 d a) 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (*.f64 (+.f64 d a) (+.f64 d a)) (*.f64 (+.f64 b c) (+.f64 d a))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 c b) 2) (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) (+.f64 c b)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 c b) 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (pow.f64 (+.f64 c b) 2) (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) (+.f64 c b))))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (-.f64 (*.f64 b b) (*.f64 (+.f64 a (+.f64 c d)) b))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) (pow.f64 b 3)) (+.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (-.f64 (*.f64 b b) (*.f64 (+.f64 a (+.f64 c d)) b)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (*.f64 b (-.f64 b (+.f64 c (+.f64 a d))))) 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 c (+.f64 a d)) 3)) (+.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (*.f64 b (-.f64 b (+.f64 c (+.f64 a d)))))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b c))) (-.f64 (*.f64 d d) (*.f64 (+.f64 a (+.f64 b c)) d))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) (pow.f64 d 3)) (+.f64 (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b c))) (-.f64 (*.f64 d d) (*.f64 (+.f64 a (+.f64 b c)) d)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 a b)) 2) (*.f64 d (-.f64 d (+.f64 c (+.f64 a b))))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 a b)) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 c (+.f64 a b)) 2) (*.f64 d (-.f64 d (+.f64 c (+.f64 a b)))))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 c d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 c d) 2) (-.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 a b) (+.f64 c d))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 c d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (-.f64 (+.f64 (pow.f64 (+.f64 c d) 2) (pow.f64 (+.f64 a b) 2)) (*.f64 (+.f64 a b) (+.f64 c d)))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 b 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 a (+.f64 c d)) 3)) (+.f64 (*.f64 b b) (-.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 b (+.f64 a (+.f64 c d)))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 b 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 c (+.f64 a d)) 3)) (fma.f64 b b (*.f64 (+.f64 c (+.f64 a d)) (-.f64 (+.f64 c (+.f64 a d)) b)))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 (+.f64 a b) d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 a b) d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 (+.f64 a b) d) (+.f64 (+.f64 a b) d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 (+.f64 a b) d) c)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 a (+.f64 d b)) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 d b)) 3) (pow.f64 c 3)) (+.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (*.f64 c (-.f64 c (+.f64 a (+.f64 d b)))))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 a (+.f64 b c)) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) (pow.f64 d 3)) (+.f64 (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b c))) (-.f64 (*.f64 d d) (*.f64 (+.f64 a (+.f64 b c)) d)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 c (+.f64 a b)) 0) (/.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 a b)) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 c (+.f64 a b)) 2) (*.f64 d (-.f64 d (+.f64 c (+.f64 a b)))))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 a (+.f64 c d)) 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 a (+.f64 c d)) 3)) (+.f64 (*.f64 b b) (-.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 b (+.f64 a (+.f64 c d)))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 c (+.f64 a d)) 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 c (+.f64 a d)) 3)) (fma.f64 b b (*.f64 (+.f64 c (+.f64 a d)) (-.f64 (+.f64 c (+.f64 a d)) b)))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 a b) d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 (+.f64 a b) d) (+.f64 (+.f64 a b) d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 (+.f64 a b) d) c)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 d b)) 3) (pow.f64 c 3)) (+.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (*.f64 c (-.f64 c (+.f64 a (+.f64 d b)))))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 d a) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 d a) 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (*.f64 (+.f64 d a) (+.f64 d a)) (*.f64 (+.f64 b c) (+.f64 d a))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 a d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 c b) 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (pow.f64 (+.f64 c b) 2) (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) (+.f64 c b))))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 b 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) (pow.f64 b 3)) (+.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (-.f64 (*.f64 b b) (*.f64 (+.f64 a (+.f64 c d)) b)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 b 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 c (+.f64 a d)) 3)) (+.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (*.f64 b (-.f64 b (+.f64 c (+.f64 a d)))))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 b c)) 3) (pow.f64 d 3)) (+.f64 (*.f64 (+.f64 a (+.f64 b c)) (+.f64 a (+.f64 b c))) (-.f64 (*.f64 d d) (*.f64 (+.f64 a (+.f64 b c)) d)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 a b)) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 c (+.f64 a b)) 2) (*.f64 d (-.f64 d (+.f64 c (+.f64 a b)))))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 a b) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) (+.f64 a b))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 a b) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) (+.f64 a b))))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 b c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 (+.f64 d a) 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (-.f64 (*.f64 (+.f64 d a) (+.f64 d a)) (*.f64 (+.f64 b c) (+.f64 d a))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 c b) 0) (/.f64 (+.f64 (pow.f64 (+.f64 c b) 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (pow.f64 (+.f64 c b) 2) (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) (+.f64 c b))))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 a (+.f64 c d)) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) (pow.f64 b 3)) (+.f64 (*.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (-.f64 (*.f64 b b) (*.f64 (+.f64 a (+.f64 c d)) b)))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 c (+.f64 a d)) 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 c (+.f64 a d)) 3)) (+.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (*.f64 b (-.f64 b (+.f64 c (+.f64 a d)))))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(if (!=.f64 (+.f64 a b) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (+.f64 (pow.f64 (+.f64 c d) 2) (-.f64 (pow.f64 (+.f64 a b) 2) (*.f64 (+.f64 a b) (+.f64 c d))))) (+.f64 a (+.f64 b (+.f64 c d)))) |
(if (!=.f64 (+.f64 a b) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a b) 3) (pow.f64 (+.f64 c d) 3)) (-.f64 (+.f64 (pow.f64 (+.f64 c d) 2) (pow.f64 (+.f64 a b) 2)) (*.f64 (+.f64 a b) (+.f64 c d)))) (+.f64 b (+.f64 c (+.f64 a d)))) |
(+.f64 a (+.f64 b (+.f64 c d))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 (+.f64 b (+.f64 c d)) a) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 (+.f64 a b) (+.f64 c d)) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 (+.f64 c d) (+.f64 a b)) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 (+.f64 a (+.f64 c d)) b) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 b (+.f64 a (+.f64 c d))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 (+.f64 b c) (+.f64 d a)) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 (+.f64 d a) (+.f64 b c)) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 (+.f64 (+.f64 a b) d) c) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 (+.f64 a c) (+.f64 b d)) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 (+.f64 a (+.f64 b c)) d) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 (+.f64 b d) a)) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 (+.f64 b d) (+.f64 c a)) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 (*.f64 (+.f64 (+.f64 a b) d) 1) c) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 (+.f64 b c) (*.f64 (+.f64 d a) 1)) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 (*.f64 (+.f64 a (+.f64 c d)) 1) b) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 (*.f64 (+.f64 a (+.f64 b c)) 1) d) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 c (+.f64 (+.f64 a b) d)) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 d (+.f64 a (+.f64 b c))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(+.f64 b (*.f64 (+.f64 a (+.f64 c d)) 1)) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(*.f64 1 (+.f64 a (+.f64 b (+.f64 c d)))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 1) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(*.f64 (cbrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(*.f64 (+.f64 (cbrt.f64 (*.f64 a a)) (-.f64 (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) (cbrt.f64 (*.f64 a (+.f64 b (+.f64 c d)))))) (+.f64 (cbrt.f64 a) (cbrt.f64 (+.f64 b (+.f64 c d))))) |
(*.f64 (-.f64 (+.f64 (cbrt.f64 (*.f64 a a)) (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2))) (cbrt.f64 (*.f64 a (+.f64 b (+.f64 c d))))) (+.f64 (cbrt.f64 a) (cbrt.f64 (+.f64 b (+.f64 c d))))) |
(*.f64 (+.f64 (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) (-.f64 (cbrt.f64 (*.f64 a a)) (cbrt.f64 (*.f64 a (+.f64 b (+.f64 c d)))))) (+.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) (cbrt.f64 a))) |
(*.f64 (-.f64 (+.f64 (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) (cbrt.f64 (*.f64 a a))) (cbrt.f64 (*.f64 a (+.f64 b (+.f64 c d))))) (+.f64 (cbrt.f64 a) (cbrt.f64 (+.f64 b (+.f64 c d))))) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)) (cbrt.f64 (+.f64 a (+.f64 b (+.f64 c d))))) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(pow.f64 (cbrt.f64 (+.f64 a (+.f64 b (+.f64 c d)))) 3) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(pow.f64 (+.f64 a (+.f64 b (+.f64 c d))) 1) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(pow.f64 (pow.f64 (+.f64 a (+.f64 b (+.f64 c d))) 3) 1/3) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(cbrt.f64 (pow.f64 (+.f64 a (+.f64 b (+.f64 c d))) 3)) |
(+.f64 b (+.f64 c (+.f64 a d))) |
(fma.f64 (cbrt.f64 (+.f64 c d)) (cbrt.f64 (pow.f64 (+.f64 c d) 2)) b) |
(fma.f64 1 (+.f64 c d) b) |
(+.f64 b (+.f64 c d)) |
(fma.f64 1 b (+.f64 c d)) |
(+.f64 b (+.f64 c d)) |
(fma.f64 1 (+.f64 b c) d) |
(+.f64 b (+.f64 c d)) |
(fma.f64 d 1 (+.f64 b c)) |
(fma.f64 d 1 (+.f64 c b)) |
(fma.f64 1 d (+.f64 b c)) |
(+.f64 b (+.f64 c d)) |
(fma.f64 c 1 (+.f64 b d)) |
(fma.f64 c 1 (+.f64 d b)) |
(fma.f64 1 c (+.f64 b d)) |
(+.f64 b (+.f64 c d)) |
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (cbrt.f64 (+.f64 c d)) b) |
(fma.f64 (+.f64 c d) 1 b) |
(fma.f64 (+.f64 b c) 1 d) |
(fma.f64 (+.f64 c b) 1 d) |
(fma.f64 b 1 (+.f64 c d)) |
(fma.f64 (cbrt.f64 b) (cbrt.f64 (*.f64 b b)) (+.f64 c d)) |
(+.f64 b (+.f64 c d)) |
(fma.f64 (cbrt.f64 (+.f64 b c)) (cbrt.f64 (pow.f64 (+.f64 b c) 2)) d) |
(fma.f64 (cbrt.f64 (+.f64 c b)) (cbrt.f64 (pow.f64 (+.f64 c b) 2)) d) |
(fma.f64 (cbrt.f64 d) (cbrt.f64 (*.f64 d d)) (+.f64 b c)) |
(+.f64 b (+.f64 c d)) |
(fma.f64 (cbrt.f64 (*.f64 d d)) (cbrt.f64 d) (+.f64 b c)) |
(fma.f64 (cbrt.f64 (*.f64 d d)) (cbrt.f64 d) (+.f64 c b)) |
(fma.f64 (cbrt.f64 (*.f64 c c)) (cbrt.f64 c) (+.f64 b d)) |
(fma.f64 (cbrt.f64 (*.f64 c c)) (cbrt.f64 c) (+.f64 d b)) |
(fma.f64 (cbrt.f64 c) (cbrt.f64 (*.f64 c c)) (+.f64 b d)) |
(+.f64 b (+.f64 c d)) |
(fma.f64 (cbrt.f64 (*.f64 b b)) (cbrt.f64 b) (+.f64 c d)) |
(if (!=.f64 (-.f64 b (+.f64 c d)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (*.f64 b b)) (-.f64 (+.f64 c d) b)) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (-.f64 (+.f64 c d) b) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (*.f64 b b)) (-.f64 (+.f64 c d) b)) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b))) 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b)))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 c d) 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b)))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 b 0) (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 b b (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) b)))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (-.f64 (+.f64 b d) c) 0) (/.f64 (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 c c)) (-.f64 (+.f64 b d) c)) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (-.f64 (+.f64 d b) c) 0) (/.f64 (fma.f64 c c (neg.f64 (pow.f64 (+.f64 d b) 2))) (-.f64 c (+.f64 d b))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (-.f64 d (+.f64 b c)) 0) (/.f64 (-.f64 (*.f64 d d) (pow.f64 (+.f64 b c) 2)) (-.f64 d (+.f64 b c))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (-.f64 d (+.f64 c b)) 0) (/.f64 (fma.f64 d d (neg.f64 (pow.f64 (+.f64 c b) 2))) (-.f64 d (+.f64 c b))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (-.f64 (+.f64 b c) d) 0) (/.f64 (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d d)) (-.f64 (+.f64 b c) d)) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (-.f64 (+.f64 c b) d) 0) (/.f64 (fma.f64 d d (neg.f64 (pow.f64 (+.f64 c b) 2))) (-.f64 d (+.f64 c b))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (-.f64 c (+.f64 b d)) 0) (/.f64 (-.f64 (*.f64 c c) (*.f64 (+.f64 b d) (+.f64 b d))) (-.f64 c (+.f64 b d))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (-.f64 c (+.f64 d b)) 0) (/.f64 (fma.f64 c c (neg.f64 (pow.f64 (+.f64 d b) 2))) (-.f64 c (+.f64 d b))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 b d) c))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 b d) c)))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 d b) 2) (*.f64 c (-.f64 c (+.f64 d b)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 d b) 3) (pow.f64 c 3)) (+.f64 (pow.f64 (+.f64 d b) 2) (*.f64 c (-.f64 c (+.f64 d b))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (+.f64 b c)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (fma.f64 d d (-.f64 (pow.f64 (+.f64 c b) 2) (*.f64 d (+.f64 c b)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 c b) 3) (pow.f64 d 3)) (fma.f64 d d (-.f64 (pow.f64 (+.f64 c b) 2) (*.f64 d (+.f64 c b))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (-.f64 d (+.f64 b c)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (-.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 c b) 2) (*.f64 d (-.f64 d (+.f64 c b)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 c b) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 c b) 2) (*.f64 d (-.f64 d (+.f64 c b))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 c (+.f64 b d)))) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 b d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 c (+.f64 b d))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (fma.f64 c c (*.f64 (+.f64 d b) (-.f64 (+.f64 d b) c))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 d b) 3) (pow.f64 c 3)) (fma.f64 c c (*.f64 (+.f64 d b) (-.f64 (+.f64 d b) c)))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 c b) 3) (pow.f64 d 3)) (fma.f64 d d (-.f64 (pow.f64 (+.f64 c b) 2) (*.f64 d (+.f64 c b))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 b c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (-.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 c b) 0) (/.f64 (+.f64 (pow.f64 (+.f64 c b) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 c b) 2) (*.f64 d (-.f64 d (+.f64 c b))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 b d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 c (+.f64 b d))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 (+.f64 d b) 3) (pow.f64 c 3)) (fma.f64 c c (*.f64 (+.f64 d b) (-.f64 (+.f64 d b) c)))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 b d) c)))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 (+.f64 d b) 3) (pow.f64 c 3)) (+.f64 (pow.f64 (+.f64 d b) 2) (*.f64 c (-.f64 c (+.f64 d b))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (-.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 c b) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 c b) 2) (*.f64 d (-.f64 d (+.f64 c b))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 b d) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 b d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (*.f64 c (+.f64 b d))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 d b) 0) (/.f64 (+.f64 (pow.f64 (+.f64 d b) 3) (pow.f64 c 3)) (fma.f64 c c (*.f64 (+.f64 d b) (-.f64 (+.f64 d b) c)))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 b d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 b d) (+.f64 b d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 b d) c)))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 d b) 0) (/.f64 (+.f64 (pow.f64 (+.f64 d b) 3) (pow.f64 c 3)) (+.f64 (pow.f64 (+.f64 d b) 2) (*.f64 c (-.f64 c (+.f64 d b))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 b c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 b c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 b c) 2) (*.f64 d (+.f64 b c))))) (+.f64 b (+.f64 c d))) |
(if (!=.f64 (+.f64 c b) 0) (/.f64 (+.f64 (pow.f64 (+.f64 c b) 3) (pow.f64 d 3)) (fma.f64 d d (-.f64 (pow.f64 (+.f64 c b) 2) (*.f64 d (+.f64 c b))))) (+.f64 b (+.f64 c d))) |
(+.f64 b (+.f64 c d)) |
(+.f64 (+.f64 c d) b) |
(+.f64 b (+.f64 c d)) |
(+.f64 (+.f64 b c) d) |
(+.f64 b (+.f64 c d)) |
(+.f64 d (+.f64 b c)) |
(+.f64 b (+.f64 c d)) |
(+.f64 (+.f64 b d) c) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (+.f64 b d)) |
(+.f64 b (+.f64 c d)) |
(+.f64 c (*.f64 (+.f64 b d) 1)) |
(+.f64 b (+.f64 c d)) |
(+.f64 (*.f64 (+.f64 b d) 1) c) |
(+.f64 b (+.f64 c d)) |
(*.f64 1 (+.f64 b (+.f64 c d))) |
(+.f64 b (+.f64 c d)) |
(*.f64 (+.f64 b (+.f64 c d)) 1) |
(+.f64 b (+.f64 c d)) |
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d))))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2)) |
(+.f64 b (+.f64 c d)) |
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2) 2) (cbrt.f64 (+.f64 b (+.f64 c d))))) |
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2) 2)) (cbrt.f64 (+.f64 b (+.f64 c d)))) |
(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2) (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)))) |
(+.f64 b (+.f64 c d)) |
(*.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2))) |
(+.f64 b (+.f64 c d)) |
(*.f64 (+.f64 (cbrt.f64 (*.f64 b b)) (-.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (cbrt.f64 (*.f64 b (+.f64 c d))))) (+.f64 (cbrt.f64 b) (cbrt.f64 (+.f64 c d)))) |
(*.f64 (-.f64 (+.f64 (cbrt.f64 (*.f64 b b)) (cbrt.f64 (pow.f64 (+.f64 c d) 2))) (cbrt.f64 (*.f64 b (+.f64 c d)))) (+.f64 (cbrt.f64 b) (cbrt.f64 (+.f64 c d)))) |
(*.f64 (+.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (-.f64 (cbrt.f64 (*.f64 b b)) (cbrt.f64 (*.f64 b (+.f64 c d))))) (+.f64 (cbrt.f64 (+.f64 c d)) (cbrt.f64 b))) |
(*.f64 (-.f64 (+.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (cbrt.f64 (*.f64 b b))) (cbrt.f64 (*.f64 b (+.f64 c d)))) (+.f64 (cbrt.f64 b) (cbrt.f64 (+.f64 c d)))) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 2)) (cbrt.f64 (+.f64 b (+.f64 c d)))) |
(+.f64 b (+.f64 c d)) |
(*.f64 (*.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2) 2)) |
(*.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 b (+.f64 c d)))) 2) 2))) |
(pow.f64 (cbrt.f64 (+.f64 b (+.f64 c d))) 3) |
(+.f64 b (+.f64 c d)) |
(pow.f64 (+.f64 b (+.f64 c d)) 1) |
(+.f64 b (+.f64 c d)) |
(pow.f64 (pow.f64 (+.f64 b (+.f64 c d)) 3) 1/3) |
(+.f64 b (+.f64 c d)) |
(cbrt.f64 (pow.f64 (+.f64 b (+.f64 c d)) 3)) |
(+.f64 b (+.f64 c d)) |
Compiled 6235 to 2018 computations (67.6% saved)
5 alts after pruning (5 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 218 | 5 | 223 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 219 | 5 | 224 |
| Status | Error | Program |
|---|---|---|
| ▶ | 0b | (*.f64 (+.f64 (+.f64 d a) (+.f64 b c)) 2) |
| ▶ | 56.4b | (*.f64 (+.f64 c (+.f64 a d)) 2) |
| ▶ | 56.4b | (*.f64 (+.f64 a (+.f64 c d)) 2) |
| ▶ | 56.4b | (*.f64 c 2) |
| ▶ | 60.1b | (*.f64 b 2) |
Compiled 98 to 74 computations (24.5% saved)
Compiled 31 to 10 computations (67.7% saved)
Compiled 9 to 7 computations (22.2% saved)
Compiled 9 to 7 computations (22.2% saved)
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 1.3b | (+.f64 a (+.f64 c d)) |
Compiled 23 to 9 computations (60.9% saved)
9 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | a | @ | 0 | (+.f64 a (+.f64 c d)) |
| 0.0ms | d | @ | -inf | (+.f64 a (+.f64 c d)) |
| 0.0ms | c | @ | 0 | (+.f64 a (+.f64 c d)) |
| 0.0ms | d | @ | 0 | (+.f64 a (+.f64 c d)) |
| 0.0ms | d | @ | inf | (+.f64 a (+.f64 c d)) |
Compiled 775 to 45 computations (94.2% saved)
| 1× | batch-egg-rewrite |
| 62× | egg-rr |
| Inputs |
|---|
(+.f64 a (+.f64 c d)) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 a (+.f64 c d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 c d) a)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 a 1 (+.f64 c d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 d 1 (+.f64 a c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 d (+.f64 a c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 a c) d)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 a c) 1 d)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 c 1 (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 c (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 c d) 1 a)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 a a)) (+.f64 c d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 c d)) (cbrt.f64 (pow.f64 (+.f64 c d) 2)) a)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 a a)) (cbrt.f64 a) (+.f64 c d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 d d)) (cbrt.f64 d) (+.f64 a c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 d) (cbrt.f64 (*.f64 d d)) (+.f64 a c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 a c)) (cbrt.f64 (pow.f64 (+.f64 a c) 2)) d)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 c) (cbrt.f64 (*.f64 c c)) (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 c c)) (cbrt.f64 c) (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (cbrt.f64 (+.f64 c d)) a)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 a (+.f64 c d)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (*.f64 a a)) (-.f64 (+.f64 c d) a)) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 c d) a) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (*.f64 a a)) (-.f64 (+.f64 c d) a)) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a))) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 c d) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 a 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 a d) c) 0) (/.f64 (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (*.f64 c c)) (-.f64 (+.f64 a d) c)) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 c (+.f64 a d)) 0) (/.f64 (-.f64 (*.f64 c c) (*.f64 (+.f64 a d) (+.f64 a d))) (-.f64 c (+.f64 a d))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 d (+.f64 a c)) 0) (/.f64 (-.f64 (*.f64 d d) (pow.f64 (+.f64 a c) 2)) (-.f64 d (+.f64 a c))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 a c) d) 0) (/.f64 (-.f64 (pow.f64 (+.f64 a c) 2) (*.f64 d d)) (-.f64 (+.f64 a c) d)) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 a d) c))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 a d) c)))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (*.f64 c (+.f64 a d)))) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (*.f64 c (+.f64 a d))))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 a c) 2) (*.f64 (+.f64 a c) d))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 a c) 2) (*.f64 (+.f64 a c) d)))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 (+.f64 a c) 2) (*.f64 d (-.f64 d (+.f64 a c)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 a c) 2) (*.f64 d (-.f64 d (+.f64 a c))))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (*.f64 c (+.f64 a d))))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 a c) 2) (*.f64 (+.f64 a c) d)))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 a c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 a c) 2) (*.f64 d (-.f64 d (+.f64 a c))))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 (+.f64 a d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 a d) c)))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 a d) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (*.f64 c (+.f64 a d))))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 a c) 2) (*.f64 d (-.f64 d (+.f64 a c))))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 a d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 a d) c)))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 a c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 a c) 2) (*.f64 (+.f64 a c) d)))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 a (+.f64 c d))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 c d) a)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 a c) d)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 d (+.f64 a c))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 a d) c)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 c (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 c (*.f64 (+.f64 a d) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 a d) 1) c)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a (+.f64 c d)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 2)) (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d))))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2) 2) (cbrt.f64 (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (-.f64 (cbrt.f64 (*.f64 a a)) (cbrt.f64 (*.f64 a (+.f64 c d))))) (+.f64 (cbrt.f64 (+.f64 c d)) (cbrt.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 (*.f64 a a)) (-.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (cbrt.f64 (*.f64 a (+.f64 c d))))) (+.f64 (cbrt.f64 a) (cbrt.f64 (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 2)) (cbrt.f64 (+.f64 a (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 a (+.f64 c d)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3)))))) |
| 1× | egglog |
| Inputs |
|---|
(+.f64 c d) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
a |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
a |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 a d) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
c |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
c |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c a) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
d |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
d |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(fma.f64 1 a (+.f64 c d)) |
(fma.f64 1 (+.f64 c d) a) |
(fma.f64 a 1 (+.f64 c d)) |
(fma.f64 d 1 (+.f64 a c)) |
(fma.f64 1 d (+.f64 a c)) |
(fma.f64 1 (+.f64 a c) d) |
(fma.f64 (+.f64 a c) 1 d) |
(fma.f64 c 1 (+.f64 a d)) |
(fma.f64 1 c (+.f64 a d)) |
(fma.f64 (+.f64 c d) 1 a) |
(fma.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 a a)) (+.f64 c d)) |
(fma.f64 (cbrt.f64 (+.f64 c d)) (cbrt.f64 (pow.f64 (+.f64 c d) 2)) a) |
(fma.f64 (cbrt.f64 (*.f64 a a)) (cbrt.f64 a) (+.f64 c d)) |
(fma.f64 (cbrt.f64 (*.f64 d d)) (cbrt.f64 d) (+.f64 a c)) |
(fma.f64 (cbrt.f64 d) (cbrt.f64 (*.f64 d d)) (+.f64 a c)) |
(fma.f64 (cbrt.f64 (+.f64 a c)) (cbrt.f64 (pow.f64 (+.f64 a c) 2)) d) |
(fma.f64 (cbrt.f64 c) (cbrt.f64 (*.f64 c c)) (+.f64 a d)) |
(fma.f64 (cbrt.f64 (*.f64 c c)) (cbrt.f64 c) (+.f64 a d)) |
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (cbrt.f64 (+.f64 c d)) a) |
(if (!=.f64 (-.f64 a (+.f64 c d)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (*.f64 a a)) (-.f64 (+.f64 c d) a)) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (-.f64 (+.f64 c d) a) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (*.f64 a a)) (-.f64 (+.f64 c d) a)) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a))) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (+.f64 c d) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 a 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (-.f64 (+.f64 a d) c) 0) (/.f64 (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (*.f64 c c)) (-.f64 (+.f64 a d) c)) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (-.f64 c (+.f64 a d)) 0) (/.f64 (-.f64 (*.f64 c c) (*.f64 (+.f64 a d) (+.f64 a d))) (-.f64 c (+.f64 a d))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (-.f64 d (+.f64 a c)) 0) (/.f64 (-.f64 (*.f64 d d) (pow.f64 (+.f64 a c) 2)) (-.f64 d (+.f64 a c))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (-.f64 (+.f64 a c) d) 0) (/.f64 (-.f64 (pow.f64 (+.f64 a c) 2) (*.f64 d d)) (-.f64 (+.f64 a c) d)) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (+.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 a d) c))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 a d) c)))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (*.f64 c (+.f64 a d)))) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (*.f64 c (+.f64 a d))))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 a c) 2) (*.f64 (+.f64 a c) d))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 a c) 2) (*.f64 (+.f64 a c) d)))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 a c) 2) (*.f64 d (-.f64 d (+.f64 a c)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 a c) 2) (*.f64 d (-.f64 d (+.f64 a c))))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (*.f64 c (+.f64 a d))))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 a c) 2) (*.f64 (+.f64 a c) d)))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (+.f64 a c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 a c) 2) (*.f64 d (-.f64 d (+.f64 a c))))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 (+.f64 a d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 a d) c)))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (+.f64 a d) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (*.f64 c (+.f64 a d))))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 a c) 2) (*.f64 d (-.f64 d (+.f64 a c))))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (+.f64 a d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 a d) c)))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (+.f64 a c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 a c) 2) (*.f64 (+.f64 a c) d)))) (+.f64 a (+.f64 c d))) |
(+.f64 a (+.f64 c d)) |
(+.f64 (+.f64 c d) a) |
(+.f64 (+.f64 a c) d) |
(+.f64 d (+.f64 a c)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (*.f64 (+.f64 a d) 1)) |
(+.f64 (*.f64 (+.f64 a d) 1) c) |
(*.f64 1 (+.f64 a (+.f64 c d))) |
(*.f64 (+.f64 a (+.f64 c d)) 1) |
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 2)) (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d))))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2)) |
(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 2)))) |
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2) 2) (cbrt.f64 (+.f64 a (+.f64 c d))))) |
(*.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 2))) |
(*.f64 (+.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (-.f64 (cbrt.f64 (*.f64 a a)) (cbrt.f64 (*.f64 a (+.f64 c d))))) (+.f64 (cbrt.f64 (+.f64 c d)) (cbrt.f64 a))) |
(*.f64 (+.f64 (cbrt.f64 (*.f64 a a)) (-.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (cbrt.f64 (*.f64 a (+.f64 c d))))) (+.f64 (cbrt.f64 a) (cbrt.f64 (+.f64 c d)))) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 2)) (cbrt.f64 (+.f64 a (+.f64 c d)))) |
(*.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2) 2)) |
(pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 3) |
(pow.f64 (+.f64 a (+.f64 c d)) 1) |
(pow.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) 1/3) |
(cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3)) |
| Outputs |
|---|
(+.f64 c d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
a |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
a |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 a d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
c |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
c |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c a) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
d |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
d |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(fma.f64 1 a (+.f64 c d)) |
(+.f64 (+.f64 c a) d) |
(fma.f64 1 (+.f64 c d) a) |
(+.f64 (+.f64 c a) d) |
(fma.f64 a 1 (+.f64 c d)) |
(+.f64 (+.f64 c a) d) |
(fma.f64 d 1 (+.f64 a c)) |
(+.f64 (+.f64 c a) d) |
(fma.f64 1 d (+.f64 a c)) |
(+.f64 (+.f64 c a) d) |
(fma.f64 1 (+.f64 a c) d) |
(+.f64 (+.f64 c a) d) |
(fma.f64 (+.f64 a c) 1 d) |
(+.f64 (+.f64 c a) d) |
(fma.f64 c 1 (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(fma.f64 1 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(fma.f64 (+.f64 c d) 1 a) |
(+.f64 (+.f64 c a) d) |
(fma.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 a a)) (+.f64 c d)) |
(+.f64 (+.f64 c a) d) |
(fma.f64 (cbrt.f64 (+.f64 c d)) (cbrt.f64 (pow.f64 (+.f64 c d) 2)) a) |
(+.f64 (+.f64 c a) d) |
(fma.f64 (cbrt.f64 (*.f64 a a)) (cbrt.f64 a) (+.f64 c d)) |
(+.f64 (+.f64 c a) d) |
(fma.f64 (cbrt.f64 (*.f64 d d)) (cbrt.f64 d) (+.f64 a c)) |
(+.f64 (+.f64 c a) d) |
(fma.f64 (cbrt.f64 d) (cbrt.f64 (*.f64 d d)) (+.f64 a c)) |
(+.f64 (+.f64 c a) d) |
(fma.f64 (cbrt.f64 (+.f64 a c)) (cbrt.f64 (pow.f64 (+.f64 a c) 2)) d) |
(+.f64 (+.f64 c a) d) |
(fma.f64 (cbrt.f64 c) (cbrt.f64 (*.f64 c c)) (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(fma.f64 (cbrt.f64 (*.f64 c c)) (cbrt.f64 c) (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (cbrt.f64 (+.f64 c d)) a) |
(+.f64 (+.f64 c a) d) |
(if (!=.f64 (-.f64 a (+.f64 c d)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (*.f64 a a)) (-.f64 (+.f64 c d) a)) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (-.f64 a (+.f64 c d)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (*.f64 a a)) (-.f64 (+.f64 c d) a)) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (-.f64 (+.f64 c d) a) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (*.f64 a a)) (-.f64 (+.f64 c d) a)) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (-.f64 (+.f64 c d) a) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c d) 2) (*.f64 a a)) (-.f64 (+.f64 c d) a)) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a))) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a))) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 c d) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (+.f64 c d) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 a 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 a 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (-.f64 (+.f64 a d) c) 0) (/.f64 (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (*.f64 c c)) (-.f64 (+.f64 a d) c)) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (-.f64 (+.f64 a d) c) 0) (/.f64 (fma.f64 c c (neg.f64 (pow.f64 (+.f64 a d) 2))) (-.f64 c (+.f64 a d))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (-.f64 c (+.f64 a d)) 0) (/.f64 (-.f64 (*.f64 c c) (*.f64 (+.f64 a d) (+.f64 a d))) (-.f64 c (+.f64 a d))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (-.f64 c (+.f64 a d)) 0) (/.f64 (fma.f64 c c (neg.f64 (pow.f64 (+.f64 a d) 2))) (-.f64 c (+.f64 a d))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (-.f64 d (+.f64 a c)) 0) (/.f64 (-.f64 (*.f64 d d) (pow.f64 (+.f64 a c) 2)) (-.f64 d (+.f64 a c))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (-.f64 d (+.f64 c a)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c a) 2) (*.f64 d d)) (-.f64 (+.f64 c a) d)) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (-.f64 (+.f64 a c) d) 0) (/.f64 (-.f64 (pow.f64 (+.f64 a c) 2) (*.f64 d d)) (-.f64 (+.f64 a c) d)) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (-.f64 (+.f64 c a) d) 0) (/.f64 (-.f64 (pow.f64 (+.f64 c a) 2) (*.f64 d d)) (-.f64 (+.f64 c a) d)) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 a d) c))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 a d) c)))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c))) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (*.f64 c (+.f64 a d)))) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (*.f64 c (+.f64 a d))))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c))) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 a c) 2) (*.f64 (+.f64 a c) d))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 a c) 2) (*.f64 (+.f64 a c) d)))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (fma.f64 (-.f64 d (+.f64 c a)) d (pow.f64 (+.f64 c a) 2)) 0) (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 c a) 3)) (fma.f64 (-.f64 d (+.f64 c a)) d (pow.f64 (+.f64 c a) 2))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 a c) 2) (*.f64 d (-.f64 d (+.f64 a c)))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 a c) 2) (*.f64 d (-.f64 d (+.f64 a c))))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (fma.f64 (-.f64 d (+.f64 c a)) d (pow.f64 (+.f64 c a) 2)) 0) (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 c a) 3)) (fma.f64 (-.f64 d (+.f64 c a)) d (pow.f64 (+.f64 c a) 2))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (*.f64 c (+.f64 a d))))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 a c) 2) (*.f64 (+.f64 a c) d)))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 c a) 3)) (fma.f64 (-.f64 d (+.f64 c a)) d (pow.f64 (+.f64 c a) 2))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 a c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 a c) 2) (*.f64 d (-.f64 d (+.f64 a c))))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (+.f64 c a) 0) (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 c a) 3)) (fma.f64 (-.f64 d (+.f64 c a)) d (pow.f64 (+.f64 c a) 2))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 (+.f64 a d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 a d) c)))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 a d) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (*.f64 c c) (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (*.f64 c (+.f64 a d))))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (+.f64 a d) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (pow.f64 (+.f64 a c) 2) (*.f64 d (-.f64 d (+.f64 a c))))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 c a) 3)) (fma.f64 (-.f64 d (+.f64 c a)) d (pow.f64 (+.f64 c a) 2))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 a d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a d) 3) (pow.f64 c 3)) (+.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (-.f64 (*.f64 c c) (*.f64 (+.f64 a d) c)))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (+.f64 a d) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 a c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 d 3)) (+.f64 (*.f64 d d) (-.f64 (pow.f64 (+.f64 a c) 2) (*.f64 (+.f64 a c) d)))) (+.f64 a (+.f64 c d))) |
(if (!=.f64 (+.f64 c a) 0) (/.f64 (+.f64 (pow.f64 d 3) (pow.f64 (+.f64 c a) 3)) (fma.f64 (-.f64 d (+.f64 c a)) d (pow.f64 (+.f64 c a) 2))) (+.f64 (+.f64 c a) d)) |
(+.f64 a (+.f64 c d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 (+.f64 c d) a) |
(+.f64 (+.f64 c a) d) |
(+.f64 (+.f64 a c) d) |
(+.f64 (+.f64 c a) d) |
(+.f64 d (+.f64 a c)) |
(+.f64 (+.f64 c a) d) |
(+.f64 (+.f64 a d) c) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 c (*.f64 (+.f64 a d) 1)) |
(+.f64 (+.f64 c a) d) |
(+.f64 (*.f64 (+.f64 a d) 1) c) |
(+.f64 (+.f64 c a) d) |
(*.f64 1 (+.f64 a (+.f64 c d))) |
(+.f64 (+.f64 c a) d) |
(*.f64 (+.f64 a (+.f64 c d)) 1) |
(+.f64 (+.f64 c a) d) |
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 2)) (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d))))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2)) |
(+.f64 (+.f64 c a) d) |
(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 2)))) |
(+.f64 (+.f64 c a) d) |
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2) 2) (cbrt.f64 (+.f64 a (+.f64 c d))))) |
(+.f64 (+.f64 c a) d) |
(*.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) (cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 2))) |
(+.f64 (+.f64 c a) d) |
(*.f64 (+.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (-.f64 (cbrt.f64 (*.f64 a a)) (cbrt.f64 (*.f64 a (+.f64 c d))))) (+.f64 (cbrt.f64 (+.f64 c d)) (cbrt.f64 a))) |
(+.f64 (+.f64 c a) d) |
(*.f64 (+.f64 (cbrt.f64 (*.f64 a a)) (-.f64 (cbrt.f64 (pow.f64 (+.f64 c d) 2)) (cbrt.f64 (*.f64 a (+.f64 c d))))) (+.f64 (cbrt.f64 a) (cbrt.f64 (+.f64 c d)))) |
(+.f64 (+.f64 c a) d) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 2)) (cbrt.f64 (+.f64 a (+.f64 c d)))) |
(+.f64 (+.f64 c a) d) |
(*.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 a (+.f64 c d)))) 2) 2)) |
(+.f64 (+.f64 c a) d) |
(pow.f64 (cbrt.f64 (+.f64 a (+.f64 c d))) 3) |
(+.f64 (+.f64 c a) d) |
(pow.f64 (+.f64 a (+.f64 c d)) 1) |
(+.f64 (+.f64 c a) d) |
(pow.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3) 1/3) |
(+.f64 (+.f64 c a) d) |
(cbrt.f64 (pow.f64 (+.f64 a (+.f64 c d)) 3)) |
(+.f64 (+.f64 c a) d) |
Compiled 23 to 9 computations (60.9% saved)
Compiled 1869 to 668 computations (64.3% saved)
7 alts after pruning (2 fresh and 5 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 82 | 2 | 84 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 4 | 4 |
| Total | 82 | 7 | 89 |
| Status | Error | Program |
|---|---|---|
| ✓ | 0b | (*.f64 (+.f64 (+.f64 d a) (+.f64 b c)) 2) |
| ▶ | 56.4b | (*.f64 (+.f64 (+.f64 c a) d) 2) |
| ✓ | 56.4b | (*.f64 (+.f64 c (+.f64 a d)) 2) |
| ✓ | 56.4b | (*.f64 (+.f64 a (+.f64 c d)) 2) |
| ▶ | 58.6b | (*.f64 (+.f64 a d) 2) |
| ✓ | 56.4b | (*.f64 c 2) |
| ✓ | 60.1b | (*.f64 b 2) |
Compiled 69 to 52 computations (24.6% saved)
Compiled 15 to 8 computations (46.7% saved)
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.9b | (+.f64 (+.f64 c a) d) |
Compiled 23 to 9 computations (60.9% saved)
9 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | c | @ | 0 | (+.f64 (+.f64 c a) d) |
| 0.0ms | c | @ | inf | (+.f64 (+.f64 c a) d) |
| 0.0ms | d | @ | 0 | (+.f64 (+.f64 c a) d) |
| 0.0ms | c | @ | -inf | (+.f64 (+.f64 c a) d) |
| 0.0ms | a | @ | inf | (+.f64 (+.f64 c a) d) |
Compiled 775 to 45 computations (94.2% saved)
| 1× | batch-egg-rewrite |
| 61× | egg-rr |
| Inputs |
|---|
(+.f64 (+.f64 c a) d) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 c a)) (cbrt.f64 (pow.f64 (+.f64 c a) 2)) d)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 d) (cbrt.f64 (*.f64 d d)) (+.f64 c a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 c a) d)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 d (+.f64 c a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 c (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 a d) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 c 1 (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 c a) 1 d)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (+.f64 c a) 2)) (cbrt.f64 (+.f64 c a)) d)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 a 1 (+.f64 d c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 a (+.f64 d c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 d 1 (+.f64 c a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 d d)) (cbrt.f64 d) (+.f64 c a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 c) (cbrt.f64 (*.f64 c c)) (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 a d)) (cbrt.f64 (pow.f64 (+.f64 a d) 2)) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 c c)) (cbrt.f64 c) (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 a a)) (+.f64 d c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 a a)) (cbrt.f64 a) (+.f64 d c))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 c a) d) 0) (/.f64 (fma.f64 d d (neg.f64 (pow.f64 (+.f64 c a) 2))) (-.f64 d (+.f64 c a))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 d (+.f64 c a)) 0) (/.f64 (fma.f64 d d (neg.f64 (pow.f64 (+.f64 c a) 2))) (-.f64 d (+.f64 c a))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c))) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 d d (*.f64 (+.f64 c a) (-.f64 (+.f64 c a) d))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 c a) 3) (pow.f64 d 3)) (fma.f64 d d (*.f64 (+.f64 c a) (-.f64 (+.f64 c a) d)))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 c a) 3) (pow.f64 d 3)) (fma.f64 d d (*.f64 (+.f64 c a) (-.f64 (+.f64 c a) d)))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 c a) 0) (/.f64 (+.f64 (pow.f64 (+.f64 c a) 3) (pow.f64 d 3)) (fma.f64 d d (*.f64 (+.f64 c a) (-.f64 (+.f64 c a) d)))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 d c) a) 0) (/.f64 (-.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (*.f64 a a)) (-.f64 (+.f64 d c) a)) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 a (+.f64 d c)) 0) (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 d c) (+.f64 d c))) (-.f64 a (+.f64 d c))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 c (+.f64 a d)) 0) (/.f64 (fma.f64 c c (neg.f64 (pow.f64 (+.f64 a d) 2))) (-.f64 c (+.f64 a d))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (+.f64 a d) c) 0) (/.f64 (-.f64 (pow.f64 (+.f64 a d) 2) (*.f64 c c)) (-.f64 (+.f64 a d) c)) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (-.f64 (*.f64 a a) (*.f64 (+.f64 d c) a))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 d c) 3) (pow.f64 a 3)) (+.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (-.f64 (*.f64 a a) (*.f64 (+.f64 d c) a)))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (*.f64 a (+.f64 d c)))) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d c) 3)) (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (*.f64 a (+.f64 d c))))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 (+.f64 a d) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a d)))) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (pow.f64 (+.f64 a d) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a d))))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 d c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 d c) 3) (pow.f64 a 3)) (+.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (-.f64 (*.f64 a a) (*.f64 (+.f64 d c) a)))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 a 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d c) 3)) (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (*.f64 a (+.f64 d c))))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 a 0) (/.f64 (+.f64 (pow.f64 (+.f64 d c) 3) (pow.f64 a 3)) (+.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (-.f64 (*.f64 a a) (*.f64 (+.f64 d c) a)))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (pow.f64 (+.f64 a d) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a d))))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 a d) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 a d) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (pow.f64 (+.f64 a d) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a d))))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 d c) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d c) 3)) (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (*.f64 a (+.f64 d c))))) (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 c a) d)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 d (+.f64 c a))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 c (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 a d) c)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 d c) a)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 a (+.f64 d c))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 a (*.f64 (+.f64 d c) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 d c) 1) a)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 (+.f64 c a) d)) (cbrt.f64 (pow.f64 (+.f64 (+.f64 c a) d) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 c a) d) 2)) (cbrt.f64 (+.f64 (+.f64 c a) d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 c a) d) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 c a) d) 2)) (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d)))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2) (cbrt.f64 (pow.f64 (+.f64 (+.f64 c a) d) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2) 2) (cbrt.f64 (+.f64 (+.f64 c a) d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 (*.f64 d d)) (-.f64 (cbrt.f64 (pow.f64 (+.f64 c a) 2)) (cbrt.f64 (*.f64 (+.f64 c a) d)))) (+.f64 (cbrt.f64 d) (cbrt.f64 (+.f64 c a))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 (pow.f64 (+.f64 c a) 2)) (-.f64 (cbrt.f64 (*.f64 d d)) (cbrt.f64 (*.f64 (+.f64 c a) d)))) (+.f64 (cbrt.f64 (+.f64 c a)) (cbrt.f64 d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (+.f64 (+.f64 c a) d)) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 (+.f64 c a) d)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (+.f64 c a) d) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 (+.f64 c a) d) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 (+.f64 c a) d) 3)))))) |
| 1× | egglog |
| Inputs |
|---|
(+.f64 a d) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
c |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
c |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c d) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
a |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
a |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c a) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
d |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
d |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(fma.f64 (cbrt.f64 (+.f64 c a)) (cbrt.f64 (pow.f64 (+.f64 c a) 2)) d) |
(fma.f64 (cbrt.f64 d) (cbrt.f64 (*.f64 d d)) (+.f64 c a)) |
(fma.f64 1 (+.f64 c a) d) |
(fma.f64 1 d (+.f64 c a)) |
(fma.f64 1 c (+.f64 a d)) |
(fma.f64 1 (+.f64 a d) c) |
(fma.f64 c 1 (+.f64 a d)) |
(fma.f64 (+.f64 c a) 1 d) |
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 c a) 2)) (cbrt.f64 (+.f64 c a)) d) |
(fma.f64 a 1 (+.f64 d c)) |
(fma.f64 1 a (+.f64 d c)) |
(fma.f64 d 1 (+.f64 c a)) |
(fma.f64 (cbrt.f64 (*.f64 d d)) (cbrt.f64 d) (+.f64 c a)) |
(fma.f64 (cbrt.f64 c) (cbrt.f64 (*.f64 c c)) (+.f64 a d)) |
(fma.f64 (cbrt.f64 (+.f64 a d)) (cbrt.f64 (pow.f64 (+.f64 a d) 2)) c) |
(fma.f64 (cbrt.f64 (*.f64 c c)) (cbrt.f64 c) (+.f64 a d)) |
(fma.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 a a)) (+.f64 d c)) |
(fma.f64 (cbrt.f64 (*.f64 a a)) (cbrt.f64 a) (+.f64 d c)) |
(if (!=.f64 (-.f64 (+.f64 c a) d) 0) (/.f64 (fma.f64 d d (neg.f64 (pow.f64 (+.f64 c a) 2))) (-.f64 d (+.f64 c a))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (-.f64 d (+.f64 c a)) 0) (/.f64 (fma.f64 d d (neg.f64 (pow.f64 (+.f64 c a) 2))) (-.f64 d (+.f64 c a))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c))) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (fma.f64 d d (*.f64 (+.f64 c a) (-.f64 (+.f64 c a) d))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 c a) 3) (pow.f64 d 3)) (fma.f64 d d (*.f64 (+.f64 c a) (-.f64 (+.f64 c a) d)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 c a) 3) (pow.f64 d 3)) (fma.f64 d d (*.f64 (+.f64 c a) (-.f64 (+.f64 c a) d)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 c a) 0) (/.f64 (+.f64 (pow.f64 (+.f64 c a) 3) (pow.f64 d 3)) (fma.f64 d d (*.f64 (+.f64 c a) (-.f64 (+.f64 c a) d)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (-.f64 (+.f64 d c) a) 0) (/.f64 (-.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (*.f64 a a)) (-.f64 (+.f64 d c) a)) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (-.f64 a (+.f64 d c)) 0) (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 d c) (+.f64 d c))) (-.f64 a (+.f64 d c))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (-.f64 c (+.f64 a d)) 0) (/.f64 (fma.f64 c c (neg.f64 (pow.f64 (+.f64 a d) 2))) (-.f64 c (+.f64 a d))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (-.f64 (+.f64 a d) c) 0) (/.f64 (-.f64 (pow.f64 (+.f64 a d) 2) (*.f64 c c)) (-.f64 (+.f64 a d) c)) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (-.f64 (*.f64 a a) (*.f64 (+.f64 d c) a))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 d c) 3) (pow.f64 a 3)) (+.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (-.f64 (*.f64 a a) (*.f64 (+.f64 d c) a)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (*.f64 a (+.f64 d c)))) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d c) 3)) (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (*.f64 a (+.f64 d c))))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 a d) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a d)))) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (pow.f64 (+.f64 a d) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a d))))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 d c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 d c) 3) (pow.f64 a 3)) (+.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (-.f64 (*.f64 a a) (*.f64 (+.f64 d c) a)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 a 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d c) 3)) (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (*.f64 a (+.f64 d c))))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 a 0) (/.f64 (+.f64 (pow.f64 (+.f64 d c) 3) (pow.f64 a 3)) (+.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (-.f64 (*.f64 a a) (*.f64 (+.f64 d c) a)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (pow.f64 (+.f64 a d) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a d))))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 a d) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 a d) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (pow.f64 (+.f64 a d) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a d))))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 d c) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d c) 3)) (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (*.f64 a (+.f64 d c))))) (+.f64 (+.f64 c a) d)) |
(+.f64 (+.f64 c a) d) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 (+.f64 d c) a) |
(+.f64 a (+.f64 d c)) |
(+.f64 a (*.f64 (+.f64 d c) 1)) |
(+.f64 (*.f64 (+.f64 d c) 1) a) |
(*.f64 (cbrt.f64 (+.f64 (+.f64 c a) d)) (cbrt.f64 (pow.f64 (+.f64 (+.f64 c a) d) 2))) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 c a) d) 2)) (cbrt.f64 (+.f64 (+.f64 c a) d))) |
(*.f64 1 (+.f64 (+.f64 c a) d)) |
(*.f64 (+.f64 (+.f64 c a) d) 1) |
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 c a) d) 2)) (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d)))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2)) |
(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2) (cbrt.f64 (pow.f64 (+.f64 (+.f64 c a) d) 2)))) |
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2) 2) (cbrt.f64 (+.f64 (+.f64 c a) d)))) |
(*.f64 (+.f64 (cbrt.f64 (*.f64 d d)) (-.f64 (cbrt.f64 (pow.f64 (+.f64 c a) 2)) (cbrt.f64 (*.f64 (+.f64 c a) d)))) (+.f64 (cbrt.f64 d) (cbrt.f64 (+.f64 c a)))) |
(*.f64 (+.f64 (cbrt.f64 (pow.f64 (+.f64 c a) 2)) (-.f64 (cbrt.f64 (*.f64 d d)) (cbrt.f64 (*.f64 (+.f64 c a) d)))) (+.f64 (cbrt.f64 (+.f64 c a)) (cbrt.f64 d))) |
(*.f64 (*.f64 (cbrt.f64 (+.f64 (+.f64 c a) d)) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2) 2)) |
(pow.f64 (cbrt.f64 (+.f64 (+.f64 c a) d)) 3) |
(pow.f64 (+.f64 (+.f64 c a) d) 1) |
(pow.f64 (pow.f64 (+.f64 (+.f64 c a) d) 3) 1/3) |
(cbrt.f64 (pow.f64 (+.f64 (+.f64 c a) d) 3)) |
| Outputs |
|---|
(+.f64 a d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
c |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
c |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c d) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
a |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
a |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c a) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
d |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
d |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(fma.f64 (cbrt.f64 (+.f64 c a)) (cbrt.f64 (pow.f64 (+.f64 c a) 2)) d) |
(+.f64 (+.f64 a d) c) |
(fma.f64 (cbrt.f64 d) (cbrt.f64 (*.f64 d d)) (+.f64 c a)) |
(+.f64 (+.f64 a d) c) |
(fma.f64 1 (+.f64 c a) d) |
(+.f64 (+.f64 a d) c) |
(fma.f64 1 d (+.f64 c a)) |
(+.f64 (+.f64 a d) c) |
(fma.f64 1 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(fma.f64 1 (+.f64 a d) c) |
(+.f64 (+.f64 a d) c) |
(fma.f64 c 1 (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(fma.f64 (+.f64 c a) 1 d) |
(+.f64 (+.f64 a d) c) |
(fma.f64 (cbrt.f64 (pow.f64 (+.f64 c a) 2)) (cbrt.f64 (+.f64 c a)) d) |
(+.f64 (+.f64 a d) c) |
(fma.f64 a 1 (+.f64 d c)) |
(+.f64 (+.f64 a d) c) |
(fma.f64 1 a (+.f64 d c)) |
(+.f64 (+.f64 a d) c) |
(fma.f64 d 1 (+.f64 c a)) |
(+.f64 (+.f64 a d) c) |
(fma.f64 (cbrt.f64 (*.f64 d d)) (cbrt.f64 d) (+.f64 c a)) |
(+.f64 (+.f64 a d) c) |
(fma.f64 (cbrt.f64 c) (cbrt.f64 (*.f64 c c)) (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(fma.f64 (cbrt.f64 (+.f64 a d)) (cbrt.f64 (pow.f64 (+.f64 a d) 2)) c) |
(+.f64 (+.f64 a d) c) |
(fma.f64 (cbrt.f64 (*.f64 c c)) (cbrt.f64 c) (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(fma.f64 (cbrt.f64 a) (cbrt.f64 (*.f64 a a)) (+.f64 d c)) |
(+.f64 (+.f64 a d) c) |
(fma.f64 (cbrt.f64 (*.f64 a a)) (cbrt.f64 a) (+.f64 d c)) |
(+.f64 (+.f64 a d) c) |
(if (!=.f64 (-.f64 (+.f64 c a) d) 0) (/.f64 (fma.f64 d d (neg.f64 (pow.f64 (+.f64 c a) 2))) (-.f64 d (+.f64 c a))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (-.f64 (+.f64 c a) d) 0) (/.f64 (fma.f64 d d (neg.f64 (pow.f64 (+.f64 c a) 2))) (-.f64 d (+.f64 c a))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 (-.f64 d (+.f64 c a)) 0) (/.f64 (fma.f64 d d (neg.f64 (pow.f64 (+.f64 c a) 2))) (-.f64 d (+.f64 c a))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (-.f64 d (+.f64 c a)) 0) (/.f64 (fma.f64 d d (neg.f64 (pow.f64 (+.f64 c a) 2))) (-.f64 d (+.f64 c a))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c))) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (fma.f64 c (-.f64 c (+.f64 a d)) (pow.f64 (+.f64 a d) 2)) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a d) 3) (pow.f64 c 3)) (fma.f64 c (-.f64 c (+.f64 a d)) (pow.f64 (+.f64 a d) 2))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 (fma.f64 d d (*.f64 (+.f64 c a) (-.f64 (+.f64 c a) d))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 c a) 3) (pow.f64 d 3)) (fma.f64 d d (*.f64 (+.f64 c a) (-.f64 (+.f64 c a) d)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (fma.f64 d d (*.f64 (+.f64 c a) (-.f64 (+.f64 c a) d))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 c a) 3) (pow.f64 d 3)) (fma.f64 d d (*.f64 (+.f64 c a) (-.f64 (+.f64 c a) d)))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 (+.f64 a d) 3) (pow.f64 c 3)) (fma.f64 c (-.f64 c (+.f64 a d)) (pow.f64 (+.f64 a d) 2))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 c a) 3) (pow.f64 d 3)) (fma.f64 d d (*.f64 (+.f64 c a) (-.f64 (+.f64 c a) d)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 d 0) (/.f64 (+.f64 (pow.f64 (+.f64 c a) 3) (pow.f64 d 3)) (fma.f64 d d (*.f64 (+.f64 c a) (-.f64 (+.f64 c a) d)))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 (+.f64 c a) 0) (/.f64 (+.f64 (pow.f64 (+.f64 c a) 3) (pow.f64 d 3)) (fma.f64 d d (*.f64 (+.f64 c a) (-.f64 (+.f64 c a) d)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 c a) 0) (/.f64 (+.f64 (pow.f64 (+.f64 c a) 3) (pow.f64 d 3)) (fma.f64 d d (*.f64 (+.f64 c a) (-.f64 (+.f64 c a) d)))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 (-.f64 (+.f64 d c) a) 0) (/.f64 (-.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (*.f64 a a)) (-.f64 (+.f64 d c) a)) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (-.f64 (+.f64 c d) a) 0) (/.f64 (fma.f64 a a (neg.f64 (pow.f64 (+.f64 c d) 2))) (-.f64 a (+.f64 c d))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 (-.f64 a (+.f64 d c)) 0) (/.f64 (-.f64 (*.f64 a a) (*.f64 (+.f64 d c) (+.f64 d c))) (-.f64 a (+.f64 d c))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (-.f64 a (+.f64 c d)) 0) (/.f64 (fma.f64 a a (neg.f64 (pow.f64 (+.f64 c d) 2))) (-.f64 a (+.f64 c d))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 (-.f64 c (+.f64 a d)) 0) (/.f64 (fma.f64 c c (neg.f64 (pow.f64 (+.f64 a d) 2))) (-.f64 c (+.f64 a d))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (-.f64 c (+.f64 a d)) 0) (/.f64 (fma.f64 c c (neg.f64 (pow.f64 (+.f64 a d) 2))) (-.f64 c (+.f64 a d))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 (-.f64 (+.f64 a d) c) 0) (/.f64 (-.f64 (pow.f64 (+.f64 a d) 2) (*.f64 c c)) (-.f64 (+.f64 a d) c)) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (-.f64 (+.f64 a d) c) 0) (/.f64 (fma.f64 c c (neg.f64 (pow.f64 (+.f64 a d) 2))) (-.f64 c (+.f64 a d))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 (+.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (-.f64 (*.f64 a a) (*.f64 (+.f64 d c) a))) 0) (/.f64 (+.f64 (pow.f64 (+.f64 d c) 3) (pow.f64 a 3)) (+.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (-.f64 (*.f64 a a) (*.f64 (+.f64 d c) a)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a))) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (*.f64 a (+.f64 d c)))) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d c) 3)) (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (*.f64 a (+.f64 d c))))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a))) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 (+.f64 (pow.f64 (+.f64 a d) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a d)))) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (pow.f64 (+.f64 a d) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a d))))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (fma.f64 c (-.f64 c (+.f64 a d)) (pow.f64 (+.f64 a d) 2)) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a d) 3) (pow.f64 c 3)) (fma.f64 c (-.f64 c (+.f64 a d)) (pow.f64 (+.f64 a d) 2))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 (+.f64 d c) 0) (/.f64 (+.f64 (pow.f64 (+.f64 d c) 3) (pow.f64 a 3)) (+.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (-.f64 (*.f64 a a) (*.f64 (+.f64 d c) a)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 c d) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 a 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d c) 3)) (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (*.f64 a (+.f64 d c))))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 a 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 a 0) (/.f64 (+.f64 (pow.f64 (+.f64 d c) 3) (pow.f64 a 3)) (+.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (-.f64 (*.f64 a a) (*.f64 (+.f64 d c) a)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 a 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (pow.f64 (+.f64 a d) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a d))))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 c 0) (/.f64 (+.f64 (pow.f64 (+.f64 a d) 3) (pow.f64 c 3)) (fma.f64 c (-.f64 c (+.f64 a d)) (pow.f64 (+.f64 a d) 2))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 (+.f64 a d) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 a d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a d) 3) (pow.f64 c 3)) (fma.f64 c (-.f64 c (+.f64 a d)) (pow.f64 (+.f64 a d) 2))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 (+.f64 a d) 0) (/.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (pow.f64 (+.f64 a d) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a d))))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 a d) 0) (/.f64 (+.f64 (pow.f64 (+.f64 a d) 3) (pow.f64 c 3)) (fma.f64 c (-.f64 c (+.f64 a d)) (pow.f64 (+.f64 a d) 2))) (+.f64 (+.f64 a d) c)) |
(if (!=.f64 (+.f64 d c) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d c) 3)) (+.f64 (*.f64 a a) (-.f64 (*.f64 (+.f64 d c) (+.f64 d c)) (*.f64 a (+.f64 d c))))) (+.f64 (+.f64 c a) d)) |
(if (!=.f64 (+.f64 c d) 0) (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 c d) 3)) (fma.f64 a a (*.f64 (+.f64 c d) (-.f64 (+.f64 c d) a)))) (+.f64 (+.f64 a d) c)) |
(+.f64 (+.f64 c a) d) |
(+.f64 (+.f64 a d) c) |
(+.f64 d (+.f64 c a)) |
(+.f64 (+.f64 a d) c) |
(+.f64 c (+.f64 a d)) |
(+.f64 (+.f64 a d) c) |
(+.f64 (+.f64 a d) c) |
(+.f64 (+.f64 d c) a) |
(+.f64 (+.f64 a d) c) |
(+.f64 a (+.f64 d c)) |
(+.f64 (+.f64 a d) c) |
(+.f64 a (*.f64 (+.f64 d c) 1)) |
(+.f64 (+.f64 a d) c) |
(+.f64 (*.f64 (+.f64 d c) 1) a) |
(+.f64 (+.f64 a d) c) |
(*.f64 (cbrt.f64 (+.f64 (+.f64 c a) d)) (cbrt.f64 (pow.f64 (+.f64 (+.f64 c a) d) 2))) |
(+.f64 (+.f64 a d) c) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 c a) d) 2)) (cbrt.f64 (+.f64 (+.f64 c a) d))) |
(+.f64 (+.f64 a d) c) |
(*.f64 1 (+.f64 (+.f64 c a) d)) |
(+.f64 (+.f64 a d) c) |
(*.f64 (+.f64 (+.f64 c a) d) 1) |
(+.f64 (+.f64 a d) c) |
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (+.f64 c a) d) 2)) (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d)))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2)) |
(+.f64 (+.f64 a d) c) |
(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2) (cbrt.f64 (pow.f64 (+.f64 (+.f64 c a) d) 2)))) |
(+.f64 (+.f64 a d) c) |
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2) 2) (cbrt.f64 (+.f64 (+.f64 c a) d)))) |
(+.f64 (+.f64 a d) c) |
(*.f64 (+.f64 (cbrt.f64 (*.f64 d d)) (-.f64 (cbrt.f64 (pow.f64 (+.f64 c a) 2)) (cbrt.f64 (*.f64 (+.f64 c a) d)))) (+.f64 (cbrt.f64 d) (cbrt.f64 (+.f64 c a)))) |
(+.f64 (+.f64 a d) c) |
(*.f64 (+.f64 (cbrt.f64 (pow.f64 (+.f64 c a) 2)) (-.f64 (cbrt.f64 (*.f64 d d)) (cbrt.f64 (*.f64 (+.f64 c a) d)))) (+.f64 (cbrt.f64 (+.f64 c a)) (cbrt.f64 d))) |
(+.f64 (+.f64 a d) c) |
(*.f64 (*.f64 (cbrt.f64 (+.f64 (+.f64 c a) d)) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 c a) d))) 2) 2)) |
(+.f64 (+.f64 a d) c) |
(pow.f64 (cbrt.f64 (+.f64 (+.f64 c a) d)) 3) |
(+.f64 (+.f64 a d) c) |
(pow.f64 (+.f64 (+.f64 c a) d) 1) |
(+.f64 (+.f64 a d) c) |
(pow.f64 (pow.f64 (+.f64 (+.f64 c a) d) 3) 1/3) |
(+.f64 (+.f64 a d) c) |
(cbrt.f64 (pow.f64 (+.f64 (+.f64 c a) d) 3)) |
(+.f64 (+.f64 a d) c) |
Compiled 1850 to 654 computations (64.6% saved)
7 alts after pruning (0 fresh and 7 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 82 | 0 | 82 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 6 | 6 |
| Total | 82 | 7 | 89 |
| Status | Error | Program |
|---|---|---|
| ✓ | 0b | (*.f64 (+.f64 (+.f64 d a) (+.f64 b c)) 2) |
| ✓ | 56.4b | (*.f64 (+.f64 (+.f64 c a) d) 2) |
| ✓ | 56.4b | (*.f64 (+.f64 c (+.f64 a d)) 2) |
| ✓ | 56.4b | (*.f64 (+.f64 a (+.f64 c d)) 2) |
| ✓ | 58.6b | (*.f64 (+.f64 a d) 2) |
| ✓ | 56.4b | (*.f64 c 2) |
| ✓ | 60.1b | (*.f64 b 2) |
Compiled 69 to 52 computations (24.6% saved)
| Inputs |
|---|
(*.f64 b 2) |
(*.f64 c 2) |
(*.f64 (+.f64 a d) 2) |
(*.f64 (+.f64 a (+.f64 c d)) 2) |
(*.f64 (+.f64 c (+.f64 a d)) 2) |
(*.f64 (+.f64 (+.f64 c a) d) 2) |
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
(*.f64 (+.f64 (+.f64 d a) (+.f64 b c)) 2) |
| Outputs |
|---|
(*.f64 (+.f64 (+.f64 d a) (+.f64 b c)) 2) |
8 calls:
| 12.0ms | (+.f64 b (+.f64 c d)) |
| 10.0ms | (+.f64 c d) |
| 8.0ms | (+.f64 a (+.f64 b (+.f64 c d))) |
| 6.0ms | d |
| 6.0ms | b |
| Error | Segments | Branch |
|---|---|---|
| 0b | 1 | a |
| 0b | 1 | b |
| 0b | 1 | c |
| 0b | 1 | d |
| 0b | 1 | (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
| 0b | 1 | (+.f64 a (+.f64 b (+.f64 c d))) |
| 0b | 1 | (+.f64 b (+.f64 c d)) |
| 0b | 1 | (+.f64 c d) |
Compiled 114 to 74 computations (35.1% saved)
| Inputs |
|---|
(*.f64 b 2) |
(*.f64 c 2) |
(*.f64 (+.f64 a d) 2) |
(*.f64 (+.f64 a (+.f64 c d)) 2) |
(*.f64 (+.f64 c (+.f64 a d)) 2) |
(*.f64 (+.f64 (+.f64 c a) d) 2) |
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
| Outputs |
|---|
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
8 calls:
| 25.0ms | (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
| 10.0ms | d |
| 8.0ms | a |
| 6.0ms | (+.f64 c d) |
| 6.0ms | (+.f64 a (+.f64 b (+.f64 c d))) |
| Error | Segments | Branch |
|---|---|---|
| 3.7b | 1 | a |
| 3.7b | 1 | b |
| 3.7b | 1 | c |
| 3.7b | 1 | d |
| 3.7b | 1 | (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
| 3.7b | 1 | (+.f64 a (+.f64 b (+.f64 c d))) |
| 3.7b | 1 | (+.f64 b (+.f64 c d)) |
| 3.7b | 1 | (+.f64 c d) |
Compiled 105 to 69 computations (34.3% saved)
| Inputs |
|---|
(*.f64 b 2) |
(*.f64 c 2) |
(*.f64 (+.f64 a d) 2) |
(*.f64 (+.f64 a (+.f64 c d)) 2) |
(*.f64 (+.f64 c (+.f64 a d)) 2) |
(*.f64 (+.f64 (+.f64 c a) d) 2) |
| Outputs |
|---|
(*.f64 (+.f64 a d) 2) |
(*.f64 (+.f64 a (+.f64 c d)) 2) |
5 calls:
| 9.0ms | b |
| 6.0ms | c |
| 5.0ms | d |
| 5.0ms | a |
| 5.0ms | (+.f64 c d) |
| Error | Segments | Branch |
|---|---|---|
| 56.4b | 1 | a |
| 54.9b | 2 | b |
| 56.4b | 1 | c |
| 56.4b | 1 | d |
| 56.4b | 1 | (+.f64 c d) |
Compiled 63 to 43 computations (31.7% saved)
| 1× | binary-search |
| Time | Left | Right |
|---|---|---|
| 0.0ms | -2.5951182040520187 | -2.592707914911547 |
Compiled 20 to 15 computations (25% saved)
| Inputs |
|---|
(*.f64 b 2) |
(*.f64 c 2) |
(*.f64 (+.f64 a d) 2) |
| Outputs |
|---|
(*.f64 (+.f64 a d) 2) |
(*.f64 c 2) |
4 calls:
| 6.0ms | b |
| 5.0ms | d |
| 3.0ms | a |
| 3.0ms | c |
| Error | Segments | Branch |
|---|---|---|
| 56.4b | 1 | a |
| 54.9b | 2 | b |
| 56.4b | 1 | c |
| 56.4b | 1 | d |
Compiled 35 to 27 computations (22.9% saved)
| 1× | binary-search |
| Time | Left | Right |
|---|---|---|
| 0.0ms | -2.5951182040520187 | -2.592707914911547 |
Compiled 20 to 15 computations (25% saved)
Total -6.6b remaining (-11.6%)
Threshold costs -6.6b (-11.6%)
| Inputs |
|---|
(*.f64 b 2) |
(*.f64 c 2) |
| Outputs |
|---|
(*.f64 c 2) |
4 calls:
| 5.0ms | a |
| 3.0ms | b |
| 3.0ms | d |
| 3.0ms | c |
| Error | Segments | Branch |
|---|---|---|
| 56.4b | 1 | a |
| 56.4b | 1 | b |
| 56.4b | 1 | c |
| 56.4b | 1 | d |
Compiled 30 to 24 computations (20% saved)
| 1× | done |
Compiled 76 to 56 computations (26.3% saved)
Compiled 56 to 34 computations (39.3% saved)
Loading profile data...