Details

analyze972.0ms (18.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	95.2%	4.8%	7
6.2%	88.2%	5.6%	8
10.1%	80.4%	9.5%	9
15.2%	72.2%	12.6%	10
22.2%	62.5%	15.3%	11
29.1%	52.5%	18.5%	12
33.9%	45.7%	20.4%	13
38.9%	38.6%	22.5%	14

Compiler

Compiled 17 to 11 computations (35.3% saved)

sample2.2s (41.5%)

Results

688.0ms	1138×	body	2048	valid
680.0ms	5438×	body	128	valid
296.0ms	764×	body	1024	valid
241.0ms	402×	body	4096	valid
130.0ms	1071×	body	128	invalid
107.0ms	339×	body	512	valid
36.0ms	175×	body	256	valid

preprocess39.0ms (0.7%)

Algorithm

2×	egg-herbie

Rules

869×	`fma-neg_binary64`
440×	`times-frac_binary64`
394×	`fma-def_binary64`
350×	`cancel-sign-sub-inv_binary64`
345×	`div-sub_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	80
1	82	80
2	167	80
3	390	80
4	694	80
5	1249	80
6	3263	80
0	3	3

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

Inputs
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
(/.f64 (-.f64 (neg.f64 a) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b_2 c)))) b_2)
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) c)
(/.f64 (-.f64 (neg.f64 c) (sqrt.f64 (-.f64 (.f64 c c) (.f64 a b_2)))) a)

Outputs
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (fma.f64 c (neg.f64 a) (*.f64 b_2 b_2)))) a)
(/.f64 (-.f64 (neg.f64 a) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b_2 c)))) b_2)
(neg.f64 (/.f64 (+.f64 a (sqrt.f64 (-.f64 (.f64 a a) (.f64 b_2 c)))) b_2))
(/.f64 (-.f64 (neg.f64 a) (sqrt.f64 (fma.f64 (neg.f64 b_2) c (*.f64 a a)))) b_2)
(/.f64 (+.f64 a (sqrt.f64 (fma.f64 (neg.f64 b_2) c (*.f64 a a)))) (neg.f64 b_2))
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) c)
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) c)
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (fma.f64 c (neg.f64 a) (*.f64 b_2 b_2)))) c)
(/.f64 (-.f64 (neg.f64 c) (sqrt.f64 (-.f64 (.f64 c c) (.f64 a b_2)))) a)
(/.f64 (-.f64 (neg.f64 c) (sqrt.f64 (-.f64 (.f64 c c) (.f64 b_2 a)))) a)
(/.f64 (neg.f64 (+.f64 c (sqrt.f64 (-.f64 (.f64 c c) (.f64 b_2 a))))) a)
(/.f64 (-.f64 (neg.f64 c) (sqrt.f64 (fma.f64 b_2 (neg.f64 a) (*.f64 c c)))) a)
(/.f64 (+.f64 c (sqrt.f64 (-.f64 (.f64 c c) (.f64 b_2 a)))) (neg.f64 a))

Compiler

Compiled 16 to 10 computations (37.5% saved)

simplify62.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

518×	`div-sub_binary64`
428×	`fma-neg_binary64`
208×	`associate-/l*_binary64`
205×	`fma-def_binary64`
181×	`times-frac_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	27	20
2	57	20
3	126	20
4	216	20
5	392	20
6	662	20
7	1008	20
8	1214	20
9	1599	20
10	3126	20
11	3899	20
12	3997	20
13	4005	20
14	4013	20
15	4013	20
16	4071	20
17	4107	20
18	4137	20
19	4149	20

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)

Outputs
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

33.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	33.1b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)

Compiler

Compiled 48 to 30 computations (37.5% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
✓	0.4b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	0.9b	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
✓	22.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series30.0ms (0.6%)

Counts

4 → 96

Calls

36 calls:

Time	Variable		Point	Expression
6.0ms	c	@	-inf	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
1.0ms	a	@	0	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
1.0ms	a	@	inf	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
1.0ms	c	@	inf	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
1.0ms	a	@	inf	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite73.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

352×	`fma-neg_binary64`
218×	`expm1-udef_binary64`
218×	`log1p-udef_binary64`
139×	`add-sqr-sqrt_binary64`
134×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	59
1	262	55
2	4065	55

Stop Event

1×	node limit

Counts

4 → 192

Calls

Call 1

Inputs
(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
(-.f64 (.f64 b_2 b_2) (.f64 a c))
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 2)) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 1 1/2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 2) 1/2) (pow.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (-.f64 (pow.f64 b_2 6) (pow.f64 (.f64 a c) 3))) (sqrt.f64 (+.f64 (pow.f64 b_2 4) (.f64 (.f64 a c) (fma.f64 b_2 b_2 (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (-.f64 (pow.f64 b_2 4) (pow.f64 (.f64 a c) 2))) (sqrt.f64 (fma.f64 b_2 b_2 (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 b_2 (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 b_2 (.f64 (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (fma.f64 (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) 1 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (+.f64 (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) b_2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (pow.f64 (cbrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) 2) (cbrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (sqrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 b_2 3) (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3/2)) (/.f64 1 (fma.f64 b_2 b_2 (-.f64 (.f64 b_2 b_2) (fma.f64 a c (.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (fma.f64 b_2 b_2 (.f64 b_2 b_2)) (.f64 a c)) (/.f64 1 (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (sqrt.f64 b_2) (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4)) (-.f64 (sqrt.f64 b_2) (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 b_2 b_2 (-.f64 (.f64 b_2 b_2) (fma.f64 a c (.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))) (-.f64 (pow.f64 b_2 3) (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3/2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (+.f64 (fma.f64 b_2 b_2 (.f64 b_2 b_2)) (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 b_2 3) (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3/2)) (fma.f64 b_2 b_2 (-.f64 (.f64 b_2 b_2) (fma.f64 a c (.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (fma.f64 b_2 b_2 (.f64 b_2 b_2)) (.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 b_2 3) (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3/2))) (neg.f64 (fma.f64 b_2 b_2 (-.f64 (.f64 b_2 b_2) (fma.f64 a c (.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (fma.f64 b_2 b_2 (.f64 b_2 b_2)) (.f64 a c))) (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 b_2 3) (pow.f64 (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) 3)) (+.f64 (.f64 b_2 b_2) (-.f64 (.f64 (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (.f64 b_2 (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 b_2 b_2) (.f64 (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) (-.f64 b_2 (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 b_2 1 (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 b_2 -1 (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 b_2 (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 b_2) (cbrt.f64 (.f64 b_2 b_2)) (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 b_2 b_2)) (cbrt.f64 b_2) (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 b_2 b_2)) (neg.f64 (cbrt.f64 b_2)) (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 b_2) (sqrt.f64 b_2) (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 b_2) (neg.f64 (sqrt.f64 b_2)) (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1 b_2 (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cbrt.f64 (pow.f64 b_2 4))) (sqrt.f64 (cbrt.f64 (.f64 b_2 b_2))) (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 (cbrt.f64 (.f64 b_2 b_2))) (cbrt.f64 b_2) (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 (sqrt.f64 b_2)) (sqrt.f64 b_2) (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 -1 (cbrt.f64 (.f64 b_2 b_2))) (cbrt.f64 b_2) (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 -1 (sqrt.f64 b_2)) (sqrt.f64 b_2) (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 b_2 b_2) (.f64 a (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 b_2 b_2) (.f64 (.f64 a (neg.f64 c)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 b_2 b_2) (+.f64 (.f64 a (neg.f64 c)) (fma.f64 (neg.f64 c) a (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) (fma.f64 (neg.f64 c) a (.f64 a c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) (fma.f64 (.f64 a (neg.f64 c)) 1 (.f64 a c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 a c))) (pow.f64 (cbrt.f64 (.f64 a c)) 2) (.f64 a c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) (.f64 (fma.f64 (neg.f64 c) a (.f64 a c)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) (+.f64 (fma.f64 (neg.f64 c) a (.f64 a c)) (fma.f64 (neg.f64 c) a (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (neg.f64 c) a (.f64 a c)) (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 a (neg.f64 c)) (.f64 b_2 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (pow.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 2) (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) (.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 b_2 6) (pow.f64 (.f64 a c) 3)) (/.f64 1 (+.f64 (pow.f64 b_2 4) (.f64 (.f64 a c) (fma.f64 b_2 b_2 (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 b_2 4) (pow.f64 (.f64 a c) 2)) (/.f64 1 (fma.f64 b_2 b_2 (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4)) (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 b_2 (sqrt.f64 (.f64 a c))) (-.f64 b_2 (sqrt.f64 (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 b_2 4) (.f64 (.f64 a c) (fma.f64 b_2 b_2 (.f64 a c)))) (-.f64 (pow.f64 b_2 6) (pow.f64 (.f64 a c) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 b_2 b_2 (.f64 a c)) (-.f64 (pow.f64 b_2 4) (pow.f64 (.f64 a c) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 b_2 6) (pow.f64 (.f64 a c) 3)) (+.f64 (pow.f64 b_2 4) (.f64 (.f64 a c) (fma.f64 b_2 b_2 (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 b_2 4) (pow.f64 (.f64 a c) 2)) (fma.f64 b_2 b_2 (.f64 a c)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 b_2 6) (pow.f64 (.f64 a c) 3))) (neg.f64 (+.f64 (pow.f64 b_2 4) (.f64 (.f64 a c) (fma.f64 b_2 b_2 (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 b_2 4) (pow.f64 (.f64 a c) 2))) (neg.f64 (fma.f64 b_2 b_2 (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 b_2 6) (pow.f64 (.f64 a (neg.f64 c)) 3)) (+.f64 (pow.f64 b_2 4) (-.f64 (.f64 (.f64 a (neg.f64 c)) (.f64 a (neg.f64 c))) (.f64 (.f64 b_2 b_2) (.f64 a (neg.f64 c))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3) (pow.f64 (fma.f64 (neg.f64 c) a (.f64 a c)) 3)) (+.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 2) (-.f64 (.f64 (fma.f64 (neg.f64 c) a (.f64 a c)) (fma.f64 (neg.f64 c) a (.f64 a c))) (.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) (fma.f64 (neg.f64 c) a (.f64 a c))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 b_2 4) (.f64 (.f64 a (neg.f64 c)) (.f64 a (neg.f64 c)))) (-.f64 (.f64 b_2 b_2) (.f64 a (neg.f64 c))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 2) (.f64 (fma.f64 (neg.f64 c) a (.f64 a c)) (fma.f64 (neg.f64 c) a (.f64 a c)))) (-.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) (fma.f64 (neg.f64 c) a (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 b_2 b_2 (.f64 a (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 b_2 b_2 (neg.f64 (-.f64 (.f64 a c) (fma.f64 (neg.f64 c) a (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 b_2 b_2) 1 (.f64 a (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 b_2 b_2) 1 (neg.f64 (-.f64 (.f64 a c) (fma.f64 (neg.f64 c) a (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (fma.f64 (neg.f64 c) a (.f64 a c)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 b_2 b_2) (.f64 a (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 b_2 b_2) (neg.f64 (-.f64 (.f64 a c) (fma.f64 (neg.f64 c) a (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (-.f64 (.f64 b_2 b_2) (.f64 a c)) (fma.f64 (neg.f64 c) a (.f64 a c)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 b_2 b_2)) (cbrt.f64 (pow.f64 b_2 4)) (.f64 a (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 b_2 b_2)) (cbrt.f64 (pow.f64 b_2 4)) (neg.f64 (-.f64 (.f64 a c) (fma.f64 (neg.f64 c) a (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 b_2 b_2)) (.f64 (cbrt.f64 b_2) b_2) (.f64 a (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 b_2 b_2)) (.f64 (cbrt.f64 b_2) b_2) (neg.f64 (-.f64 (.f64 a c) (fma.f64 (neg.f64 c) a (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 b_2 4)) (cbrt.f64 (.f64 b_2 b_2)) (.f64 a (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 b_2 4)) (cbrt.f64 (.f64 b_2 b_2)) (neg.f64 (-.f64 (.f64 a c) (fma.f64 (neg.f64 c) a (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 2) (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (fma.f64 (neg.f64 c) a (.f64 a c)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 b_2) (.f64 (sqrt.f64 b_2) b_2) (.f64 a (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 b_2) (.f64 (sqrt.f64 b_2) b_2) (neg.f64 (-.f64 (.f64 a c) (fma.f64 (neg.f64 c) a (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1 (.f64 b_2 b_2) (.f64 a (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1 (.f64 b_2 b_2) (neg.f64 (-.f64 (.f64 a c) (fma.f64 (neg.f64 c) a (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 b_2 (sqrt.f64 b_2)) (sqrt.f64 b_2) (.f64 a (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 b_2 (sqrt.f64 b_2)) (sqrt.f64 b_2) (neg.f64 (-.f64 (.f64 a c) (fma.f64 (neg.f64 c) a (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 b_2 (cbrt.f64 (.f64 b_2 b_2))) (cbrt.f64 b_2) (.f64 a (neg.f64 c)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 b_2 (cbrt.f64 (.f64 b_2 b_2))) (cbrt.f64 b_2) (neg.f64 (-.f64 (.f64 a c) (fma.f64 (neg.f64 c) a (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 b_2 a) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 b_2 a) (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (/.f64 1 a))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)) (pow.f64 (cbrt.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)) 2) (cbrt.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) 2) (.f64 (cbrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (/.f64 1 a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)) (sqrt.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (.f64 (sqrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (/.f64 1 a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 a) (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (/.f64 1 (neg.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) 2) 1) (/.f64 (cbrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) a))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) 1) (/.f64 (sqrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) a))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (pow.f64 (cbrt.f64 a) 2)) (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) 2) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (pow.f64 (cbrt.f64 a) 2)) (/.f64 (sqrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (cbrt.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (sqrt.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) 2) (sqrt.f64 a)) (/.f64 (cbrt.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (sqrt.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 a (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (neg.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) 3) (pow.f64 a 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 b_2 (/.f64 1 a) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (/.f64 b_2 a) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1 (/.f64 b_2 a) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (/.f64 b_2 a)) (cbrt.f64 (/.f64 b_2 a))) (cbrt.f64 (/.f64 b_2 a)) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 b_2 a)) (sqrt.f64 (/.f64 b_2 a)) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1 (pow.f64 (cbrt.f64 a) 2)) (/.f64 b_2 (cbrt.f64 a)) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 b_2 (sqrt.f64 a)) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (cbrt.f64 (.f64 b_2 b_2)) 1) (/.f64 (cbrt.f64 b_2) a) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (sqrt.f64 b_2) 1) (/.f64 (sqrt.f64 b_2) a) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (cbrt.f64 (.f64 b_2 b_2)) (pow.f64 (cbrt.f64 a) 2)) (/.f64 (cbrt.f64 b_2) (cbrt.f64 a)) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (sqrt.f64 b_2) (pow.f64 (cbrt.f64 a) 2)) (/.f64 (sqrt.f64 b_2) (cbrt.f64 a)) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 -1 (pow.f64 (cbrt.f64 a) 2)) (/.f64 b_2 (cbrt.f64 a)) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (cbrt.f64 (.f64 b_2 b_2)) (sqrt.f64 a)) (/.f64 (cbrt.f64 b_2) (sqrt.f64 a)) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (sqrt.f64 b_2) (sqrt.f64 a)) (/.f64 (sqrt.f64 b_2) (sqrt.f64 a)) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 -1 (sqrt.f64 a)) (/.f64 b_2 (sqrt.f64 a)) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)))))))

simplify49.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

771×	`times-frac_binary64`
528×	`fma-def_binary64`
510×	`associate-/l*_binary64`
451×	`associate-l_binary64`
393×	`associate-/r*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	129	2064
1	411	2002
2	1338	1973

Stop Event

1×	node limit

Counts

288 → 268

Calls

Call 1

Inputs
(sqrt.f64 (neg.f64 (*.f64 c a)))
(+.f64 (sqrt.f64 (neg.f64 (.f64 c a))) (.f64 1/2 (/.f64 (pow.f64 b_2 2) (sqrt.f64 (neg.f64 (*.f64 c a))))))
(+.f64 (sqrt.f64 (neg.f64 (.f64 c a))) (+.f64 (.f64 -1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (neg.f64 (.f64 c a))) 3))) (.f64 1/2 (/.f64 (pow.f64 b_2 2) (sqrt.f64 (neg.f64 (*.f64 c a)))))))
(+.f64 (sqrt.f64 (neg.f64 (.f64 c a))) (+.f64 (.f64 -1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (neg.f64 (.f64 c a))) 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 b_2 2) (sqrt.f64 (neg.f64 (.f64 c a))))) (.f64 1/16 (/.f64 (pow.f64 b_2 6) (pow.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) 5))))))
b_2
(+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2)))
(+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2))))
(+.f64 (.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2)))))
(*.f64 -1 b_2)
(+.f64 (.f64 -1 b_2) (.f64 1/2 (/.f64 (*.f64 c a) b_2)))
(+.f64 (.f64 -1 b_2) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 (*.f64 c a) b_2))))
(+.f64 (.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -1 b_2) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 (*.f64 c a) b_2)))))
b_2
(+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2)))
(+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2))))
(+.f64 (.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2)))))
b_2
(+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2)))
(+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2))))
(+.f64 (.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2)))))
(.f64 -1 (sqrt.f64 (neg.f64 (.f64 c a))))
(+.f64 (.f64 -1 b_2) (.f64 -1 (sqrt.f64 (neg.f64 (*.f64 c a)))))
(+.f64 (.f64 -1 b_2) (+.f64 (.f64 -1/2 (/.f64 (pow.f64 b_2 2) (sqrt.f64 (neg.f64 (.f64 c a))))) (.f64 -1 (sqrt.f64 (neg.f64 (*.f64 c a))))))
(+.f64 (.f64 1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (neg.f64 (.f64 c a))) 3))) (+.f64 (.f64 -1 b_2) (+.f64 (.f64 -1/2 (/.f64 (pow.f64 b_2 2) (sqrt.f64 (neg.f64 (.f64 c a))))) (.f64 -1 (sqrt.f64 (neg.f64 (*.f64 c a)))))))
(*.f64 -2 b_2)
(+.f64 (.f64 -2 b_2) (.f64 1/2 (/.f64 (*.f64 c a) b_2)))
(+.f64 (.f64 -2 b_2) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 (*.f64 c a) b_2))))
(+.f64 (.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -2 b_2) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 (*.f64 c a) b_2)))))
(.f64 -1/2 (/.f64 (.f64 c a) b_2))
(+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 -1/2 (/.f64 (.f64 c a) b_2)))
(+.f64 (.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 -1/2 (/.f64 (.f64 c a) b_2))))
(+.f64 (.f64 -1/2 (/.f64 (+.f64 (.f64 1/16 (.f64 (pow.f64 c 4) (pow.f64 a 4))) (pow.f64 (.f64 -1/8 (.f64 (pow.f64 c 2) (pow.f64 a 2))) 2)) (pow.f64 b_2 7))) (+.f64 (.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 -1/2 (/.f64 (*.f64 c a) b_2)))))
(*.f64 -2 b_2)
(+.f64 (.f64 -2 b_2) (.f64 1/2 (/.f64 (*.f64 c a) b_2)))
(+.f64 (.f64 -2 b_2) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 (*.f64 c a) b_2))))
(+.f64 (.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -2 b_2) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 (*.f64 c a) b_2)))))
(*.f64 -2 b_2)
(+.f64 (.f64 -2 b_2) (.f64 1/2 (/.f64 (*.f64 c a) b_2)))
(+.f64 (.f64 -2 b_2) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 (*.f64 c a) b_2))))
(+.f64 (.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -2 b_2) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 (*.f64 c a) b_2)))))
(.f64 -1 (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(pow.f64 b_2 2)
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(pow.f64 b_2 2)
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(pow.f64 b_2 2)
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(.f64 -1 (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(.f64 -1 (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(pow.f64 b_2 2)
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(.f64 -1 (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(.f64 -1 (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(.f64 -1 (/.f64 (sqrt.f64 (neg.f64 (.f64 c a))) a))
(+.f64 (.f64 -1 (/.f64 (sqrt.f64 (neg.f64 (.f64 c a))) a)) (*.f64 -1 (/.f64 b_2 a)))
(+.f64 (.f64 -1/2 (/.f64 (pow.f64 b_2 2) (.f64 (sqrt.f64 (neg.f64 (.f64 c a))) a))) (+.f64 (.f64 -1 (/.f64 (sqrt.f64 (neg.f64 (.f64 c a))) a)) (.f64 -1 (/.f64 b_2 a))))
(+.f64 (.f64 -1/2 (/.f64 (pow.f64 b_2 2) (.f64 (sqrt.f64 (neg.f64 (.f64 c a))) a))) (+.f64 (.f64 1/8 (/.f64 (pow.f64 b_2 4) (.f64 (pow.f64 (sqrt.f64 (neg.f64 (.f64 c a))) 3) a))) (+.f64 (.f64 -1 (/.f64 (sqrt.f64 (neg.f64 (.f64 c a))) a)) (*.f64 -1 (/.f64 b_2 a)))))
(*.f64 -2 (/.f64 b_2 a))
(+.f64 (.f64 -2 (/.f64 b_2 a)) (.f64 1/2 (/.f64 c b_2)))
(+.f64 (.f64 -2 (/.f64 b_2 a)) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 c b_2))))
(+.f64 (.f64 -2 (/.f64 b_2 a)) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (+.f64 (.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b_2 5))) (.f64 1/2 (/.f64 c b_2)))))
(*.f64 -1/2 (/.f64 c b_2))
(+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (*.f64 -1/2 (/.f64 c b_2)))
(+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (+.f64 (.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b_2 5))) (*.f64 -1/2 (/.f64 c b_2))))
(+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (+.f64 (.f64 -1/2 (/.f64 (+.f64 (.f64 1/16 (.f64 (pow.f64 c 4) (pow.f64 a 4))) (pow.f64 (.f64 -1/8 (.f64 (pow.f64 c 2) (pow.f64 a 2))) 2)) (.f64 a (pow.f64 b_2 7)))) (+.f64 (.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b_2 5))) (*.f64 -1/2 (/.f64 c b_2)))))
(*.f64 -2 (/.f64 b_2 a))
(+.f64 (.f64 -2 (/.f64 b_2 a)) (.f64 1/2 (/.f64 c b_2)))
(+.f64 (.f64 -2 (/.f64 b_2 a)) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 c b_2))))
(+.f64 (.f64 -2 (/.f64 b_2 a)) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (+.f64 (.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b_2 5))) (.f64 1/2 (/.f64 c b_2)))))
(*.f64 -2 (/.f64 b_2 a))
(+.f64 (.f64 -2 (/.f64 b_2 a)) (.f64 1/2 (/.f64 c b_2)))
(+.f64 (.f64 -2 (/.f64 b_2 a)) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 c b_2))))
(+.f64 (.f64 -2 (/.f64 b_2 a)) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (+.f64 (.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b_2 5))) (.f64 1/2 (/.f64 c b_2)))))

Outputs
(sqrt.f64 (neg.f64 (*.f64 c a)))
(sqrt.f64 (*.f64 c (neg.f64 a)))
(+.f64 (sqrt.f64 (neg.f64 (.f64 c a))) (.f64 1/2 (/.f64 (pow.f64 b_2 2) (sqrt.f64 (neg.f64 (*.f64 c a))))))
(+.f64 (sqrt.f64 (.f64 c (neg.f64 a))) (/.f64 (.f64 1/2 (.f64 b_2 b_2)) (sqrt.f64 (.f64 c (neg.f64 a)))))
(fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (.f64 c (neg.f64 a)))) (sqrt.f64 (*.f64 c (neg.f64 a))))
(fma.f64 1/2 (.f64 (/.f64 b_2 (sqrt.f64 (.f64 c (neg.f64 a)))) b_2) (sqrt.f64 (*.f64 c (neg.f64 a))))
(+.f64 (sqrt.f64 (neg.f64 (.f64 c a))) (+.f64 (.f64 -1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (neg.f64 (.f64 c a))) 3))) (.f64 1/2 (/.f64 (pow.f64 b_2 2) (sqrt.f64 (neg.f64 (*.f64 c a)))))))
(+.f64 (sqrt.f64 (.f64 c (neg.f64 a))) (fma.f64 -1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (.f64 c (neg.f64 a))) 3)) (/.f64 (.f64 1/2 (.f64 b_2 b_2)) (sqrt.f64 (*.f64 c (neg.f64 a))))))
(+.f64 (sqrt.f64 (.f64 c (neg.f64 a))) (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (.f64 c (neg.f64 a)))) (/.f64 (.f64 -1/8 (pow.f64 b_2 4)) (pow.f64 (sqrt.f64 (*.f64 c (neg.f64 a))) 3))))
(fma.f64 -1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (.f64 c (neg.f64 a))) 3)) (fma.f64 1/2 (.f64 (/.f64 b_2 (sqrt.f64 (.f64 c (neg.f64 a)))) b_2) (sqrt.f64 (.f64 c (neg.f64 a)))))
(+.f64 (sqrt.f64 (neg.f64 (.f64 c a))) (+.f64 (.f64 -1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (neg.f64 (.f64 c a))) 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 b_2 2) (sqrt.f64 (neg.f64 (.f64 c a))))) (.f64 1/16 (/.f64 (pow.f64 b_2 6) (pow.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) 5))))))
(+.f64 (sqrt.f64 (.f64 c (neg.f64 a))) (fma.f64 -1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (.f64 c (neg.f64 a))) 3)) (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (.f64 c (neg.f64 a)))) (/.f64 (.f64 1/16 (pow.f64 b_2 6)) (pow.f64 (sqrt.f64 (.f64 c (neg.f64 a))) 5)))))
(+.f64 (sqrt.f64 (.f64 c (neg.f64 a))) (fma.f64 -1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (.f64 c (neg.f64 a))) 3)) (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (.f64 c (neg.f64 a)))) (/.f64 1/16 (/.f64 (pow.f64 (sqrt.f64 (*.f64 c (neg.f64 a))) 5) (pow.f64 b_2 6))))))
(+.f64 (fma.f64 -1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (.f64 c (neg.f64 a))) 3)) (fma.f64 1/2 (.f64 (/.f64 b_2 (sqrt.f64 (.f64 c (neg.f64 a)))) b_2) (sqrt.f64 (.f64 c (neg.f64 a))))) (.f64 1/16 (/.f64 (pow.f64 b_2 6) (pow.f64 (sqrt.f64 (.f64 c (neg.f64 a))) 5))))
b_2
(+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2)))
(+.f64 b_2 (*.f64 -1/2 (/.f64 c (/.f64 b_2 a))))
(fma.f64 -1/2 (*.f64 (/.f64 c b_2) a) b_2)
(+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2))))
(fma.f64 -1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) (.f64 a a))) (+.f64 b_2 (*.f64 -1/2 (/.f64 c (/.f64 b_2 a)))))
(fma.f64 -1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) (.f64 a a)) (fma.f64 -1/2 (.f64 (/.f64 c b_2) a) b_2))
(fma.f64 -1/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) a) (fma.f64 -1/2 (.f64 (/.f64 c b_2) a) b_2))
(+.f64 (.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2)))))
(fma.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5)) (fma.f64 -1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) (.f64 a a))) (+.f64 b_2 (.f64 -1/2 (/.f64 c (/.f64 b_2 a))))))
(fma.f64 -1/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b_2 5) (pow.f64 a 3))) (fma.f64 -1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) (.f64 a a)) (fma.f64 -1/2 (.f64 (/.f64 c b_2) a) b_2)))
(fma.f64 -1/16 (.f64 (/.f64 (pow.f64 c 3) (pow.f64 b_2 5)) (pow.f64 a 3)) (fma.f64 -1/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) a) (fma.f64 -1/2 (*.f64 (/.f64 c b_2) a) b_2)))
(*.f64 -1 b_2)
(neg.f64 b_2)
(+.f64 (.f64 -1 b_2) (.f64 1/2 (/.f64 (*.f64 c a) b_2)))
(fma.f64 -1 b_2 (*.f64 1/2 (/.f64 c (/.f64 b_2 a))))
(-.f64 (/.f64 1/2 (/.f64 b_2 (*.f64 c a))) b_2)
(-.f64 (.f64 1/2 (.f64 (/.f64 c b_2) a)) b_2)
(+.f64 (.f64 -1 b_2) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 (*.f64 c a) b_2))))
(fma.f64 -1 b_2 (fma.f64 1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) (.f64 a a))) (*.f64 1/2 (/.f64 c (/.f64 b_2 a)))))
(-.f64 (fma.f64 1/2 (.f64 (/.f64 c b_2) a) (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) (*.f64 a a)) 1/8)) b_2)
(-.f64 (fma.f64 1/2 (.f64 (/.f64 c b_2) a) (.f64 (.f64 (.f64 (/.f64 (*.f64 c c) (pow.f64 b_2 3)) a) a) 1/8)) b_2)
(+.f64 (.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -1 b_2) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 (*.f64 c a) b_2)))))
(fma.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5)) (fma.f64 -1 b_2 (fma.f64 1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) (.f64 a a))) (.f64 1/2 (/.f64 c (/.f64 b_2 a))))))
(fma.f64 1/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b_2 5) (pow.f64 a 3))) (-.f64 (fma.f64 1/2 (.f64 (/.f64 c b_2) a) (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) (*.f64 a a)) 1/8)) b_2))
(-.f64 (fma.f64 1/16 (.f64 (/.f64 (pow.f64 c 3) (pow.f64 b_2 5)) (pow.f64 a 3)) (fma.f64 1/2 (.f64 (/.f64 c b_2) a) (.f64 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) a) 1/8))) b_2)
b_2
(+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2)))
(+.f64 b_2 (*.f64 -1/2 (/.f64 c (/.f64 b_2 a))))
(fma.f64 -1/2 (*.f64 (/.f64 c b_2) a) b_2)
(+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2))))
(fma.f64 -1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) (.f64 a a))) (+.f64 b_2 (*.f64 -1/2 (/.f64 c (/.f64 b_2 a)))))
(fma.f64 -1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) (.f64 a a)) (fma.f64 -1/2 (.f64 (/.f64 c b_2) a) b_2))
(fma.f64 -1/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) a) (fma.f64 -1/2 (.f64 (/.f64 c b_2) a) b_2))
(+.f64 (.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2)))))
(fma.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5)) (fma.f64 -1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) (.f64 a a))) (+.f64 b_2 (.f64 -1/2 (/.f64 c (/.f64 b_2 a))))))
(fma.f64 -1/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b_2 5) (pow.f64 a 3))) (fma.f64 -1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) (.f64 a a)) (fma.f64 -1/2 (.f64 (/.f64 c b_2) a) b_2)))
(fma.f64 -1/16 (.f64 (/.f64 (pow.f64 c 3) (pow.f64 b_2 5)) (pow.f64 a 3)) (fma.f64 -1/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) a) (fma.f64 -1/2 (*.f64 (/.f64 c b_2) a) b_2)))
b_2
(+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2)))
(+.f64 b_2 (*.f64 -1/2 (/.f64 c (/.f64 b_2 a))))
(fma.f64 -1/2 (*.f64 (/.f64 c b_2) a) b_2)
(+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2))))
(fma.f64 -1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) (.f64 a a))) (+.f64 b_2 (*.f64 -1/2 (/.f64 c (/.f64 b_2 a)))))
(fma.f64 -1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) (.f64 a a)) (fma.f64 -1/2 (.f64 (/.f64 c b_2) a) b_2))
(fma.f64 -1/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) a) (fma.f64 -1/2 (.f64 (/.f64 c b_2) a) b_2))
(+.f64 (.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (+.f64 b_2 (.f64 -1/2 (/.f64 (.f64 c a) b_2)))))
(fma.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5)) (fma.f64 -1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) (.f64 a a))) (+.f64 b_2 (.f64 -1/2 (/.f64 c (/.f64 b_2 a))))))
(fma.f64 -1/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b_2 5) (pow.f64 a 3))) (fma.f64 -1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) (.f64 a a)) (fma.f64 -1/2 (.f64 (/.f64 c b_2) a) b_2)))
(fma.f64 -1/16 (.f64 (/.f64 (pow.f64 c 3) (pow.f64 b_2 5)) (pow.f64 a 3)) (fma.f64 -1/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) a) (fma.f64 -1/2 (*.f64 (/.f64 c b_2) a) b_2)))
(.f64 -1 (sqrt.f64 (neg.f64 (.f64 c a))))
(neg.f64 (sqrt.f64 (*.f64 c (neg.f64 a))))
(+.f64 (.f64 -1 b_2) (.f64 -1 (sqrt.f64 (neg.f64 (*.f64 c a)))))
(.f64 -1 (+.f64 b_2 (sqrt.f64 (.f64 c (neg.f64 a)))))
(-.f64 (neg.f64 b_2) (sqrt.f64 (*.f64 c (neg.f64 a))))
(+.f64 (.f64 -1 b_2) (+.f64 (.f64 -1/2 (/.f64 (pow.f64 b_2 2) (sqrt.f64 (neg.f64 (.f64 c a))))) (.f64 -1 (sqrt.f64 (neg.f64 (*.f64 c a))))))
(fma.f64 -1 b_2 (fma.f64 -1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (.f64 c (neg.f64 a)))) (neg.f64 (sqrt.f64 (*.f64 c (neg.f64 a))))))
(-.f64 (-.f64 (.f64 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (.f64 c (neg.f64 a)))) -1/2) (sqrt.f64 (.f64 c (neg.f64 a)))) b_2)
(-.f64 (.f64 (.f64 (/.f64 b_2 (sqrt.f64 (.f64 c (neg.f64 a)))) b_2) -1/2) (+.f64 (sqrt.f64 (.f64 c (neg.f64 a))) b_2))
(+.f64 (.f64 1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (neg.f64 (.f64 c a))) 3))) (+.f64 (.f64 -1 b_2) (+.f64 (.f64 -1/2 (/.f64 (pow.f64 b_2 2) (sqrt.f64 (neg.f64 (.f64 c a))))) (.f64 -1 (sqrt.f64 (neg.f64 (*.f64 c a)))))))
(fma.f64 1/8 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (.f64 c (neg.f64 a))) 3)) (fma.f64 -1 b_2 (fma.f64 -1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (.f64 c (neg.f64 a)))) (neg.f64 (sqrt.f64 (.f64 c (neg.f64 a)))))))
(fma.f64 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (.f64 c (neg.f64 a))) 3)) 1/8 (-.f64 (-.f64 (.f64 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (.f64 c (neg.f64 a)))) -1/2) (sqrt.f64 (*.f64 c (neg.f64 a)))) b_2))
(-.f64 (fma.f64 (/.f64 (pow.f64 b_2 4) (pow.f64 (sqrt.f64 (.f64 c (neg.f64 a))) 3)) 1/8 (-.f64 (.f64 (.f64 (/.f64 b_2 (sqrt.f64 (.f64 c (neg.f64 a)))) b_2) -1/2) (sqrt.f64 (*.f64 c (neg.f64 a))))) b_2)
(*.f64 -2 b_2)
(*.f64 b_2 -2)
(+.f64 (.f64 -2 b_2) (.f64 1/2 (/.f64 (*.f64 c a) b_2)))
(fma.f64 -2 b_2 (*.f64 1/2 (/.f64 c (/.f64 b_2 a))))
(fma.f64 1/2 (.f64 (/.f64 c b_2) a) (.f64 b_2 -2))
(+.f64 (.f64 -2 b_2) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 (*.f64 c a) b_2))))
(fma.f64 -2 b_2 (fma.f64 1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) (.f64 a a))) (*.f64 1/2 (/.f64 c (/.f64 b_2 a)))))
(fma.f64 b_2 -2 (fma.f64 1/2 (.f64 (/.f64 c b_2) a) (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) (*.f64 a a)) 1/8)))
(fma.f64 1/2 (.f64 (/.f64 c b_2) a) (fma.f64 b_2 -2 (.f64 (.f64 (.f64 (/.f64 (*.f64 c c) (pow.f64 b_2 3)) a) a) 1/8)))
(+.f64 (.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -2 b_2) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 (*.f64 c a) b_2)))))
(fma.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5)) (fma.f64 -2 b_2 (fma.f64 1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) (.f64 a a))) (.f64 1/2 (/.f64 c (/.f64 b_2 a))))))
(fma.f64 1/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b_2 5) (pow.f64 a 3))) (fma.f64 b_2 -2 (fma.f64 1/2 (.f64 (/.f64 c b_2) a) (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) (*.f64 a a)) 1/8))))
(fma.f64 1/16 (.f64 (/.f64 (pow.f64 c 3) (pow.f64 b_2 5)) (pow.f64 a 3)) (fma.f64 1/2 (.f64 (/.f64 c b_2) a) (fma.f64 b_2 -2 (.f64 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) a) 1/8))))
(.f64 -1/2 (/.f64 (.f64 c a) b_2))
(*.f64 -1/2 (/.f64 c (/.f64 b_2 a)))
(.f64 -1/2 (.f64 (/.f64 c b_2) a))
(+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 -1/2 (/.f64 (.f64 c a) b_2)))
(fma.f64 -1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) (.f64 a a))) (*.f64 -1/2 (/.f64 c (/.f64 b_2 a))))
(fma.f64 -1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) (.f64 a a)) (.f64 -1/2 (*.f64 (/.f64 c b_2) a)))
(fma.f64 -1/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) a) (.f64 -1/2 (*.f64 (/.f64 c b_2) a)))
(+.f64 (.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 -1/2 (/.f64 (.f64 c a) b_2))))
(fma.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5)) (fma.f64 -1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) (.f64 a a))) (.f64 -1/2 (/.f64 c (/.f64 b_2 a)))))
(fma.f64 -1/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b_2 5) (pow.f64 a 3))) (fma.f64 -1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) (.f64 a a)) (.f64 -1/2 (*.f64 (/.f64 c b_2) a))))
(fma.f64 -1/2 (.f64 (/.f64 c b_2) a) (fma.f64 -1/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) a) (/.f64 (*.f64 (pow.f64 a 3) -1/16) (/.f64 (pow.f64 b_2 5) (pow.f64 c 3)))))
(+.f64 (.f64 -1/2 (/.f64 (+.f64 (.f64 1/16 (.f64 (pow.f64 c 4) (pow.f64 a 4))) (pow.f64 (.f64 -1/8 (.f64 (pow.f64 c 2) (pow.f64 a 2))) 2)) (pow.f64 b_2 7))) (+.f64 (.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 -1/2 (/.f64 (*.f64 c a) b_2)))))
(fma.f64 -1/2 (/.f64 (fma.f64 1/16 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 (.f64 -1/8 (.f64 (.f64 c c) (.f64 a a))) 2)) (pow.f64 b_2 7)) (fma.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5)) (fma.f64 -1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) (.f64 a a))) (*.f64 -1/2 (/.f64 c (/.f64 b_2 a))))))
(fma.f64 -1/2 (/.f64 (fma.f64 1/16 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) 1/64)) (pow.f64 b_2 7)) (fma.f64 -1/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b_2 5) (pow.f64 a 3))) (fma.f64 -1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) (.f64 a a)) (.f64 -1/2 (.f64 (/.f64 c b_2) a)))))
(fma.f64 -1/2 (/.f64 (.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) 5/64) (pow.f64 b_2 7)) (fma.f64 -1/2 (.f64 (/.f64 c b_2) a) (fma.f64 -1/8 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) a) (/.f64 (*.f64 (pow.f64 a 3) -1/16) (/.f64 (pow.f64 b_2 5) (pow.f64 c 3))))))
(*.f64 -2 b_2)
(*.f64 b_2 -2)
(+.f64 (.f64 -2 b_2) (.f64 1/2 (/.f64 (*.f64 c a) b_2)))
(fma.f64 -2 b_2 (*.f64 1/2 (/.f64 c (/.f64 b_2 a))))
(fma.f64 1/2 (.f64 (/.f64 c b_2) a) (.f64 b_2 -2))
(+.f64 (.f64 -2 b_2) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 (*.f64 c a) b_2))))
(fma.f64 -2 b_2 (fma.f64 1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) (.f64 a a))) (*.f64 1/2 (/.f64 c (/.f64 b_2 a)))))
(fma.f64 b_2 -2 (fma.f64 1/2 (.f64 (/.f64 c b_2) a) (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) (*.f64 a a)) 1/8)))
(fma.f64 1/2 (.f64 (/.f64 c b_2) a) (fma.f64 b_2 -2 (.f64 (.f64 (.f64 (/.f64 (*.f64 c c) (pow.f64 b_2 3)) a) a) 1/8)))
(+.f64 (.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -2 b_2) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 (*.f64 c a) b_2)))))
(fma.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5)) (fma.f64 -2 b_2 (fma.f64 1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) (.f64 a a))) (.f64 1/2 (/.f64 c (/.f64 b_2 a))))))
(fma.f64 1/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b_2 5) (pow.f64 a 3))) (fma.f64 b_2 -2 (fma.f64 1/2 (.f64 (/.f64 c b_2) a) (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) (*.f64 a a)) 1/8))))
(fma.f64 1/16 (.f64 (/.f64 (pow.f64 c 3) (pow.f64 b_2 5)) (pow.f64 a 3)) (fma.f64 1/2 (.f64 (/.f64 c b_2) a) (fma.f64 b_2 -2 (.f64 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) a) 1/8))))
(*.f64 -2 b_2)
(*.f64 b_2 -2)
(+.f64 (.f64 -2 b_2) (.f64 1/2 (/.f64 (*.f64 c a) b_2)))
(fma.f64 -2 b_2 (*.f64 1/2 (/.f64 c (/.f64 b_2 a))))
(fma.f64 1/2 (.f64 (/.f64 c b_2) a) (.f64 b_2 -2))
(+.f64 (.f64 -2 b_2) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 (*.f64 c a) b_2))))
(fma.f64 -2 b_2 (fma.f64 1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) (.f64 a a))) (*.f64 1/2 (/.f64 c (/.f64 b_2 a)))))
(fma.f64 b_2 -2 (fma.f64 1/2 (.f64 (/.f64 c b_2) a) (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) (*.f64 a a)) 1/8)))
(fma.f64 1/2 (.f64 (/.f64 c b_2) a) (fma.f64 b_2 -2 (.f64 (.f64 (.f64 (/.f64 (*.f64 c c) (pow.f64 b_2 3)) a) a) 1/8)))
(+.f64 (.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5))) (+.f64 (.f64 -2 b_2) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 (*.f64 c a) b_2)))))
(fma.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b_2 5)) (fma.f64 -2 b_2 (fma.f64 1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) (.f64 a a))) (.f64 1/2 (/.f64 c (/.f64 b_2 a))))))
(fma.f64 1/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b_2 5) (pow.f64 a 3))) (fma.f64 b_2 -2 (fma.f64 1/2 (.f64 (/.f64 c b_2) a) (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) (*.f64 a a)) 1/8))))
(fma.f64 1/16 (.f64 (/.f64 (pow.f64 c 3) (pow.f64 b_2 5)) (pow.f64 a 3)) (fma.f64 1/2 (.f64 (/.f64 c b_2) a) (fma.f64 b_2 -2 (.f64 (.f64 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) a) 1/8))))
(.f64 -1 (.f64 c a))
(*.f64 c (neg.f64 a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(pow.f64 b_2 2)
(*.f64 b_2 b_2)
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(pow.f64 b_2 2)
(*.f64 b_2 b_2)
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(pow.f64 b_2 2)
(*.f64 b_2 b_2)
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(.f64 -1 (.f64 c a))
(*.f64 c (neg.f64 a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(.f64 -1 (.f64 c a))
(*.f64 c (neg.f64 a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(pow.f64 b_2 2)
(*.f64 b_2 b_2)
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(.f64 -1 (.f64 c a))
(*.f64 c (neg.f64 a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(.f64 -1 (.f64 c a))
(*.f64 c (neg.f64 a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(+.f64 (.f64 -1 (.f64 c a)) (pow.f64 b_2 2))
(fma.f64 -1 (.f64 c a) (.f64 b_2 b_2))
(-.f64 (.f64 b_2 b_2) (.f64 c a))
(.f64 -1 (/.f64 (sqrt.f64 (neg.f64 (.f64 c a))) a))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 c (neg.f64 a)))) a)
(+.f64 (.f64 -1 (/.f64 (sqrt.f64 (neg.f64 (.f64 c a))) a)) (*.f64 -1 (/.f64 b_2 a)))
(fma.f64 -1 (/.f64 (sqrt.f64 (*.f64 c (neg.f64 a))) a) (/.f64 (neg.f64 b_2) a))
(-.f64 (/.f64 (neg.f64 b_2) a) (/.f64 (sqrt.f64 (*.f64 c (neg.f64 a))) a))
(+.f64 (.f64 -1/2 (/.f64 (pow.f64 b_2 2) (.f64 (sqrt.f64 (neg.f64 (.f64 c a))) a))) (+.f64 (.f64 -1 (/.f64 (sqrt.f64 (neg.f64 (.f64 c a))) a)) (.f64 -1 (/.f64 b_2 a))))
(fma.f64 -1/2 (/.f64 (.f64 b_2 b_2) (.f64 a (sqrt.f64 (.f64 c (neg.f64 a))))) (fma.f64 -1 (/.f64 (sqrt.f64 (.f64 c (neg.f64 a))) a) (/.f64 (neg.f64 b_2) a)))
(fma.f64 -1/2 (.f64 (/.f64 b_2 a) (/.f64 b_2 (sqrt.f64 (.f64 c (neg.f64 a))))) (-.f64 (/.f64 (neg.f64 b_2) a) (/.f64 (sqrt.f64 (*.f64 c (neg.f64 a))) a)))
(-.f64 (.f64 -1/2 (/.f64 (/.f64 (.f64 b_2 b_2) a) (sqrt.f64 (.f64 c (neg.f64 a))))) (+.f64 (/.f64 (sqrt.f64 (.f64 c (neg.f64 a))) a) (/.f64 b_2 a)))
(+.f64 (.f64 -1/2 (/.f64 (pow.f64 b_2 2) (.f64 (sqrt.f64 (neg.f64 (.f64 c a))) a))) (+.f64 (.f64 1/8 (/.f64 (pow.f64 b_2 4) (.f64 (pow.f64 (sqrt.f64 (neg.f64 (.f64 c a))) 3) a))) (+.f64 (.f64 -1 (/.f64 (sqrt.f64 (neg.f64 (.f64 c a))) a)) (*.f64 -1 (/.f64 b_2 a)))))
(fma.f64 -1/2 (/.f64 (.f64 b_2 b_2) (.f64 a (sqrt.f64 (.f64 c (neg.f64 a))))) (fma.f64 1/8 (/.f64 (pow.f64 b_2 4) (.f64 a (pow.f64 (sqrt.f64 (.f64 c (neg.f64 a))) 3))) (fma.f64 -1 (/.f64 (sqrt.f64 (.f64 c (neg.f64 a))) a) (/.f64 (neg.f64 b_2) a))))
(fma.f64 -1/2 (.f64 (/.f64 b_2 a) (/.f64 b_2 (sqrt.f64 (.f64 c (neg.f64 a))))) (-.f64 (-.f64 (.f64 (/.f64 1/8 (pow.f64 (sqrt.f64 (.f64 c (neg.f64 a))) 3)) (/.f64 (pow.f64 b_2 4) a)) (/.f64 (sqrt.f64 (*.f64 c (neg.f64 a))) a)) (/.f64 b_2 a)))
(-.f64 (fma.f64 (/.f64 1/8 (pow.f64 (sqrt.f64 (.f64 c (neg.f64 a))) 3)) (/.f64 (pow.f64 b_2 4) a) (.f64 -1/2 (/.f64 (/.f64 (.f64 b_2 b_2) a) (sqrt.f64 (.f64 c (neg.f64 a)))))) (+.f64 (/.f64 (sqrt.f64 (*.f64 c (neg.f64 a))) a) (/.f64 b_2 a)))
(*.f64 -2 (/.f64 b_2 a))
(*.f64 (/.f64 -2 a) b_2)
(+.f64 (.f64 -2 (/.f64 b_2 a)) (.f64 1/2 (/.f64 c b_2)))
(fma.f64 -2 (/.f64 b_2 a) (*.f64 1/2 (/.f64 c b_2)))
(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
(fma.f64 1/2 (/.f64 c b_2) (*.f64 (/.f64 -2 a) b_2))
(+.f64 (.f64 -2 (/.f64 b_2 a)) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 c b_2))))
(fma.f64 -2 (/.f64 b_2 a) (fma.f64 1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) a)) (.f64 1/2 (/.f64 c b_2))))
(fma.f64 -2 (/.f64 b_2 a) (fma.f64 1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) (*.f64 1/2 (/.f64 c b_2))))
(fma.f64 1/2 (/.f64 c b_2) (fma.f64 1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) (*.f64 (/.f64 -2 a) b_2)))
(+.f64 (.f64 -2 (/.f64 b_2 a)) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (+.f64 (.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b_2 5))) (.f64 1/2 (/.f64 c b_2)))))
(fma.f64 -2 (/.f64 b_2 a) (fma.f64 1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) a)) (fma.f64 1/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b_2 5) (.f64 a a))) (*.f64 1/2 (/.f64 c b_2)))))
(fma.f64 -2 (/.f64 b_2 a) (fma.f64 1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) (fma.f64 1/2 (/.f64 c b_2) (/.f64 (.f64 (.f64 1/16 (*.f64 a a)) (pow.f64 c 3)) (pow.f64 b_2 5)))))
(fma.f64 -2 (/.f64 b_2 a) (fma.f64 1/2 (/.f64 c b_2) (fma.f64 1/16 (.f64 (/.f64 (.f64 a a) (pow.f64 b_2 5)) (pow.f64 c 3)) (.f64 1/8 (.f64 (/.f64 (*.f64 c c) (pow.f64 b_2 3)) a)))))
(*.f64 -1/2 (/.f64 c b_2))
(+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (*.f64 -1/2 (/.f64 c b_2)))
(fma.f64 -1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) a)) (.f64 -1/2 (/.f64 c b_2)))
(fma.f64 -1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) (*.f64 -1/2 (/.f64 c b_2)))
(+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (+.f64 (.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b_2 5))) (*.f64 -1/2 (/.f64 c b_2))))
(fma.f64 -1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) a)) (fma.f64 -1/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b_2 5) (.f64 a a))) (*.f64 -1/2 (/.f64 c b_2))))
(fma.f64 -1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) (fma.f64 -1/2 (/.f64 c b_2) (.f64 -1/16 (.f64 (/.f64 (pow.f64 c 3) (pow.f64 b_2 5)) (*.f64 a a)))))
(fma.f64 -1/2 (/.f64 c b_2) (fma.f64 -1/16 (.f64 (/.f64 (.f64 a a) (pow.f64 b_2 5)) (pow.f64 c 3)) (.f64 -1/8 (.f64 (/.f64 (*.f64 c c) (pow.f64 b_2 3)) a))))
(+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (+.f64 (.f64 -1/2 (/.f64 (+.f64 (.f64 1/16 (.f64 (pow.f64 c 4) (pow.f64 a 4))) (pow.f64 (.f64 -1/8 (.f64 (pow.f64 c 2) (pow.f64 a 2))) 2)) (.f64 a (pow.f64 b_2 7)))) (+.f64 (.f64 -1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b_2 5))) (*.f64 -1/2 (/.f64 c b_2)))))
(fma.f64 -1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) a)) (fma.f64 -1/2 (/.f64 (fma.f64 1/16 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 (.f64 -1/8 (.f64 (.f64 c c) (.f64 a a))) 2)) (.f64 a (pow.f64 b_2 7))) (fma.f64 -1/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b_2 5) (.f64 a a))) (*.f64 -1/2 (/.f64 c b_2)))))
(fma.f64 -1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) (fma.f64 -1/2 (/.f64 (fma.f64 1/16 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) 1/64)) (.f64 a (pow.f64 b_2 7))) (fma.f64 -1/2 (/.f64 c b_2) (.f64 -1/16 (.f64 (/.f64 (pow.f64 c 3) (pow.f64 b_2 5)) (*.f64 a a))))))
(fma.f64 -1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) (fma.f64 -1/16 (.f64 (/.f64 (.f64 a a) (pow.f64 b_2 5)) (pow.f64 c 3)) (.f64 -1/2 (+.f64 (/.f64 c b_2) (/.f64 (.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) 5/64) (.f64 a (pow.f64 b_2 7)))))))
(*.f64 -2 (/.f64 b_2 a))
(*.f64 (/.f64 -2 a) b_2)
(+.f64 (.f64 -2 (/.f64 b_2 a)) (.f64 1/2 (/.f64 c b_2)))
(fma.f64 -2 (/.f64 b_2 a) (*.f64 1/2 (/.f64 c b_2)))
(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
(fma.f64 1/2 (/.f64 c b_2) (*.f64 (/.f64 -2 a) b_2))
(+.f64 (.f64 -2 (/.f64 b_2 a)) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 c b_2))))
(fma.f64 -2 (/.f64 b_2 a) (fma.f64 1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) a)) (.f64 1/2 (/.f64 c b_2))))
(fma.f64 -2 (/.f64 b_2 a) (fma.f64 1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) (*.f64 1/2 (/.f64 c b_2))))
(fma.f64 1/2 (/.f64 c b_2) (fma.f64 1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) (*.f64 (/.f64 -2 a) b_2)))
(+.f64 (.f64 -2 (/.f64 b_2 a)) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (+.f64 (.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b_2 5))) (.f64 1/2 (/.f64 c b_2)))))
(fma.f64 -2 (/.f64 b_2 a) (fma.f64 1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) a)) (fma.f64 1/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b_2 5) (.f64 a a))) (*.f64 1/2 (/.f64 c b_2)))))
(fma.f64 -2 (/.f64 b_2 a) (fma.f64 1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) (fma.f64 1/2 (/.f64 c b_2) (/.f64 (.f64 (.f64 1/16 (*.f64 a a)) (pow.f64 c 3)) (pow.f64 b_2 5)))))
(fma.f64 -2 (/.f64 b_2 a) (fma.f64 1/2 (/.f64 c b_2) (fma.f64 1/16 (.f64 (/.f64 (.f64 a a) (pow.f64 b_2 5)) (pow.f64 c 3)) (.f64 1/8 (.f64 (/.f64 (*.f64 c c) (pow.f64 b_2 3)) a)))))
(*.f64 -2 (/.f64 b_2 a))
(*.f64 (/.f64 -2 a) b_2)
(+.f64 (.f64 -2 (/.f64 b_2 a)) (.f64 1/2 (/.f64 c b_2)))
(fma.f64 -2 (/.f64 b_2 a) (*.f64 1/2 (/.f64 c b_2)))
(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
(fma.f64 1/2 (/.f64 c b_2) (*.f64 (/.f64 -2 a) b_2))
(+.f64 (.f64 -2 (/.f64 b_2 a)) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (.f64 1/2 (/.f64 c b_2))))
(fma.f64 -2 (/.f64 b_2 a) (fma.f64 1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) a)) (.f64 1/2 (/.f64 c b_2))))
(fma.f64 -2 (/.f64 b_2 a) (fma.f64 1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) (*.f64 1/2 (/.f64 c b_2))))
(fma.f64 1/2 (/.f64 c b_2) (fma.f64 1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) (*.f64 (/.f64 -2 a) b_2)))
(+.f64 (.f64 -2 (/.f64 b_2 a)) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 c 2) a) (pow.f64 b_2 3))) (+.f64 (.f64 1/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 2)) (pow.f64 b_2 5))) (.f64 1/2 (/.f64 c b_2)))))
(fma.f64 -2 (/.f64 b_2 a) (fma.f64 1/8 (/.f64 (.f64 c c) (/.f64 (pow.f64 b_2 3) a)) (fma.f64 1/16 (/.f64 (pow.f64 c 3) (/.f64 (pow.f64 b_2 5) (.f64 a a))) (*.f64 1/2 (/.f64 c b_2)))))
(fma.f64 -2 (/.f64 b_2 a) (fma.f64 1/8 (.f64 (/.f64 (.f64 c c) (pow.f64 b_2 3)) a) (fma.f64 1/2 (/.f64 c b_2) (/.f64 (.f64 (.f64 1/16 (*.f64 a a)) (pow.f64 c 3)) (pow.f64 b_2 5)))))
(fma.f64 -2 (/.f64 b_2 a) (fma.f64 1/2 (/.f64 c b_2) (fma.f64 1/16 (.f64 (/.f64 (.f64 a a) (pow.f64 b_2 5)) (pow.f64 c 3)) (.f64 1/8 (.f64 (/.f64 (*.f64 c c) (pow.f64 b_2 3)) a)))))

prune231.0ms (4.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	261	7	268
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	261	8	269

Error

3.6b

Counts

269 → 8

Alt Table

Status	Error	Program
	47.7b	(/.f64 (/.f64 (+.f64 (fma.f64 b_2 b_2 (.f64 b_2 b_2)) (.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) a)
	47.1b	(pow.f64 (/.f64 a (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) -1)
	47.4b	(pow.f64 (cbrt.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)) 3)
▶	39.8b	(*.f64 -1/2 (/.f64 c b_2))
	42.2b	(/.f64 (-.f64 (neg.f64 b_2) b_2) a)
	47.2b	(-.f64 (.f64 -1/2 (/.f64 (/.f64 (.f64 b_2 b_2) a) (sqrt.f64 (.f64 c (neg.f64 a))))) (+.f64 (/.f64 (sqrt.f64 (.f64 c (neg.f64 a))) a) (/.f64 b_2 a)))
	42.3b	(/.f64 (fma.f64 1/2 (.f64 (/.f64 c b_2) a) (.f64 b_2 -2)) a)
✓	33.1b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)

Compiler

Compiled 6084 to 2027 computations (66.7% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 -1/2 (/.f64 c b_2))

series4.0ms (0.1%)

Counts

1 → 0

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	c	@	0	(*.f64 -1/2 (/.f64 c b_2))
1.0ms	c	@	inf	(*.f64 -1/2 (/.f64 c b_2))
1.0ms	b_2	@	inf	(*.f64 -1/2 (/.f64 c b_2))
1.0ms	b_2	@	0	(*.f64 -1/2 (/.f64 c b_2))
1.0ms	c	@	-inf	(*.f64 -1/2 (/.f64 c b_2))

rewrite50.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

653×	`pow1_binary64`
606×	`add-log-exp_binary64`
606×	`log1p-expm1-u_binary64`
606×	`expm1-log1p-u_binary64`
64×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	127	7
2	1610	7

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

Inputs
(*.f64 -1/2 (/.f64 c b_2))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (.f64 -1/2 c) b_2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1/2 (/.f64 b_2 c))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 b_2 (.f64 -1/2 c)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 -1/2 c) b_2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 -1/2 c)) (neg.f64 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 -1/2 c) 1) b_2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) 2)) (cbrt.f64 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 -1/2 c) (sqrt.f64 b_2)) (sqrt.f64 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 c) -1/2) (neg.f64 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 -1/2 (neg.f64 c)) (neg.f64 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (.f64 -1/2 c) b_2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (.f64 -1/2 c) b_2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (.f64 -1/2 c) b_2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (.f64 -1/2 c) b_2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (.f64 -1/2 c) b_2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 -1/2) (/.f64 c b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (.f64 -1/2 c) b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (.f64 -1/2 c) b_2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (.f64 -1/2 c) b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (.f64 -1/2 c) b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (*.f64 -1/2 c) b_2)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (*.f64 -1/2 c) b_2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1/2 (/.f64 b_2 c))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 b_2 (*.f64 -1/2 c)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -1/2 c) b_2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 -1/2 c)) (neg.f64 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 -1/2 c) 1) b_2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) 2)) (cbrt.f64 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 -1/2 c) (sqrt.f64 b_2)) (sqrt.f64 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 c) -1/2) (neg.f64 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -1/2 (neg.f64 c)) (neg.f64 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (*.f64 -1/2 c) b_2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (*.f64 -1/2 c) b_2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (*.f64 -1/2 c) b_2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (*.f64 -1/2 c) b_2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (*.f64 -1/2 c) b_2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 -1/2) (/.f64 c b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (*.f64 -1/2 c) b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (*.f64 -1/2 c) b_2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (*.f64 -1/2 c) b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (*.f64 -1/2 c) b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (*.f64 -1/2 c) b_2)))))))

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

21 → 21

Calls

Call 1

Inputs

Outputs

prune28.0ms (0.5%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	18	3	21
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	18	11	29

Error

3.6b

Counts

29 → 11

Alt Table

Status	Error	Program
	47.7b	(/.f64 (/.f64 (+.f64 (fma.f64 b_2 b_2 (.f64 b_2 b_2)) (.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) a)
	47.1b	(pow.f64 (/.f64 a (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) -1)
	47.4b	(pow.f64 (cbrt.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)) 3)
✓	39.8b	(*.f64 -1/2 (/.f64 c b_2))
	42.2b	(/.f64 (-.f64 (neg.f64 b_2) b_2) a)
	47.2b	(-.f64 (.f64 -1/2 (/.f64 (/.f64 (.f64 b_2 b_2) a) (sqrt.f64 (.f64 c (neg.f64 a))))) (+.f64 (/.f64 (sqrt.f64 (.f64 c (neg.f64 a))) a) (/.f64 b_2 a)))
	42.3b	(/.f64 (fma.f64 1/2 (.f64 (/.f64 c b_2) a) (.f64 b_2 -2)) a)
	41.7b	(expm1.f64 (log1p.f64 (/.f64 (*.f64 -1/2 c) b_2)))
	48.9b	(cbrt.f64 (pow.f64 (/.f64 (*.f64 -1/2 c) b_2) 3))
▶	40.2b	(/.f64 (/.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) 2)) (cbrt.f64 b_2))
✓	33.1b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)

Compiler

Compiled 482 to 315 computations (34.6% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) 2))
✓	0.3b	(/.f64 (/.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) 2)) (cbrt.f64 b_2))
✓	0.5b	(pow.f64 (cbrt.f64 b_2) 2)
✓	0.6b	(cbrt.f64 b_2)

series34.0ms (0.6%)

Counts

4 → 36

Calls

18 calls:

Time	Variable		Point	Expression
13.0ms	b_2	@	-inf	(cbrt.f64 b_2)
6.0ms	c	@	0	(/.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) 2))
4.0ms	b_2	@	-inf	(/.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) 2))
3.0ms	b_2	@	-inf	(/.f64 (/.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) 2)) (cbrt.f64 b_2))
2.0ms	b_2	@	-inf	(pow.f64 (cbrt.f64 b_2) 2)

rewrite57.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

537×	`log-prod_binary64`
180×	`expm1-udef_binary64`
180×	`log1p-udef_binary64`
156×	`log-div_binary64`
153×	`log-pow_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	217	28
2	2848	28

Stop Event

1×	node limit

Counts

4 → 138

Calls

Call 1

Inputs
(cbrt.f64 b_2)
(pow.f64 (cbrt.f64 b_2) 2)
(/.f64 (/.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) 2)) (cbrt.f64 b_2))
(/.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) 2))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (cbrt.f64 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cbrt.f64 b_2))) (cbrt.f64 (exp.f64 (cbrt.f64 b_2))))) (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 b_2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 b_2)))) (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 b_2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cbrt.f64 b_2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 b_2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cbrt.f64 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2) (cbrt.f64 (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 b_2)) (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 b_2 1/6) (pow.f64 b_2 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cbrt.f64 (.f64 b_2 (cbrt.f64 b_2)))) (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 1 1/3) (cbrt.f64 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (sqrt.f64 b_2) 1/3) (pow.f64 (sqrt.f64 b_2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 b_2 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 b_2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 b_2) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 b_2 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 b_2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (cbrt.f64 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 b_2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (cbrt.f64 b_2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 b_2)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (cbrt.f64 b_2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 b_2) 2))) (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 b_2) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 b_2) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (cbrt.f64 b_2) 2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (cbrt.f64 b_2) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (cbrt.f64 b_2) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 b_2) (cbrt.f64 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 b_2) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (cbrt.f64 b_2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2) (cbrt.f64 (.f64 b_2 (cbrt.f64 b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2) (.f64 (cbrt.f64 (cbrt.f64 b_2)) (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 b_2 (cbrt.f64 b_2))) (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 b_2) (pow.f64 b_2 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 b_2 1/6) (.f64 (pow.f64 b_2 1/6) (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 b_2) (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2)) (cbrt.f64 (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 b_2 (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (cbrt.f64 b_2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (cbrt.f64 b_2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 b_2 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 b_2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 2/3 (log.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 2/3 (log.f64 b_2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 b_2) 2)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 -1/2 (/.f64 b_2 c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 -1/2 (/.f64 b_2 c)))) (cbrt.f64 (exp.f64 (/.f64 -1/2 (/.f64 b_2 c)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 -1/2 (/.f64 b_2 c))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 -1/2 (/.f64 b_2 c))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 -1/2 (/.f64 b_2 c))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 -1/2 (/.f64 b_2 c)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 -1/2 c) (/.f64 1 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 -1/2 c) (.f64 (pow.f64 (cbrt.f64 b_2) -2) (/.f64 1 (cbrt.f64 b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))) (/.f64 1 (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 -1/2 (/.f64 b_2 c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 -1/2 (/.f64 b_2 c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 (.f64 1/4 (.f64 c c)) (.f64 b_2 (cbrt.f64 b_2)))) (.f64 (cbrt.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2)))) (/.f64 1 (cbrt.f64 b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 -1/2 (/.f64 b_2 c))) (pow.f64 (cbrt.f64 (/.f64 -1/2 (/.f64 b_2 c))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (/.f64 -1/2 (/.f64 b_2 c))) 2) (cbrt.f64 (/.f64 -1/2 (/.f64 b_2 c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (.f64 -1/2 c)) (cbrt.f64 b_2)) (/.f64 (sqrt.f64 (.f64 -1/2 c)) (pow.f64 (cbrt.f64 b_2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (.f64 -1/2 c)) (cbrt.f64 b_2)) (.f64 (/.f64 (sqrt.f64 (.f64 -1/2 c)) (cbrt.f64 b_2)) (/.f64 1 (cbrt.f64 b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 -1/2 (/.f64 b_2 c))) (sqrt.f64 (/.f64 -1/2 (/.f64 b_2 c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 c 1/2) (pow.f64 (cbrt.f64 b_2) -2)) (/.f64 1 (neg.f64 (cbrt.f64 b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (cbrt.f64 b_2)) (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 -1/2 (cbrt.f64 b_2)) (/.f64 c (pow.f64 (cbrt.f64 b_2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 c (cbrt.f64 b_2)) (/.f64 -1/2 (pow.f64 (cbrt.f64 b_2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (.f64 1/4 (.f64 c c))) (cbrt.f64 b_2)) (/.f64 (cbrt.f64 (.f64 -1/2 c)) (pow.f64 (cbrt.f64 b_2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 -1/2 c) (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2)) (/.f64 (pow.f64 (cbrt.f64 b_2) -2) (cbrt.f64 (cbrt.f64 b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 -1/2 c) 1) (/.f64 (pow.f64 (cbrt.f64 b_2) -2) (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (/.f64 (.f64 1/4 (.f64 c c)) (.f64 b_2 (cbrt.f64 b_2)))) 1) (/.f64 (cbrt.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2)))) (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 (sqrt.f64 (.f64 -1/2 c)) (cbrt.f64 b_2)) 1) (/.f64 (/.f64 (sqrt.f64 (.f64 -1/2 c)) (cbrt.f64 b_2)) (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2)) (/.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))) (cbrt.f64 (cbrt.f64 b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (/.f64 (.f64 1/4 (.f64 c c)) (.f64 b_2 (cbrt.f64 b_2)))) (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2)) (cbrt.f64 (/.f64 -1/2 (/.f64 b_2 c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 (sqrt.f64 (.f64 -1/2 c)) (cbrt.f64 b_2)) (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2)) (/.f64 (/.f64 (sqrt.f64 (.f64 -1/2 c)) (cbrt.f64 b_2)) (cbrt.f64 (cbrt.f64 b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 -1/2 c) (pow.f64 b_2 1/6)) (/.f64 (pow.f64 (cbrt.f64 b_2) -2) (pow.f64 b_2 1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (pow.f64 b_2 1/6)) (/.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))) (pow.f64 b_2 1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (/.f64 (.f64 1/4 (.f64 c c)) (.f64 b_2 (cbrt.f64 b_2)))) (pow.f64 b_2 1/6)) (/.f64 (cbrt.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2)))) (pow.f64 b_2 1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 -1/2 (/.f64 b_2 c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 -1/2 (/.f64 b_2 c)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 -1/2 (/.f64 b_2 c))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 -1/2 (/.f64 b_2 c))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (/.f64 -1/2 (/.f64 b_2 c))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))) (neg.f64 (cbrt.f64 b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 -1/2 (/.f64 b_2 c)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 -1/2 (/.f64 b_2 c))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 -1/2 (/.f64 b_2 c)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 -1/2 (/.f64 b_2 c)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))) 3) b_2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 -1/2 (/.f64 b_2 c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 -1/2 (/.f64 b_2 c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (/.f64 -1/2 (/.f64 b_2 c))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 -1/2 (/.f64 b_2 c))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 -1/2) c) (pow.f64 (cbrt.f64 b_2) -2))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 -1/2) c) (pow.f64 (cbrt.f64 b_2) -2))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 -1/2) c) (pow.f64 (cbrt.f64 b_2) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 -1/2) c) (pow.f64 (cbrt.f64 b_2) -2)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 -1/2) c) (pow.f64 (cbrt.f64 b_2) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1/2 (/.f64 1 (/.f64 (pow.f64 (cbrt.f64 b_2) 2) c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1/2 (.f64 c (pow.f64 (cbrt.f64 b_2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 c (.f64 -1/2 (pow.f64 (cbrt.f64 b_2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 1/4 (.f64 c c))) (.f64 (cbrt.f64 (.f64 -1/2 c)) (pow.f64 (cbrt.f64 b_2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2)))) (cbrt.f64 (/.f64 (.f64 1/4 (.f64 c c)) (.f64 b_2 (cbrt.f64 b_2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 (.f64 1/4 (.f64 c c)) (.f64 b_2 (cbrt.f64 b_2)))) (cbrt.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 -1/2 c)) (.f64 (sqrt.f64 (.f64 -1/2 c)) (pow.f64 (cbrt.f64 b_2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (.f64 -1/2 c)) (cbrt.f64 b_2)) (/.f64 (sqrt.f64 (.f64 -1/2 c)) (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 c 1/2) (/.f64 1 (neg.f64 (pow.f64 (cbrt.f64 b_2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 b_2) -2) (.f64 -1/2 c))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (cbrt.f64 b_2)) (/.f64 (.f64 -1/2 c) (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 -1/2 (cbrt.f64 b_2)) (/.f64 c (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 c (cbrt.f64 b_2)) (/.f64 -1/2 (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (.f64 1/4 (.f64 c c))) (cbrt.f64 b_2)) (cbrt.f64 (/.f64 -1/2 (/.f64 b_2 c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 c 1) (/.f64 -1/2 (pow.f64 (cbrt.f64 b_2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 -1/2 (pow.f64 (cbrt.f64 b_2) 2)) c)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (.f64 1/4 (.f64 c c))) 1) (/.f64 (cbrt.f64 (.f64 -1/2 c)) (pow.f64 (cbrt.f64 b_2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (.f64 -1/2 c)) 1) (/.f64 (sqrt.f64 (.f64 -1/2 c)) (pow.f64 (cbrt.f64 b_2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 -1/2 (cbrt.f64 (.f64 b_2 (cbrt.f64 b_2)))) (/.f64 c (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 c (cbrt.f64 (.f64 b_2 (cbrt.f64 b_2)))) (/.f64 -1/2 (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (cbrt.f64 (.f64 b_2 (cbrt.f64 b_2)))) (/.f64 (.f64 -1/2 c) (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (.f64 1/4 (.f64 c c))) (cbrt.f64 (.f64 b_2 (cbrt.f64 b_2)))) (cbrt.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (.f64 -1/2 c)) (cbrt.f64 (.f64 b_2 (cbrt.f64 b_2)))) (/.f64 (sqrt.f64 (.f64 -1/2 c)) (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sqrt.f64 (.f64 -1/2 c)) (cbrt.f64 b_2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 -2 (/.f64 (pow.f64 (cbrt.f64 b_2) 2) c)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (.f64 -1/2 c) (neg.f64 (pow.f64 (cbrt.f64 b_2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 (.f64 1/4 (.f64 c c)) (.f64 b_2 (cbrt.f64 b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 -1/2) c) (pow.f64 (cbrt.f64 b_2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (.f64 -1/2 c) 3) (.f64 b_2 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (-.f64 (log.f64 (.f64 -1/2 c)) (.f64 2/3 (log.f64 b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (-.f64 (log.f64 (.f64 -1/2 c)) (.f64 2/3 (log.f64 b_2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2)))))))))

simplify44.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

521×	`associate-/r/_binary64`
458×	`associate-*r/_binary64`
450×	`unswap-sqr_binary64`
372×	`times-frac_binary64`
285×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	348
1	31	348
2	59	348
3	126	348
4	321	348
5	1057	348
6	2117	348
7	4076	348
8	4946	348

Stop Event

1×	node limit

Counts

174 → 142

Calls

Call 1

Inputs
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(*.f64 -1/2 (/.f64 c b_2))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))

Outputs
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(*.f64 -1/2 (/.f64 c b_2))
(/.f64 -1/2 (/.f64 b_2 c))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 -1/2 c))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 (/.f64 1 b_2) b_2))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 -1/2 c))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 (/.f64 1 b_2) b_2))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 -1/2 c))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 (/.f64 1 b_2) b_2))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 -1/2 c))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 (/.f64 1 b_2) b_2))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 -1/2 c))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 (/.f64 1 b_2) b_2))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 -1/2 c))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 (/.f64 1 b_2) b_2))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 -1/2 c))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 (/.f64 1 b_2) b_2))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 -1/2 c))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 (/.f64 1 b_2) b_2))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 -1/2 c))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 (/.f64 1 b_2) b_2))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 -1/2 c))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 (/.f64 1 b_2) b_2))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 -1/2 c))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 (/.f64 1 b_2) b_2))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 -1/2 c))
(.f64 -1/2 (.f64 c (cbrt.f64 (/.f64 (/.f64 1 b_2) b_2))))

prune93.0ms (1.8%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	165	3	168
Fresh	1	7	8
Picked	1	0	1
Done	0	2	2
Total	167	12	179

Error

3.6b

Counts

179 → 12

Alt Table

Status	Error	Program
	47.7b	(/.f64 (/.f64 (+.f64 (fma.f64 b_2 b_2 (.f64 b_2 b_2)) (.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) a)
	47.1b	(pow.f64 (/.f64 a (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) -1)
	52.2b	(.f64 (/.f64 (sqrt.f64 (.f64 -1/2 c)) (cbrt.f64 b_2)) (/.f64 (sqrt.f64 (*.f64 -1/2 c)) (pow.f64 (cbrt.f64 b_2) 2)))
	47.4b	(pow.f64 (cbrt.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)) 3)
✓	39.8b	(*.f64 -1/2 (/.f64 c b_2))
	42.2b	(/.f64 (-.f64 (neg.f64 b_2) b_2) a)
	47.2b	(-.f64 (.f64 -1/2 (/.f64 (/.f64 (.f64 b_2 b_2) a) (sqrt.f64 (.f64 c (neg.f64 a))))) (+.f64 (/.f64 (sqrt.f64 (.f64 c (neg.f64 a))) a) (/.f64 b_2 a)))
	41.0b	(/.f64 (/.f64 (*.f64 -1/2 c) (expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 b_2) 2)))) (cbrt.f64 b_2))
	42.3b	(/.f64 (fma.f64 1/2 (.f64 (/.f64 c b_2) a) (.f64 b_2 -2)) a)
	41.7b	(expm1.f64 (log1p.f64 (/.f64 (*.f64 -1/2 c) b_2)))
▶	40.3b	(/.f64 (pow.f64 (cbrt.f64 (*.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2)))) 3) (cbrt.f64 b_2))
✓	33.1b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)

Compiler

Compiled 2879 to 1689 computations (41.3% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(pow.f64 (cbrt.f64 b_2) 2)
	0.6b	(cbrt.f64 b_2)
✓	0.6b	(pow.f64 (cbrt.f64 (*.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2)))) 3)
✓	10.0b	(cbrt.f64 (*.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))))

series73.0ms (1.4%)

Counts

2 → 24

Calls

12 calls:

Time	Variable		Point	Expression
46.0ms	b_2	@	0	(cbrt.f64 (*.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))))
8.0ms	b_2	@	inf	(cbrt.f64 (*.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))))
3.0ms	c	@	0	(cbrt.f64 (*.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))))
3.0ms	b_2	@	-inf	(cbrt.f64 (*.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))))
3.0ms	c	@	0	(pow.f64 (cbrt.f64 (*.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2)))) 3)

rewrite58.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

476×	`log-prod_binary64`
256×	`pow2_binary64`
180×	`expm1-udef_binary64`
180×	`log1p-udef_binary64`
177×	`pow1/3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	256	26
2	2675	26

Stop Event

1×	node limit

Counts

2 → 69

Calls

Call 1

Inputs
(cbrt.f64 (*.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2))))
(pow.f64 (cbrt.f64 (*.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 b_2) 2)))) 3)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))))) 2)) (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))))) (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 c (pow.f64 (cbrt.f64 b_2) -2))) (cbrt.f64 -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 c (pow.f64 (cbrt.f64 b_2) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))) 2) (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (sqrt.f64 (*.f64 -1/2 c)) (cbrt.f64 b_2))) (cbrt.f64 (/.f64 (sqrt.f64 (*.f64 -1/2 c)) (cbrt.f64 b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (*.f64 -1/2 c)) (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (sqrt.f64 (*.f64 -1/2 c)) (cbrt.f64 b_2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1/2 c)) (*.f64 2/3 (log.f64 b_2))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 c) (pow.f64 (cbrt.f64 b_2) -2)) -1/2)) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 c) (pow.f64 (cbrt.f64 b_2) -2)) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 c) (pow.f64 (cbrt.f64 b_2) -2)) -1/2))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 c) (pow.f64 (cbrt.f64 b_2) -2)) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (*.f64 c (pow.f64 (cbrt.f64 b_2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 c (*.f64 (pow.f64 (cbrt.f64 b_2) -2) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 c (pow.f64 (cbrt.f64 b_2) -2)) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))) (pow.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))) 2) (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 c (pow.f64 (cbrt.f64 b_2) -2))) 2) (*.f64 (cbrt.f64 (*.f64 c (pow.f64 (cbrt.f64 b_2) -2))) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 -1/2) (*.f64 (cbrt.f64 (*.f64 c (pow.f64 (cbrt.f64 b_2) -2))) (pow.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))) 2) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))) (pow.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 c) (cbrt.f64 b_2)) (*.f64 (/.f64 (sqrt.f64 c) (cbrt.f64 b_2)) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 -1/2 c)) (cbrt.f64 b_2)) (/.f64 (sqrt.f64 (*.f64 -1/2 c)) (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (sqrt.f64 (*.f64 -1/2 c)) (cbrt.f64 b_2))) (*.f64 (cbrt.f64 (/.f64 (sqrt.f64 (*.f64 -1/2 c)) (cbrt.f64 b_2))) (pow.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 -1/2) 3) (*.f64 c (pow.f64 (cbrt.f64 b_2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1/2 (cbrt.f64 b_2)) (/.f64 c (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1/2 (cbrt.f64 (*.f64 b_2 (cbrt.f64 b_2)))) (/.f64 c (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -1/2 (pow.f64 (cbrt.f64 (*.f64 c (pow.f64 (cbrt.f64 b_2) -2))) 2)) (cbrt.f64 (*.f64 c (pow.f64 (cbrt.f64 b_2) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -1/2 (/.f64 (sqrt.f64 c) (cbrt.f64 b_2))) (/.f64 (sqrt.f64 c) (cbrt.f64 b_2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))) 2) 1) (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))) 2) (cbrt.f64 -1/2)) (cbrt.f64 (*.f64 c (pow.f64 (cbrt.f64 b_2) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))) 2) (cbrt.f64 (/.f64 (sqrt.f64 (*.f64 -1/2 c)) (cbrt.f64 b_2)))) (cbrt.f64 (/.f64 (sqrt.f64 (*.f64 -1/2 c)) (cbrt.f64 b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1/2 (/.f64 (pow.f64 (cbrt.f64 b_2) 2) c))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (pow.f64 (cbrt.f64 b_2) 2) (*.f64 -1/2 c)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 -1/2 c)) (neg.f64 (pow.f64 (cbrt.f64 b_2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 -1/2 c) (cbrt.f64 b_2)) (cbrt.f64 b_2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 -1/2 c) 1) (pow.f64 (cbrt.f64 b_2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 -1/2 c) (cbrt.f64 (*.f64 b_2 (cbrt.f64 b_2)))) (pow.f64 (cbrt.f64 (cbrt.f64 b_2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 c) -1/2) (neg.f64 (pow.f64 (cbrt.f64 b_2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -1/2 (neg.f64 c)) (neg.f64 (pow.f64 (cbrt.f64 b_2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 (pow.f64 (*.f64 -1/2 c) 2) (*.f64 b_2 (cbrt.f64 b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 c) (pow.f64 (cbrt.f64 b_2) -2)) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (-.f64 (log.f64 (*.f64 -1/2 c)) (*.f64 2/3 (log.f64 b_2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 -1/2 c)) (*.f64 2/3 (log.f64 b_2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (*.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))))))))

simplify42.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

746×	`unswap-sqr_binary64`
456×	`associate-/l/_binary64`
437×	`associate-l_binary64`
338×	`associate-r_binary64`
287×	`associate-/r/_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	26	628
1	66	628
2	160	628
3	522	628
4	2616	520
5	4026	520

Stop Event

1×	node limit

Counts

93 → 77

Calls

Call 1

Inputs
(.f64 (pow.f64 c 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (pow.f64 c 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (pow.f64 c 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (pow.f64 c 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (pow.f64 c 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (pow.f64 c 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (pow.f64 c 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (pow.f64 c 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (pow.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (pow.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (pow.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (pow.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 -1/2 (.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))

Outputs
(.f64 (pow.f64 c 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (.f64 (cbrt.f64 c) (cbrt.f64 -1/2)) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18)))
(.f64 (cbrt.f64 c) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18))))
(.f64 (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18)) (*.f64 (cbrt.f64 c) (cbrt.f64 -1/2)))
(.f64 (cbrt.f64 c) (.f64 (cbrt.f64 -1/2) (pow.f64 (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/36) 4)))
(.f64 (pow.f64 c 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (.f64 (cbrt.f64 c) (cbrt.f64 -1/2)) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18)))
(.f64 (cbrt.f64 c) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18))))
(.f64 (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18)) (*.f64 (cbrt.f64 c) (cbrt.f64 -1/2)))
(.f64 (cbrt.f64 c) (.f64 (cbrt.f64 -1/2) (pow.f64 (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/36) 4)))
(.f64 (pow.f64 c 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (.f64 (cbrt.f64 c) (cbrt.f64 -1/2)) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18)))
(.f64 (cbrt.f64 c) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18))))
(.f64 (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18)) (*.f64 (cbrt.f64 c) (cbrt.f64 -1/2)))
(.f64 (cbrt.f64 c) (.f64 (cbrt.f64 -1/2) (pow.f64 (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/36) 4)))
(.f64 (pow.f64 c 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (.f64 (cbrt.f64 c) (cbrt.f64 -1/2)) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18)))
(.f64 (cbrt.f64 c) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18))))
(.f64 (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18)) (*.f64 (cbrt.f64 c) (cbrt.f64 -1/2)))
(.f64 (cbrt.f64 c) (.f64 (cbrt.f64 -1/2) (pow.f64 (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/36) 4)))
(.f64 (pow.f64 c 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (.f64 (cbrt.f64 c) (cbrt.f64 -1/2)) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18)))
(.f64 (cbrt.f64 c) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18))))
(.f64 (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18)) (*.f64 (cbrt.f64 c) (cbrt.f64 -1/2)))
(.f64 (cbrt.f64 c) (.f64 (cbrt.f64 -1/2) (pow.f64 (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/36) 4)))
(.f64 (pow.f64 c 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (.f64 (cbrt.f64 c) (cbrt.f64 -1/2)) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18)))
(.f64 (cbrt.f64 c) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18))))
(.f64 (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18)) (*.f64 (cbrt.f64 c) (cbrt.f64 -1/2)))
(.f64 (cbrt.f64 c) (.f64 (cbrt.f64 -1/2) (pow.f64 (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/36) 4)))
(.f64 (pow.f64 c 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (.f64 (cbrt.f64 c) (cbrt.f64 -1/2)) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18)))
(.f64 (cbrt.f64 c) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18))))
(.f64 (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18)) (*.f64 (cbrt.f64 c) (cbrt.f64 -1/2)))
(.f64 (cbrt.f64 c) (.f64 (cbrt.f64 -1/2) (pow.f64 (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/36) 4)))
(.f64 (pow.f64 c 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (.f64 (cbrt.f64 c) (cbrt.f64 -1/2)) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18)))
(.f64 (cbrt.f64 c) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18))))
(.f64 (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18)) (*.f64 (cbrt.f64 c) (cbrt.f64 -1/2)))
(.f64 (cbrt.f64 c) (.f64 (cbrt.f64 -1/2) (pow.f64 (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/36) 4)))
(.f64 (pow.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18))) (cbrt.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2))))
(.f64 (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18)) (*.f64 (cbrt.f64 -1/2) (cbrt.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)))))
(.f64 (cbrt.f64 -1/2) (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18)) (cbrt.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)))))
(.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/36) 4) (cbrt.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)))))
(.f64 (pow.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18))) (cbrt.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2))))
(.f64 (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18)) (*.f64 (cbrt.f64 -1/2) (cbrt.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)))))
(.f64 (cbrt.f64 -1/2) (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18)) (cbrt.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)))))
(.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/36) 4) (cbrt.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)))))
(.f64 (pow.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18))) (cbrt.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2))))
(.f64 (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18)) (*.f64 (cbrt.f64 -1/2) (cbrt.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)))))
(.f64 (cbrt.f64 -1/2) (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18)) (cbrt.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)))))
(.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/36) 4) (cbrt.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)))))
(.f64 (pow.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9)))
(.f64 (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18))) (cbrt.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2))))
(.f64 (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18)) (*.f64 (cbrt.f64 -1/2) (cbrt.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)))))
(.f64 (cbrt.f64 -1/2) (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 b_2 b_2)) 1/18) (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/18)) (cbrt.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)))))
(.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (pow.f64 (/.f64 1 (*.f64 b_2 b_2)) 1/36) 4) (cbrt.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 (.f64 -1/2 c) (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))))
(.f64 c (.f64 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))) -1/2))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 c -1/2))
(.f64 c (.f64 -1/2 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 (.f64 -1/2 c) (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))))
(.f64 c (.f64 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))) -1/2))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 c -1/2))
(.f64 c (.f64 -1/2 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 (.f64 -1/2 c) (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))))
(.f64 c (.f64 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))) -1/2))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 c -1/2))
(.f64 c (.f64 -1/2 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 (.f64 -1/2 c) (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))))
(.f64 c (.f64 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))) -1/2))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 c -1/2))
(.f64 c (.f64 -1/2 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 (.f64 -1/2 c) (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))))
(.f64 c (.f64 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))) -1/2))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 c -1/2))
(.f64 c (.f64 -1/2 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 (.f64 -1/2 c) (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))))
(.f64 c (.f64 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))) -1/2))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 c -1/2))
(.f64 c (.f64 -1/2 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 (.f64 -1/2 c) (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))))
(.f64 c (.f64 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))) -1/2))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 c -1/2))
(.f64 c (.f64 -1/2 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 -1/2 (.f64 c (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 (.f64 -1/2 c) (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))))
(.f64 c (.f64 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))) -1/2))
(.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (*.f64 c -1/2))
(.f64 c (.f64 -1/2 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 -1/2 (.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 -1) 2))) (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))))
(.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) (.f64 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))) -1/2))
(.f64 -1/2 (/.f64 c (/.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))))))
(.f64 -1/2 (/.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (/.f64 (pow.f64 (cbrt.f64 -1) 2) c)))
(.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) (.f64 -1/2 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 -1/2 (.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 -1) 2))) (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))))
(.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) (.f64 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))) -1/2))
(.f64 -1/2 (/.f64 c (/.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))))))
(.f64 -1/2 (/.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (/.f64 (pow.f64 (cbrt.f64 -1) 2) c)))
(.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) (.f64 -1/2 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 -1/2 (.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 -1) 2))) (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))))
(.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) (.f64 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))) -1/2))
(.f64 -1/2 (/.f64 c (/.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))))))
(.f64 -1/2 (/.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (/.f64 (pow.f64 (cbrt.f64 -1) 2) c)))
(.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) (.f64 -1/2 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))
(.f64 -1/2 (.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/3)))
(.f64 (.f64 -1/2 (/.f64 c (pow.f64 (cbrt.f64 -1) 2))) (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))))
(.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) (.f64 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2))) -1/2))
(.f64 -1/2 (/.f64 c (/.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))))))
(.f64 -1/2 (/.f64 (cbrt.f64 (/.f64 1 (.f64 b_2 b_2))) (/.f64 (pow.f64 (cbrt.f64 -1) 2) c)))
(.f64 (/.f64 c (pow.f64 (cbrt.f64 -1) 2)) (.f64 -1/2 (cbrt.f64 (/.f64 1 (*.f64 b_2 b_2)))))

prune115.0ms (2.2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	147	3	150
Fresh	2	7	9
Picked	1	0	1
Done	0	2	2
Total	150	12	162

Error

3.6b

Counts

162 → 12

Alt Table

Status	Error	Program
	47.7b	(/.f64 (/.f64 (+.f64 (fma.f64 b_2 b_2 (.f64 b_2 b_2)) (.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) a)
	47.1b	(pow.f64 (/.f64 a (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) -1)
	47.4b	(pow.f64 (cbrt.f64 (/.f64 (-.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)) 3)
✓	39.8b	(*.f64 -1/2 (/.f64 c b_2))
	55.5b	(/.f64 (pow.f64 (.f64 (pow.f64 c 1/3) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 1 (pow.f64 b_2 2)) 1/9))) 3) (cbrt.f64 b_2))
	47.2b	(-.f64 (.f64 -1/2 (/.f64 (/.f64 (.f64 b_2 b_2) a) (sqrt.f64 (.f64 c (neg.f64 a))))) (+.f64 (/.f64 (sqrt.f64 (.f64 c (neg.f64 a))) a) (/.f64 b_2 a)))
	50.5b	(/.f64 (pow.f64 (pow.f64 (.f64 (.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2)) 1/3) 3) (cbrt.f64 b_2))
✓	33.1b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
	42.2b	(/.f64 (-.f64 (neg.f64 b_2) b_2) a)
	42.3b	(/.f64 (fma.f64 1/2 (.f64 (/.f64 c b_2) a) (.f64 b_2 -2)) a)
	41.7b	(expm1.f64 (log1p.f64 (/.f64 (*.f64 -1/2 c) b_2)))
	50.4b	(/.f64 (pow.f64 (exp.f64 (log.f64 (cbrt.f64 (.f64 (.f64 -1/2 c) (pow.f64 (cbrt.f64 b_2) -2))))) 3) (cbrt.f64 b_2))

Compiler

Compiled 2943 to 1904 computations (35.3% saved)

regimes680.0ms (12.9%)

Accuracy

Total -53.9b remaining (-531.5%)

Threshold costs -53.9b (-531.5%)

Counts

49 → 3

Compiler

Compiled 790 to 354 computations (55.2% saved)

bsearch175.0ms (3.3%)

Algorithm

2×	binary-search

Calls

2 calls:

103.0ms	b_2
72.0ms	b_2

Steps

Iters	Point		Range
1.45e+117	∈ [	1.4390723502815451e+117	,	5.42353407726558e+120	]
-6.8e-121	∈ [	-7.24535652681714e-112	,	-6.6979334341639845e-121	]

Compiler

Compiled 520 to 353 computations (32.1% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`*-commutative_binary64`
10×	`+-commutative_binary64`
9×	`sub-neg_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	56
1	42	56
2	59	56
3	75	56
4	84	56
5	88	56
6	89	56

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 b_2 -7908005320336203/11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834496) (*.f64 -1/2 (/.f64 c b_2)) (if (<=.f64 b_2 1450000000000000136298191076443542452559007835651850076750977748071755676828967303051784773744366806753184312457166848) (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a) (/.f64 (fma.f64 1/2 (*.f64 (/.f64 c b_2) a) (*.f64 b_2 -2)) a)))

Outputs

(if (<=.f64 b_2 -7908005320336203/11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834496) (*.f64 -1/2 (/.f64 c b_2)) (if (<=.f64 b_2 1450000000000000136298191076443542452559007835651850076750977748071755676828967303051784773744366806753184312457166848) (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a) (/.f64 (fma.f64 1/2 (*.f64 (/.f64 c b_2) a) (*.f64 b_2 -2)) a)))

(if (<=.f64 b_2 -7908005320336203/11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834496) (*.f64 -1/2 (/.f64 c b_2)) (if (<=.f64 b_2 1450000000000000136298191076443542452559007835651850076750977748071755676828967303051784773744366806753184312457166848) (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 c a)))) a) (/.f64 (fma.f64 1/2 (*.f64 (/.f64 c b_2) a) (*.f64 b_2 -2)) a)))

end147.0ms (2.8%)

Stop Event

1×

fuel

Compiler

Compiled 252 to 130 computations (48.4% saved)

Details

analyze972.0ms (18.4%)

sample2.2s (41.5%)

preprocess39.0ms (0.7%)

simplify62.0ms (1.2%)

prune2.0ms (0%)

localize9.0ms (0.2%)

series30.0ms (0.6%)

rewrite73.0ms (1.4%)

simplify49.0ms (0.9%)

prune231.0ms (4.4%)

localize3.0ms (0.1%)

series4.0ms (0.1%)

rewrite50.0ms (0.9%)

simplify6.0ms (0.1%)

prune28.0ms (0.5%)

localize7.0ms (0.1%)

series34.0ms (0.6%)

rewrite57.0ms (1.1%)

simplify44.0ms (0.8%)

prune93.0ms (1.8%)

localize9.0ms (0.2%)

series73.0ms (1.4%)

rewrite58.0ms (1.1%)

simplify42.0ms (0.8%)

prune115.0ms (2.2%)

regimes680.0ms (12.9%)

bsearch175.0ms (3.3%)

simplify4.0ms (0.1%)

end147.0ms (2.8%)

Profiling