Details

analyze49.0ms (0.3%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
56.3%	56.2%	43.7%	0.1%	0%	0%	0%	7
65.6%	65.6%	34.3%	0.1%	0%	0%	0%	8
76.6%	76.5%	23.4%	0.1%	0%	0%	0%	9
82%	82%	18%	0.1%	0%	0%	0%	10
87.9%	87.8%	12.1%	0.1%	0%	0%	0%	11
90.8%	90.7%	9.2%	0.1%	0%	0%	0%	12

Compiler

Compiled 10 to 8 computations (20% saved)

sample755.0ms (4.5%)

Results

639.0ms	7719×	body	256	valid
44.0ms	189×	body	2048	valid
42.0ms	213×	body	1024	valid
18.0ms	135×	body	512	valid

Bogosity

preprocess3.0s (17.9%)

Algorithm

2×

egglog

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(-.f64 x (*.f64 (/.f64 3 8) y))
(-.f64 y (*.f64 (/.f64 3 8) x))

Outputs
(-.f64 x (*.f64 (/.f64 3 8) y))
(fma.f64 -3/8 y x)
(-.f64 y (*.f64 (/.f64 3 8) x))
(fma.f64 -3/8 x y)

Compiler

Compiled 11 to 9 computations (18.2% saved)

simplify1.5s (9%)

Algorithm

1×

egglog

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 x (*.f64 (/.f64 3 8) y))

Outputs
(-.f64 x (*.f64 (/.f64 3 8) y))
(fma.f64 -3/8 y x)

eval1.0ms (0%)

Compiler: Compiled 13 to 9 computations (30.8% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(fma.f64 -3/8 y x)
▶	0.1b	(-.f64 x (*.f64 (/.f64 3 8) y))

Compiler

Compiled 15 to 11 computations (26.7% saved)

localize8.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 x (*.f64 (/.f64 3 8) y))

Compiler

Compiled 21 to 16 computations (23.8% saved)

series5.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	inf	(-.f64 x (*.f64 (/.f64 3 8) y))
0.0ms	x	@	inf	(-.f64 x (*.f64 (/.f64 3 8) y))
0.0ms	x	@	0	(-.f64 x (*.f64 (/.f64 3 8) y))
0.0ms	y	@	0	(-.f64 x (*.f64 (/.f64 3 8) y))
0.0ms	x	@	-inf	(-.f64 x (*.f64 (/.f64 3 8) y))

Compiler

Compiled 525 to 315 computations (40% saved)

rewrite1.5s (8.7%)

Algorithm

1×	batch-egg-rewrite

Rules

72× egg-rr

Counts

1 → 72

Calls

Call 1

Inputs
(-.f64 x (*.f64 (/.f64 3 8) y))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (.f64 (cbrt.f64 y) (+.f64 (cbrt.f64 (/.f64 y 64/9)) (cbrt.f64 (.f64 3/8 x))))) (+.f64 (cbrt.f64 x) (cbrt.f64 (.f64 -3/8 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 -3/8 y x)) (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (neg.f64 (fma.f64 -3/8 y x))) (neg.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (cbrt.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 0 (+.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (.f64 0 (cbrt.f64 (neg.f64 (fma.f64 -3/8 y x)))))) (cbrt.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 0 (-.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (.f64 0 (cbrt.f64 (fma.f64 -3/8 y x))))) (+.f64 0 (cbrt.f64 (fma.f64 -3/8 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) (-.f64 (cbrt.f64 (pow.f64 x 2)) (.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 x)))) (+.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (-.f64 (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 -3/8 y))))) (+.f64 (cbrt.f64 x) (cbrt.f64 (.f64 -3/8 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (neg.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (fma.f64 -3/8 y x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 x (.f64 3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 3 (+.f64 3 (neg.f64 (fma.f64 -3/8 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 3 (-.f64 3 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 1 (+.f64 1 (neg.f64 (fma.f64 -3/8 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 1 (-.f64 1 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 -3/8 y) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 -3/8 (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 2)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 3/8 y)) (cbrt.f64 (.f64 -9/64 (pow.f64 y 2))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 3/8 (neg.f64 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 y) 3/8 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1 (.f64 3/8 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -3/8 y x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y -3/8 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 2)) (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 x) (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 -3/8 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 1 (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 0 0 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 0 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 -3/8 y x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 -3/8 y x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 y 3/8 x) 0) (/.f64 (fma.f64 x x (.f64 -9/64 (pow.f64 y 2))) (fma.f64 y 3/8 x)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (.f64 x (/.f64 (fma.f64 -3/8 y x) x)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (fma.f64 -3/8 y x)) 0) (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 -3/8 y x)) -3) -1) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 -3/8 y) 0) (.f64 (.f64 -3/8 y) (+.f64 1 (/.f64 x (.f64 -3/8 y)))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (fma.f64 -3/8 y x)) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (fma.f64 -3/8 y x) 2) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (fma.f64 -3/8 y x)) 0) (/.f64 (neg.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (neg.f64 (fma.f64 -3/8 y x))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (fma.f64 y 3/8 x)) 0) (/.f64 (fma.f64 x x (.f64 -9/64 (pow.f64 y 2))) (fma.f64 y 3/8 x)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (+.f64 (.f64 -27/512 (pow.f64 y 3)) (pow.f64 (.f64 (neg.f64 x) -1) 3)) (+.f64 (.f64 9/64 (pow.f64 y 2)) (-.f64 (.f64 (.f64 (neg.f64 x) -1) (.f64 (neg.f64 x) -1)) (.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1)) 0) (/.f64 (-.f64 (.f64 9/64 (pow.f64 y 2)) (.f64 (.f64 (neg.f64 x) -1) (.f64 (neg.f64 x) -1))) (-.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (.f64 0 (+.f64 1 (/.f64 (fma.f64 -3/8 y x) 0))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 -3/8 y) 0) (.f64 (.f64 -3/8 y) (+.f64 1 (/.f64 (.f64 (neg.f64 x) -1) (.f64 -3/8 y)))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 (.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 x) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (.f64 0 (fma.f64 -3/8 y x)))) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (.f64 9/64 (pow.f64 y 2)) (-.f64 (.f64 (.f64 (neg.f64 x) -1) (.f64 (neg.f64 x) -1)) (.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1)))) 0) (/.f64 (+.f64 (.f64 -27/512 (pow.f64 y 3)) (pow.f64 (.f64 (neg.f64 x) -1) 3)) (+.f64 (.f64 9/64 (pow.f64 y 2)) (-.f64 (.f64 (.f64 (neg.f64 x) -1) (.f64 (neg.f64 x) -1)) (.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 (.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2)) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 (.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (.f64 -3/8 y) (neg.f64 x)))) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 -3/8 y x) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 (neg.f64 x) -1) 0) (/.f64 (+.f64 (.f64 -27/512 (pow.f64 y 3)) (pow.f64 (.f64 (neg.f64 x) -1) 3)) (+.f64 (.f64 9/64 (pow.f64 y 2)) (-.f64 (.f64 (.f64 (neg.f64 x) -1) (.f64 (neg.f64 x) -1)) (.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 (.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 (.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -3/8 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 x (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (neg.f64 x) -1) (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 -3/8 y) 0) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 -3/8 y x) 0)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (*.f64 (cbrt.f64 y) (+.f64 (cbrt.f64 (/.f64 y 64/9)) (cbrt.f64 (*.f64 3/8 x))))) (+.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 -3/8 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (neg.f64 (fma.f64 -3/8 y x))) (neg.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (cbrt.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 0 (+.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (*.f64 0 (cbrt.f64 (neg.f64 (fma.f64 -3/8 y x)))))) (cbrt.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 0 (-.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (*.f64 0 (cbrt.f64 (fma.f64 -3/8 y x))))) (+.f64 0 (cbrt.f64 (fma.f64 -3/8 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 (*.f64 9/64 (pow.f64 y 2))) (-.f64 (cbrt.f64 (pow.f64 x 2)) (*.f64 (cbrt.f64 (*.f64 -3/8 y)) (cbrt.f64 x)))) (+.f64 (cbrt.f64 (*.f64 -3/8 y)) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (-.f64 (cbrt.f64 (*.f64 9/64 (pow.f64 y 2))) (*.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 -3/8 y))))) (+.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 -3/8 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (fma.f64 -3/8 y x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 x (*.f64 3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 3 (+.f64 3 (neg.f64 (fma.f64 -3/8 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 3 (-.f64 3 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 1 (+.f64 1 (neg.f64 (fma.f64 -3/8 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 1 (-.f64 1 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 -3/8 y) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -3/8 (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 2)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 3/8 y)) (cbrt.f64 (*.f64 -9/64 (pow.f64 y 2))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 3/8 (neg.f64 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 y) 3/8 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1 (*.f64 3/8 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 -3/8 y)) (cbrt.f64 (*.f64 9/64 (pow.f64 y 2))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -3/8 y x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y -3/8 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 2)) (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 x) (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 -3/8 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 1 (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 0 0 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 0 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 -3/8 y x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 -3/8 y x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 y 3/8 x) 0) (/.f64 (fma.f64 x x (*.f64 -9/64 (pow.f64 y 2))) (fma.f64 y 3/8 x)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (*.f64 x (/.f64 (fma.f64 -3/8 y x) x)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (fma.f64 -3/8 y x)) 0) (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 -3/8 y x)) -3) -1) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 -3/8 y) 0) (*.f64 (*.f64 -3/8 y) (+.f64 1 (/.f64 x (*.f64 -3/8 y)))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (fma.f64 -3/8 y x)) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (fma.f64 -3/8 y x) 2) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (fma.f64 -3/8 y x)) 0) (/.f64 (neg.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (neg.f64 (fma.f64 -3/8 y x))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (fma.f64 y 3/8 x)) 0) (/.f64 (fma.f64 x x (*.f64 -9/64 (pow.f64 y 2))) (fma.f64 y 3/8 x)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (*.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 -3/8 y) 0) (/.f64 (+.f64 (*.f64 -27/512 (pow.f64 y 3)) (pow.f64 (*.f64 (neg.f64 x) -1) 3)) (+.f64 (*.f64 9/64 (pow.f64 y 2)) (-.f64 (*.f64 (*.f64 (neg.f64 x) -1) (*.f64 (neg.f64 x) -1)) (*.f64 (*.f64 -3/8 y) (*.f64 (neg.f64 x) -1))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (*.f64 -3/8 y) (*.f64 (neg.f64 x) -1)) 0) (/.f64 (-.f64 (*.f64 9/64 (pow.f64 y 2)) (*.f64 (*.f64 (neg.f64 x) -1) (*.f64 (neg.f64 x) -1))) (-.f64 (*.f64 -3/8 y) (*.f64 (neg.f64 x) -1))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (*.f64 0 (+.f64 1 (/.f64 (fma.f64 -3/8 y x) 0))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 -3/8 y) 0) (*.f64 (*.f64 -3/8 y) (+.f64 1 (/.f64 (*.f64 (neg.f64 x) -1) (*.f64 -3/8 y)))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (*.f64 27/512 (pow.f64 y 3))) (fma.f64 (*.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 x) 0) (/.f64 (-.f64 (pow.f64 x 3) (*.f64 27/512 (pow.f64 y 3))) (+.f64 (*.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (*.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (*.f64 0 (fma.f64 -3/8 y x)))) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (*.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 9/64 (pow.f64 y 2)) (-.f64 (*.f64 (*.f64 (neg.f64 x) -1) (*.f64 (neg.f64 x) -1)) (*.f64 (*.f64 -3/8 y) (*.f64 (neg.f64 x) -1)))) 0) (/.f64 (+.f64 (*.f64 -27/512 (pow.f64 y 3)) (pow.f64 (*.f64 (neg.f64 x) -1) 3)) (+.f64 (*.f64 9/64 (pow.f64 y 2)) (-.f64 (*.f64 (*.f64 (neg.f64 x) -1) (*.f64 (neg.f64 x) -1)) (*.f64 (*.f64 -3/8 y) (*.f64 (neg.f64 x) -1))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 (*.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2)) 0) (/.f64 (-.f64 (pow.f64 x 3) (*.f64 27/512 (pow.f64 y 3))) (fma.f64 (*.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (*.f64 -3/8 y) (neg.f64 x)))) 0) (/.f64 (-.f64 (pow.f64 x 3) (*.f64 27/512 (pow.f64 y 3))) (+.f64 (*.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (*.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 -3/8 y x) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (*.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 (neg.f64 x) -1) 0) (/.f64 (+.f64 (*.f64 -27/512 (pow.f64 y 3)) (pow.f64 (*.f64 (neg.f64 x) -1) 3)) (+.f64 (*.f64 9/64 (pow.f64 y 2)) (-.f64 (*.f64 (*.f64 (neg.f64 x) -1) (*.f64 (neg.f64 x) -1)) (*.f64 (*.f64 -3/8 y) (*.f64 (neg.f64 x) -1))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (/.f64 (-.f64 (pow.f64 x 3) (*.f64 27/512 (pow.f64 y 3))) (fma.f64 (*.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 -3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (*.f64 27/512 (pow.f64 y 3))) (+.f64 (*.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (*.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 -3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (*.f64 27/512 (pow.f64 y 3))) (fma.f64 (*.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -3/8 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -3/8 y) (*.f64 (neg.f64 x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 x (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (neg.f64 x) -1) (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 -3/8 y) 0) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 -3/8 y x) 0)))))

simplify2.2s (13.1%)

Algorithm

1×

egglog

Counts

96 → 97

Calls

Call 1

Inputs
(*.f64 -3/8 y)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
x
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
x
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
x
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(*.f64 -3/8 y)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(*.f64 -3/8 y)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(.f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (.f64 (cbrt.f64 y) (+.f64 (cbrt.f64 (/.f64 y 64/9)) (cbrt.f64 (.f64 3/8 x))))) (+.f64 (cbrt.f64 x) (cbrt.f64 (.f64 -3/8 y))))
(*.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)))
(*.f64 (cbrt.f64 (neg.f64 (fma.f64 -3/8 y x))) (neg.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (cbrt.f64 (fma.f64 -3/8 y x)))
(.f64 (+.f64 0 (+.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (.f64 0 (cbrt.f64 (neg.f64 (fma.f64 -3/8 y x)))))) (cbrt.f64 (fma.f64 -3/8 y x)))
(.f64 (+.f64 0 (-.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (.f64 0 (cbrt.f64 (fma.f64 -3/8 y x))))) (+.f64 0 (cbrt.f64 (fma.f64 -3/8 y x))))
(.f64 (+.f64 (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) (-.f64 (cbrt.f64 (pow.f64 x 2)) (.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 x)))) (+.f64 (cbrt.f64 (*.f64 -3/8 y)) (cbrt.f64 x)))
(.f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (-.f64 (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 -3/8 y))))) (+.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 -3/8 y))))
(*.f64 -1 (neg.f64 (fma.f64 -3/8 y x)))
(*.f64 1 (fma.f64 -3/8 y x))
(*.f64 (neg.f64 (fma.f64 -3/8 y x)) -1)
(*.f64 (fma.f64 -3/8 y x) 1)
(-.f64 x (*.f64 3/8 y))
(-.f64 3 (+.f64 3 (neg.f64 (fma.f64 -3/8 y x))))
(-.f64 3 (-.f64 3 (fma.f64 -3/8 y x)))
(-.f64 1 (+.f64 1 (neg.f64 (fma.f64 -3/8 y x))))
(-.f64 1 (-.f64 1 (fma.f64 -3/8 y x)))
(-.f64 (*.f64 -3/8 y) (neg.f64 x))
(-.f64 0 (neg.f64 (fma.f64 -3/8 y x)))
(/.f64 (fma.f64 -3/8 y x) 1)
(fma.f64 (*.f64 -3/8 (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 2)) x)
(fma.f64 (cbrt.f64 (.f64 3/8 y)) (cbrt.f64 (.f64 -9/64 (pow.f64 y 2))) x)
(fma.f64 3/8 (neg.f64 y) x)
(fma.f64 (neg.f64 y) 3/8 x)
(fma.f64 -1 (*.f64 3/8 y) x)
(fma.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) x)
(fma.f64 -3/8 y x)
(fma.f64 y -3/8 x)
(fma.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 2)) (*.f64 -3/8 y))
(fma.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 x) (*.f64 -3/8 y))
(fma.f64 1 (*.f64 -3/8 y) x)
(fma.f64 1 x (*.f64 -3/8 y))
(fma.f64 x 1 (*.f64 -3/8 y))
(fma.f64 0 0 (fma.f64 -3/8 y x))
(fma.f64 1 0 (fma.f64 -3/8 y x))
(pow.f64 (pow.f64 (fma.f64 -3/8 y x) 3) 1/3)
(pow.f64 (cbrt.f64 (fma.f64 -3/8 y x)) 3)
(pow.f64 (fma.f64 -3/8 y x) 1)
(cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 3))
(neg.f64 (neg.f64 (fma.f64 -3/8 y x)))
(if (!=.f64 (fma.f64 y 3/8 x) 0) (/.f64 (fma.f64 x x (*.f64 -9/64 (pow.f64 y 2))) (fma.f64 y 3/8 x)) (fma.f64 -3/8 y x))
(if (!=.f64 x 0) (*.f64 x (/.f64 (fma.f64 -3/8 y x) x)) (fma.f64 -3/8 y x))
(if (!=.f64 (cbrt.f64 (fma.f64 -3/8 y x)) 0) (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 -3/8 y x)) -3) -1) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (.f64 (.f64 -3/8 y) (+.f64 1 (/.f64 x (.f64 -3/8 y)))) (fma.f64 -3/8 y x))
(if (!=.f64 (neg.f64 (fma.f64 -3/8 y x)) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))
(if (!=.f64 (pow.f64 (fma.f64 -3/8 y x) 2) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))
(if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))
(if (!=.f64 (neg.f64 (fma.f64 -3/8 y x)) 0) (/.f64 (neg.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (neg.f64 (fma.f64 -3/8 y x))) (fma.f64 -3/8 y x))
(if (!=.f64 (neg.f64 (fma.f64 y 3/8 x)) 0) (/.f64 (fma.f64 x x (*.f64 -9/64 (pow.f64 y 2))) (fma.f64 y 3/8 x)) (fma.f64 -3/8 y x))
(if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (*.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (+.f64 (.f64 -27/512 (pow.f64 y 3)) (pow.f64 (.f64 (neg.f64 x) -1) 3)) (+.f64 (.f64 9/64 (pow.f64 y 2)) (-.f64 (.f64 (.f64 (neg.f64 x) -1) (.f64 (neg.f64 x) -1)) (.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1))))) (fma.f64 -3/8 y x))
(if (!=.f64 (-.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1)) 0) (/.f64 (-.f64 (.f64 9/64 (pow.f64 y 2)) (.f64 (.f64 (neg.f64 x) -1) (.f64 (neg.f64 x) -1))) (-.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1))) (fma.f64 -3/8 y x))
(if (!=.f64 0 0) (*.f64 0 (+.f64 1 (/.f64 (fma.f64 -3/8 y x) 0))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (.f64 (.f64 -3/8 y) (+.f64 1 (/.f64 (.f64 (neg.f64 x) -1) (*.f64 -3/8 y)))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 (*.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2))) (fma.f64 -3/8 y x))
(if (!=.f64 (neg.f64 x) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (.f64 0 (fma.f64 -3/8 y x)))) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (+.f64 (.f64 9/64 (pow.f64 y 2)) (-.f64 (.f64 (.f64 (neg.f64 x) -1) (.f64 (neg.f64 x) -1)) (.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1)))) 0) (/.f64 (+.f64 (.f64 -27/512 (pow.f64 y 3)) (pow.f64 (.f64 (neg.f64 x) -1) 3)) (+.f64 (.f64 9/64 (pow.f64 y 2)) (-.f64 (.f64 (.f64 (neg.f64 x) -1) (.f64 (neg.f64 x) -1)) (.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1))))) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 (.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2)) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 (*.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2))) (fma.f64 -3/8 y x))
(if (!=.f64 (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (.f64 -3/8 y) (neg.f64 x)))) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (*.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 -3/8 y x) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (*.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 (neg.f64 x) -1) 0) (/.f64 (+.f64 (.f64 -27/512 (pow.f64 y 3)) (pow.f64 (.f64 (neg.f64 x) -1) 3)) (+.f64 (.f64 9/64 (pow.f64 y 2)) (-.f64 (.f64 (.f64 (neg.f64 x) -1) (.f64 (neg.f64 x) -1)) (.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1))))) (fma.f64 -3/8 y x))
(if (!=.f64 x 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 (.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (*.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 (*.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2))) (fma.f64 -3/8 y x))
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1))
(+.f64 x (*.f64 -3/8 y))
(+.f64 (.f64 (neg.f64 x) -1) (.f64 -3/8 y))
(+.f64 (-.f64 (*.f64 -3/8 y) 0) x)
(+.f64 0 (fma.f64 -3/8 y x))
(+.f64 (fma.f64 -3/8 y x) 0)

Outputs
(*.f64 -3/8 y)
(*.f64 y -3/8)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
x
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
x
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
x
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(*.f64 -3/8 y)
(*.f64 y -3/8)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(*.f64 -3/8 y)
(*.f64 y -3/8)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(.f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (.f64 (cbrt.f64 y) (+.f64 (cbrt.f64 (/.f64 y 64/9)) (cbrt.f64 (.f64 3/8 x))))) (+.f64 (cbrt.f64 x) (cbrt.f64 (.f64 -3/8 y))))
(.f64 (+.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 y) (+.f64 (cbrt.f64 (.f64 y 9/64)) (cbrt.f64 (.f64 3/8 x))))) (+.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 y -3/8))))
(*.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)))
(fma.f64 -3/8 y x)
(*.f64 (cbrt.f64 (neg.f64 (fma.f64 -3/8 y x))) (neg.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))))
(cbrt.f64 (.f64 (neg.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (-.f64 (.f64 3/8 y) x)))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (cbrt.f64 (fma.f64 -3/8 y x)))
(fma.f64 -3/8 y x)
(.f64 (+.f64 0 (+.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (.f64 0 (cbrt.f64 (neg.f64 (fma.f64 -3/8 y x)))))) (cbrt.f64 (fma.f64 -3/8 y x)))
(fma.f64 -3/8 y x)
(.f64 (+.f64 0 (-.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (.f64 0 (cbrt.f64 (fma.f64 -3/8 y x))))) (+.f64 0 (cbrt.f64 (fma.f64 -3/8 y x))))
(fma.f64 -3/8 y x)
(.f64 (+.f64 (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) (-.f64 (cbrt.f64 (pow.f64 x 2)) (.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 x)))) (+.f64 (cbrt.f64 (*.f64 -3/8 y)) (cbrt.f64 x)))
(fma.f64 -3/8 y x)
(.f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (-.f64 (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 -3/8 y))))) (+.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 -3/8 y))))
(fma.f64 -3/8 y x)
(*.f64 -1 (neg.f64 (fma.f64 -3/8 y x)))
(fma.f64 -3/8 y x)
(*.f64 1 (fma.f64 -3/8 y x))
(fma.f64 -3/8 y x)
(*.f64 (neg.f64 (fma.f64 -3/8 y x)) -1)
(fma.f64 -3/8 y x)
(*.f64 (fma.f64 -3/8 y x) 1)
(fma.f64 -3/8 y x)
(-.f64 x (*.f64 3/8 y))
(fma.f64 -3/8 y x)
(-.f64 3 (+.f64 3 (neg.f64 (fma.f64 -3/8 y x))))
(fma.f64 -3/8 y x)
(-.f64 3 (-.f64 3 (fma.f64 -3/8 y x)))
(fma.f64 -3/8 y x)
(-.f64 1 (+.f64 1 (neg.f64 (fma.f64 -3/8 y x))))
(fma.f64 -3/8 y x)
(-.f64 1 (-.f64 1 (fma.f64 -3/8 y x)))
(fma.f64 -3/8 y x)
(-.f64 (*.f64 -3/8 y) (neg.f64 x))
(fma.f64 -3/8 y x)
(-.f64 0 (neg.f64 (fma.f64 -3/8 y x)))
(fma.f64 -3/8 y x)
(/.f64 (fma.f64 -3/8 y x) 1)
(fma.f64 -3/8 y x)
(fma.f64 (*.f64 -3/8 (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 2)) x)
(fma.f64 (*.f64 -3/8 (cbrt.f64 y)) (pow.f64 (cbrt.f64 y) 2) x)
(fma.f64 (cbrt.f64 (.f64 3/8 y)) (cbrt.f64 (.f64 -9/64 (pow.f64 y 2))) x)
(fma.f64 (cbrt.f64 (.f64 3/8 y)) (cbrt.f64 (.f64 (*.f64 y y) -9/64)) x)
(fma.f64 3/8 (neg.f64 y) x)
(fma.f64 -3/8 y x)
(fma.f64 (neg.f64 y) 3/8 x)
(fma.f64 -3/8 y x)
(fma.f64 -1 (*.f64 3/8 y) x)
(fma.f64 -3/8 y x)
(fma.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) x)
(fma.f64 -3/8 y x)
(fma.f64 -3/8 y x)
(fma.f64 y -3/8 x)
(fma.f64 -3/8 y x)
(fma.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 2)) (*.f64 -3/8 y))
(fma.f64 -3/8 y x)
(fma.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 x) (*.f64 -3/8 y))
(fma.f64 -3/8 y x)
(fma.f64 1 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(fma.f64 1 x (*.f64 -3/8 y))
(fma.f64 -3/8 y x)
(fma.f64 x 1 (*.f64 -3/8 y))
(fma.f64 -3/8 y x)
(fma.f64 0 0 (fma.f64 -3/8 y x))
(fma.f64 -3/8 y x)
(fma.f64 1 0 (fma.f64 -3/8 y x))
(fma.f64 -3/8 y x)
(pow.f64 (pow.f64 (fma.f64 -3/8 y x) 3) 1/3)
(fma.f64 -3/8 y x)
(pow.f64 (cbrt.f64 (fma.f64 -3/8 y x)) 3)
(fma.f64 -3/8 y x)
(pow.f64 (fma.f64 -3/8 y x) 1)
(fma.f64 -3/8 y x)
(cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 3))
(fma.f64 -3/8 y x)
(neg.f64 (neg.f64 (fma.f64 -3/8 y x)))
(fma.f64 -3/8 y x)
(if (!=.f64 (fma.f64 y 3/8 x) 0) (/.f64 (fma.f64 x x (*.f64 -9/64 (pow.f64 y 2))) (fma.f64 y 3/8 x)) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 y 3/8 x) 0) (/.f64 (fma.f64 x x (.f64 (.f64 y y) -9/64)) (fma.f64 y 3/8 x)) (fma.f64 -3/8 y x))
(if (!=.f64 x 0) (*.f64 x (/.f64 (fma.f64 -3/8 y x) x)) (fma.f64 -3/8 y x))
(if (!=.f64 x 0) (/.f64 (*.f64 x (fma.f64 -3/8 y x)) x) (fma.f64 -3/8 y x))
(if (!=.f64 (cbrt.f64 (fma.f64 -3/8 y x)) 0) (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 -3/8 y x)) -3) -1) (fma.f64 -3/8 y x))
(if (!=.f64 (cbrt.f64 (fma.f64 -3/8 y x)) 0) (/.f64 1 (pow.f64 (cbrt.f64 (fma.f64 -3/8 y x)) -3)) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (.f64 (.f64 -3/8 y) (+.f64 1 (/.f64 x (.f64 -3/8 y)))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 y -3/8) 0) (.f64 -3/8 (+.f64 y (*.f64 (/.f64 (/.f64 x y) -3/8) y))) (fma.f64 -3/8 y x))
(if (!=.f64 (neg.f64 (fma.f64 -3/8 y x)) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))
(if (!=.f64 (-.f64 (*.f64 3/8 y) x) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))
(if (!=.f64 (pow.f64 (fma.f64 -3/8 y x) 2) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))
(if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))
(if (!=.f64 (neg.f64 (fma.f64 -3/8 y x)) 0) (/.f64 (neg.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (neg.f64 (fma.f64 -3/8 y x))) (fma.f64 -3/8 y x))
(if (!=.f64 (-.f64 (*.f64 3/8 y) x) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (fma.f64 -3/8 y x)) (fma.f64 -3/8 y x))
(if (!=.f64 (neg.f64 (fma.f64 y 3/8 x)) 0) (/.f64 (fma.f64 x x (*.f64 -9/64 (pow.f64 y 2))) (fma.f64 y 3/8 x)) (fma.f64 -3/8 y x))
(if (!=.f64 (-.f64 (.f64 y -3/8) x) 0) (/.f64 (fma.f64 x x (.f64 (*.f64 y y) -9/64)) (fma.f64 y 3/8 x)) (fma.f64 -3/8 y x))
(if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (*.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))
(if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (+.f64 (.f64 -27/512 (pow.f64 y 3)) (pow.f64 (.f64 (neg.f64 x) -1) 3)) (+.f64 (.f64 9/64 (pow.f64 y 2)) (-.f64 (.f64 (.f64 (neg.f64 x) -1) (.f64 (neg.f64 x) -1)) (.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1))))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 y -3/8) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 9/64 (.f64 y y) (*.f64 x (fma.f64 y 3/8 x)))) (fma.f64 -3/8 y x))
(if (!=.f64 (-.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1)) 0) (/.f64 (-.f64 (.f64 9/64 (pow.f64 y 2)) (.f64 (.f64 (neg.f64 x) -1) (.f64 (neg.f64 x) -1))) (-.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1))) (fma.f64 -3/8 y x))
(if (!=.f64 (-.f64 (.f64 y -3/8) x) 0) (/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y y) 9/64)) (fma.f64 y 3/8 x)) (fma.f64 -3/8 y x))
(if (!=.f64 0 0) (*.f64 0 (+.f64 1 (/.f64 (fma.f64 -3/8 y x) 0))) (fma.f64 -3/8 y x))
(if (!=.f64 0 0) 0 (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (.f64 (.f64 -3/8 y) (+.f64 1 (/.f64 (.f64 (neg.f64 x) -1) (*.f64 -3/8 y)))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 y -3/8) 0) (.f64 -3/8 (+.f64 y (*.f64 (/.f64 (/.f64 x y) -3/8) y))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 (*.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 3/8 y) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 (.f64 3/8 y) (fma.f64 y 3/8 x) (*.f64 x x))) (fma.f64 -3/8 y x))
(if (!=.f64 (neg.f64 x) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (neg.f64 x) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 9/64 (.f64 y y) (.f64 x (fma.f64 y 3/8 x)))) (fma.f64 -3/8 y x))
(if (!=.f64 (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (.f64 0 (fma.f64 -3/8 y x)))) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (pow.f64 (fma.f64 -3/8 y x) 2) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))
(if (!=.f64 (+.f64 (.f64 9/64 (pow.f64 y 2)) (-.f64 (.f64 (.f64 (neg.f64 x) -1) (.f64 (neg.f64 x) -1)) (.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1)))) 0) (/.f64 (+.f64 (.f64 -27/512 (pow.f64 y 3)) (pow.f64 (.f64 (neg.f64 x) -1) 3)) (+.f64 (.f64 9/64 (pow.f64 y 2)) (-.f64 (.f64 (.f64 (neg.f64 x) -1) (.f64 (neg.f64 x) -1)) (.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1))))) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 9/64 (.f64 y y) (.f64 x (fma.f64 y 3/8 x))) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 9/64 (.f64 y y) (.f64 x (fma.f64 y 3/8 x)))) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 (.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2)) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 (*.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2))) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 (.f64 3/8 y) (fma.f64 y 3/8 x) (.f64 x x)) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 (.f64 3/8 y) (fma.f64 y 3/8 x) (.f64 x x))) (fma.f64 -3/8 y x))
(if (!=.f64 (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (.f64 -3/8 y) (neg.f64 x)))) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (*.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 9/64 (.f64 y y) (.f64 x (fma.f64 y 3/8 x))) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 9/64 (.f64 y y) (.f64 x (fma.f64 y 3/8 x)))) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 -3/8 y x) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (*.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 -3/8 y x) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 (neg.f64 x) -1) 0) (/.f64 (+.f64 (.f64 -27/512 (pow.f64 y 3)) (pow.f64 (.f64 (neg.f64 x) -1) 3)) (+.f64 (.f64 9/64 (pow.f64 y 2)) (-.f64 (.f64 (.f64 (neg.f64 x) -1) (.f64 (neg.f64 x) -1)) (.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1))))) (fma.f64 -3/8 y x))
(if (!=.f64 x 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 9/64 (.f64 y y) (.f64 x (fma.f64 y 3/8 x)))) (fma.f64 -3/8 y x))
(if (!=.f64 x 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 (.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2))) (fma.f64 -3/8 y x))
(if (!=.f64 x 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 (.f64 3/8 y) (fma.f64 y 3/8 x) (.f64 x x))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (*.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 y -3/8) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 9/64 (.f64 y y) (*.f64 x (fma.f64 y 3/8 x)))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 (*.f64 3/8 y) (fma.f64 y 3/8 x) (pow.f64 x 2))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 y -3/8) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 (.f64 3/8 y) (fma.f64 y 3/8 x) (*.f64 x x))) (fma.f64 -3/8 y x))
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (.f64 -3/8 y) (.f64 (neg.f64 x) -1))
(fma.f64 -3/8 y x)
(+.f64 x (*.f64 -3/8 y))
(fma.f64 -3/8 y x)
(+.f64 (.f64 (neg.f64 x) -1) (.f64 -3/8 y))
(fma.f64 -3/8 y x)
(+.f64 (-.f64 (*.f64 -3/8 y) 0) x)
(fma.f64 -3/8 y x)
(+.f64 0 (fma.f64 -3/8 y x))
(fma.f64 -3/8 y x)
(+.f64 (fma.f64 -3/8 y x) 0)
(fma.f64 -3/8 y x)

localize10.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 -3/8 y x)

Compiler

Compiled 9 to 5 computations (44.4% saved)

series26.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(fma.f64 -3/8 y x)
0.0ms	x	@	-inf	(fma.f64 -3/8 y x)
0.0ms	y	@	-inf	(fma.f64 -3/8 y x)
0.0ms	x	@	inf	(fma.f64 -3/8 y x)
0.0ms	y	@	0	(fma.f64 -3/8 y x)

Compiler

Compiled 525 to 315 computations (40% saved)

rewrite1.5s (8.8%)

Algorithm

1×	batch-egg-rewrite

Rules

59× egg-rr

Counts

1 → 59

Calls

Call 1

Inputs
(fma.f64 -3/8 y x)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 -3/8 y x)) (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (fma.f64 -3/8 y x))) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (fma.f64 -3/8 y x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (fma.f64 -3/8 y x) 2) 2)) (fma.f64 -3/8 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (cbrt.f64 (fma.f64 -3/8 y x)))) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (fma.f64 -3/8 y x) (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (fma.f64 -3/8 y x) 2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (cbrt.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (pow.f64 (fma.f64 -3/8 y x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 -3/8 y x) (cbrt.f64 (fma.f64 -3/8 y x))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 -3/8 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 (.f64 (pow.f64 y 2) 9/64))) (cbrt.f64 (.f64 -3/8 (.f64 y x)))) (+.f64 (cbrt.f64 x) (cbrt.f64 (.f64 -3/8 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (+.f64 (cbrt.f64 (.f64 (pow.f64 y 2) 9/64)) (cbrt.f64 (pow.f64 x 2))) (cbrt.f64 (.f64 -3/8 (.f64 y x)))) (+.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 -3/8 y) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 -3/8 y x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 (.f64 (pow.f64 y 2) 9/64)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 -3/8) (.f64 (cbrt.f64 9/64) y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 -3/8 (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 2)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 x) (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 2)) (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 x 2) 2)) x)) (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 x (cbrt.f64 (pow.f64 x 2)))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) 2) (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (pow.f64 x 2) (cbrt.f64 x))) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 x) x) 2)) (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (pow.f64 y 2) 9/64)) (cbrt.f64 (.f64 -3/8 y)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (pow.f64 y 2)) -3/8) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 y (cbrt.f64 -3/8)) (cbrt.f64 9/64) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 9/64) y) (cbrt.f64 -3/8) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (.f64 -27/512 y) (cbrt.f64 (pow.f64 y 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 y 2) 2))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 -3/8)) (.f64 (cbrt.f64 (cbrt.f64 9/64)) (.f64 (cbrt.f64 9/64) y)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 9/64) (.f64 (cbrt.f64 -3/8) y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 -3/8 (cbrt.f64 (pow.f64 y 2))) (cbrt.f64 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 y 2)) (.f64 -3/8 (cbrt.f64 y)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (.f64 -27/512 y) y)) (cbrt.f64 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -3/8 y x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y -3/8 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 -3/8 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 -3/8 y) 1 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 1 (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 -3/8 y x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 -3/8 y x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 (fma.f64 -3/8 y x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 -3/8 y) 0) (.f64 y (+.f64 -3/8 (/.f64 x y))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (.f64 x (/.f64 (fma.f64 -3/8 y x) x)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (.f64 -3/8 y) x) 0) (/.f64 (-.f64 (pow.f64 x 2) (.f64 (pow.f64 y 2) 9/64)) (-.f64 x (.f64 -3/8 y))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 x (.f64 -3/8 y)) 0) (/.f64 (-.f64 (pow.f64 x 2) (.f64 (pow.f64 y 2) 9/64)) (-.f64 x (.f64 -3/8 y))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 x) 0) (/.f64 (-.f64 (.f64 -27/512 (pow.f64 y 3)) (neg.f64 (pow.f64 x 3))) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64)) 0) (/.f64 (-.f64 (.f64 -27/512 (pow.f64 y 3)) (neg.f64 (pow.f64 x 3))) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (-.f64 (.f64 -27/512 (pow.f64 y 3)) (neg.f64 (pow.f64 x 3))) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64)) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -3/8 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 x (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 -3/8 y) 0) x)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (fma.f64 -3/8 y x))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (fma.f64 -3/8 y x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (fma.f64 -3/8 y x) 2) 2)) (fma.f64 -3/8 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (cbrt.f64 (fma.f64 -3/8 y x)))) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (fma.f64 -3/8 y x) (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (fma.f64 -3/8 y x) 2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (cbrt.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))) (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (pow.f64 (fma.f64 -3/8 y x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 (fma.f64 -3/8 y x) (cbrt.f64 (fma.f64 -3/8 y x))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 -3/8 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 (*.f64 (pow.f64 y 2) 9/64))) (cbrt.f64 (*.f64 -3/8 (*.f64 y x)))) (+.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 -3/8 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (+.f64 (cbrt.f64 (*.f64 (pow.f64 y 2) 9/64)) (cbrt.f64 (pow.f64 x 2))) (cbrt.f64 (*.f64 -3/8 (*.f64 y x)))) (+.f64 (cbrt.f64 (*.f64 -3/8 y)) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 -3/8 y) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 -3/8 y x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 -3/8 y)) (cbrt.f64 (*.f64 (pow.f64 y 2) 9/64)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 -3/8) (*.f64 (cbrt.f64 9/64) y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -3/8 (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 2)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 x) (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 2)) (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 x 2) 2)) x)) (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 x (cbrt.f64 (pow.f64 x 2)))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) 2) (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (pow.f64 x 2) (cbrt.f64 x))) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 x) x) 2)) (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (pow.f64 y 2) 9/64)) (cbrt.f64 (*.f64 -3/8 y)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 (pow.f64 y 2)) -3/8) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y (cbrt.f64 -3/8)) (cbrt.f64 9/64) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 9/64) y) (cbrt.f64 -3/8) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (*.f64 -27/512 y) (cbrt.f64 (pow.f64 y 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 y 2) 2))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 -3/8)) (*.f64 (cbrt.f64 (cbrt.f64 9/64)) (*.f64 (cbrt.f64 9/64) y)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 9/64) (*.f64 (cbrt.f64 -3/8) y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -3/8 (cbrt.f64 (pow.f64 y 2))) (cbrt.f64 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 y 2)) (*.f64 -3/8 (cbrt.f64 y)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (*.f64 -27/512 y) y)) (cbrt.f64 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -3/8 y x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y -3/8 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 -3/8 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -3/8 y) 1 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 1 (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 -3/8 y x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 -3/8 y x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (fma.f64 -3/8 y x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 -3/8 y) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x (-.f64 x (*.f64 -3/8 y)) (*.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 -3/8 y) 0) (*.f64 y (+.f64 -3/8 (/.f64 x y))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x (-.f64 x (*.f64 -3/8 y)) (*.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (*.f64 x (/.f64 (fma.f64 -3/8 y x) x)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (*.f64 -3/8 y) x) 0) (/.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) 9/64)) (-.f64 x (*.f64 -3/8 y))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 x (*.f64 -3/8 y)) 0) (/.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) 9/64)) (-.f64 x (*.f64 -3/8 y))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 x) 0) (/.f64 (-.f64 (*.f64 -27/512 (pow.f64 y 3)) (neg.f64 (pow.f64 x 3))) (fma.f64 x (-.f64 x (*.f64 -3/8 y)) (*.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 x (-.f64 x (*.f64 -3/8 y)) (*.f64 (pow.f64 y 2) 9/64)) 0) (/.f64 (-.f64 (*.f64 -27/512 (pow.f64 y 3)) (neg.f64 (pow.f64 x 3))) (fma.f64 x (-.f64 x (*.f64 -3/8 y)) (*.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 -3/8 y) 0) (/.f64 (-.f64 (*.f64 -27/512 (pow.f64 y 3)) (neg.f64 (pow.f64 x 3))) (fma.f64 x (-.f64 x (*.f64 -3/8 y)) (*.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 x (-.f64 x (*.f64 -3/8 y)) (*.f64 (pow.f64 y 2) 9/64)) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x (-.f64 x (*.f64 -3/8 y)) (*.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -3/8 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 x (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 -3/8 y) 0) x)))))

simplify2.5s (14.9%)

Algorithm

1×

egglog

Counts

83 → 84

Calls

Call 1

Inputs
x
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(*.f64 -3/8 y)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(*.f64 -3/8 y)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(*.f64 -3/8 y)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
x
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
x
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(*.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)))
(.f64 (cbrt.f64 (cbrt.f64 (fma.f64 -3/8 y x))) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (fma.f64 -3/8 y x)) 2)))
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (fma.f64 -3/8 y x) 2) 2)) (fma.f64 -3/8 y x))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (cbrt.f64 (fma.f64 -3/8 y x)))) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))))
(.f64 (cbrt.f64 (.f64 (fma.f64 -3/8 y x) (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (fma.f64 -3/8 y x) 2) 2))))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (cbrt.f64 (fma.f64 -3/8 y x)))
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (pow.f64 (fma.f64 -3/8 y x) 2))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 -3/8 y x) (cbrt.f64 (fma.f64 -3/8 y x))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 -3/8 y x))))
(.f64 (-.f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 (.f64 (pow.f64 y 2) 9/64))) (cbrt.f64 (.f64 -3/8 (.f64 y x)))) (+.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 -3/8 y))))
(.f64 (-.f64 (+.f64 (cbrt.f64 (.f64 (pow.f64 y 2) 9/64)) (cbrt.f64 (pow.f64 x 2))) (cbrt.f64 (.f64 -3/8 (.f64 y x)))) (+.f64 (cbrt.f64 (*.f64 -3/8 y)) (cbrt.f64 x)))
(*.f64 1 (fma.f64 -3/8 y x))
(*.f64 (fma.f64 -3/8 y x) 1)
(-.f64 (*.f64 -3/8 y) (neg.f64 x))
(/.f64 (fma.f64 -3/8 y x) 1)
(/.f64 (neg.f64 (fma.f64 -3/8 y x)) -1)
(fma.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 (.f64 (pow.f64 y 2) 9/64)) x)
(fma.f64 (cbrt.f64 -3/8) (*.f64 (cbrt.f64 9/64) y) x)
(fma.f64 (*.f64 -3/8 (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 2)) x)
(fma.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 x) (*.f64 -3/8 y))
(fma.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 2)) (*.f64 -3/8 y))
(fma.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 x 2) 2)) x)) (.f64 -3/8 y))
(fma.f64 (cbrt.f64 (.f64 x (cbrt.f64 (pow.f64 x 2)))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) 2) (.f64 -3/8 y))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 x 2) (cbrt.f64 x))) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (.f64 -3/8 y))
(fma.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 x) x) 2)) (.f64 -3/8 y))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 y 2) 9/64)) (cbrt.f64 (.f64 -3/8 y)) x)
(fma.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 (pow.f64 y 2)) -3/8) x)
(fma.f64 (*.f64 y (cbrt.f64 -3/8)) (cbrt.f64 9/64) x)
(fma.f64 (*.f64 (cbrt.f64 9/64) y) (cbrt.f64 -3/8) x)
(fma.f64 (cbrt.f64 (.f64 (.f64 -27/512 y) (cbrt.f64 (pow.f64 y 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 y 2) 2))) x)
(fma.f64 (cbrt.f64 (cbrt.f64 -3/8)) (.f64 (cbrt.f64 (cbrt.f64 9/64)) (.f64 (cbrt.f64 9/64) y)) x)
(fma.f64 (cbrt.f64 9/64) (*.f64 (cbrt.f64 -3/8) y) x)
(fma.f64 (*.f64 -3/8 (cbrt.f64 (pow.f64 y 2))) (cbrt.f64 y) x)
(fma.f64 (cbrt.f64 (pow.f64 y 2)) (*.f64 -3/8 (cbrt.f64 y)) x)
(fma.f64 (cbrt.f64 (.f64 (.f64 -27/512 y) y)) (cbrt.f64 y) x)
(fma.f64 -3/8 y x)
(fma.f64 y -3/8 x)
(fma.f64 1 (*.f64 -3/8 y) x)
(fma.f64 1 x (*.f64 -3/8 y))
(fma.f64 (*.f64 -3/8 y) 1 x)
(fma.f64 x 1 (*.f64 -3/8 y))
(pow.f64 (pow.f64 (fma.f64 -3/8 y x) 3) 1/3)
(pow.f64 (cbrt.f64 (fma.f64 -3/8 y x)) 3)
(pow.f64 (fma.f64 -3/8 y x) 1)
(cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 3))
(neg.f64 (neg.f64 (fma.f64 -3/8 y x)))
(neg.f64 (*.f64 (fma.f64 -3/8 y x) -1))
(if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (*.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (.f64 y (+.f64 -3/8 (/.f64 x y))) (fma.f64 -3/8 y x))
(if (!=.f64 x 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))
(if (!=.f64 x 0) (*.f64 x (/.f64 (fma.f64 -3/8 y x) x)) (fma.f64 -3/8 y x))
(if (!=.f64 (-.f64 (.f64 -3/8 y) x) 0) (/.f64 (-.f64 (pow.f64 x 2) (.f64 (pow.f64 y 2) 9/64)) (-.f64 x (*.f64 -3/8 y))) (fma.f64 -3/8 y x))
(if (!=.f64 (-.f64 x (.f64 -3/8 y)) 0) (/.f64 (-.f64 (pow.f64 x 2) (.f64 (pow.f64 y 2) 9/64)) (-.f64 x (*.f64 -3/8 y))) (fma.f64 -3/8 y x))
(if (!=.f64 (neg.f64 x) 0) (/.f64 (-.f64 (.f64 -27/512 (pow.f64 y 3)) (neg.f64 (pow.f64 x 3))) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (*.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64)) 0) (/.f64 (-.f64 (.f64 -27/512 (pow.f64 y 3)) (neg.f64 (pow.f64 x 3))) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (*.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (-.f64 (.f64 -27/512 (pow.f64 y 3)) (neg.f64 (pow.f64 x 3))) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64)) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))
(+.f64 (*.f64 -3/8 y) x)
(+.f64 x (*.f64 -3/8 y))
(+.f64 (-.f64 (*.f64 -3/8 y) 0) x)

Outputs
x
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(*.f64 -3/8 y)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(*.f64 -3/8 y)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(*.f64 -3/8 y)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
x
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
x
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(*.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)))
(fma.f64 -3/8 y x)
(.f64 (cbrt.f64 (cbrt.f64 (fma.f64 -3/8 y x))) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (fma.f64 -3/8 y x)) 2)))
(cbrt.f64 (.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (pow.f64 (.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (fma.f64 -3/8 y x)) 2)))
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (fma.f64 -3/8 y x) 2) 2)) (fma.f64 -3/8 y x))))
(cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (.f64 (fma.f64 -3/8 y x) (pow.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) 2))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (cbrt.f64 (fma.f64 -3/8 y x)))) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))))
(cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (pow.f64 (fma.f64 -3/8 y x) 2))))
(.f64 (cbrt.f64 (.f64 (fma.f64 -3/8 y x) (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (fma.f64 -3/8 y x) 2) 2))))
(cbrt.f64 (.f64 (.f64 (fma.f64 -3/8 y x) (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))) (pow.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) 2)))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (cbrt.f64 (fma.f64 -3/8 y x)))
(fma.f64 -3/8 y x)
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (pow.f64 (fma.f64 -3/8 y x) 2))))
(cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (pow.f64 (fma.f64 -3/8 y x) 2))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (fma.f64 -3/8 y x) (cbrt.f64 (fma.f64 -3/8 y x))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 -3/8 y x))))
(cbrt.f64 (.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (pow.f64 (.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (fma.f64 -3/8 y x)) 2)))
(.f64 (-.f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 (.f64 (pow.f64 y 2) 9/64))) (cbrt.f64 (.f64 -3/8 (.f64 y x)))) (+.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 -3/8 y))))
(fma.f64 -3/8 y x)
(.f64 (-.f64 (+.f64 (cbrt.f64 (.f64 (pow.f64 y 2) 9/64)) (cbrt.f64 (pow.f64 x 2))) (cbrt.f64 (.f64 -3/8 (.f64 y x)))) (+.f64 (cbrt.f64 (*.f64 -3/8 y)) (cbrt.f64 x)))
(fma.f64 -3/8 y x)
(*.f64 1 (fma.f64 -3/8 y x))
(fma.f64 -3/8 y x)
(*.f64 (fma.f64 -3/8 y x) 1)
(fma.f64 -3/8 y x)
(-.f64 (*.f64 -3/8 y) (neg.f64 x))
(fma.f64 -3/8 y x)
(/.f64 (fma.f64 -3/8 y x) 1)
(fma.f64 -3/8 y x)
(/.f64 (neg.f64 (fma.f64 -3/8 y x)) -1)
(fma.f64 -3/8 y x)
(fma.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 (.f64 (pow.f64 y 2) 9/64)) x)
(fma.f64 -3/8 y x)
(fma.f64 (cbrt.f64 -3/8) (*.f64 (cbrt.f64 9/64) y) x)
(fma.f64 (*.f64 -3/8 (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 2)) x)
(fma.f64 (*.f64 (cbrt.f64 y) -3/8) (pow.f64 (cbrt.f64 y) 2) x)
(fma.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 x) (*.f64 -3/8 y))
(fma.f64 -3/8 y x)
(fma.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 2)) (*.f64 -3/8 y))
(fma.f64 -3/8 y x)
(fma.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 x 2) 2)) x)) (.f64 -3/8 y))
(fma.f64 (cbrt.f64 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 (.f64 x (cbrt.f64 (pow.f64 (.f64 x x) 2)))) (*.f64 -3/8 y))
(fma.f64 (cbrt.f64 (.f64 x (cbrt.f64 (pow.f64 x 2)))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) 2) (.f64 -3/8 y))
(fma.f64 (cbrt.f64 (.f64 x (pow.f64 (cbrt.f64 x) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 x x) 2))) (*.f64 -3/8 y))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 x 2) (cbrt.f64 x))) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (.f64 -3/8 y))
(fma.f64 (cbrt.f64 (.f64 (.f64 x x) (cbrt.f64 x))) (cbrt.f64 (pow.f64 (cbrt.f64 x) 2)) (*.f64 -3/8 y))
(fma.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 x) x) 2)) (.f64 -3/8 y))
(fma.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (pow.f64 (.f64 x (cbrt.f64 x)) 2)) (.f64 -3/8 y))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 y 2) 9/64)) (cbrt.f64 (.f64 -3/8 y)) x)
(fma.f64 -3/8 y x)
(fma.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 (pow.f64 y 2)) -3/8) x)
(fma.f64 (cbrt.f64 y) (*.f64 -3/8 (pow.f64 (cbrt.f64 y) 2)) x)
(fma.f64 (*.f64 y (cbrt.f64 -3/8)) (cbrt.f64 9/64) x)
(fma.f64 (*.f64 (cbrt.f64 -3/8) y) (cbrt.f64 9/64) x)
(fma.f64 (*.f64 (cbrt.f64 9/64) y) (cbrt.f64 -3/8) x)
(fma.f64 (cbrt.f64 (.f64 (.f64 -27/512 y) (cbrt.f64 (pow.f64 y 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 y 2) 2))) x)
(fma.f64 (cbrt.f64 (.f64 (.f64 -27/512 y) (pow.f64 (cbrt.f64 y) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 y y) 2))) x)
(fma.f64 (cbrt.f64 (cbrt.f64 -3/8)) (.f64 (cbrt.f64 (cbrt.f64 9/64)) (.f64 (cbrt.f64 9/64) y)) x)
(fma.f64 (cbrt.f64 (cbrt.f64 -3/8)) (*.f64 (pow.f64 9/64 (+.f64 1/9 1/3)) y) x)
(fma.f64 (cbrt.f64 9/64) (*.f64 (cbrt.f64 -3/8) y) x)
(fma.f64 (*.f64 -3/8 (cbrt.f64 (pow.f64 y 2))) (cbrt.f64 y) x)
(fma.f64 (*.f64 -3/8 (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) x)
(fma.f64 (cbrt.f64 (pow.f64 y 2)) (*.f64 -3/8 (cbrt.f64 y)) x)
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) -3/8) x)
(fma.f64 (cbrt.f64 (.f64 (.f64 -27/512 y) y)) (cbrt.f64 y) x)
(fma.f64 (*.f64 -3/8 (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) x)
(fma.f64 -3/8 y x)
(fma.f64 y -3/8 x)
(fma.f64 -3/8 y x)
(fma.f64 1 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(fma.f64 1 x (*.f64 -3/8 y))
(fma.f64 -3/8 y x)
(fma.f64 (*.f64 -3/8 y) 1 x)
(fma.f64 -3/8 y x)
(fma.f64 x 1 (*.f64 -3/8 y))
(fma.f64 -3/8 y x)
(pow.f64 (pow.f64 (fma.f64 -3/8 y x) 3) 1/3)
(fma.f64 -3/8 y x)
(pow.f64 (cbrt.f64 (fma.f64 -3/8 y x)) 3)
(fma.f64 -3/8 y x)
(pow.f64 (fma.f64 -3/8 y x) 1)
(fma.f64 -3/8 y x)
(cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 3))
(fma.f64 -3/8 y x)
(neg.f64 (neg.f64 (fma.f64 -3/8 y x)))
(fma.f64 -3/8 y x)
(neg.f64 (*.f64 (fma.f64 -3/8 y x) -1))
(fma.f64 -3/8 y x)
(if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (*.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 -3/8 y) (-.f64 (.f64 -3/8 y) x)))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (.f64 y (+.f64 -3/8 (/.f64 x y))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (.f64 y (-.f64 (/.f64 x y) 3/8)) (fma.f64 -3/8 y x))
(if (!=.f64 x 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))
(if (!=.f64 x 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 -3/8 y) (-.f64 (*.f64 -3/8 y) x)))) (fma.f64 -3/8 y x))
(if (!=.f64 x 0) (*.f64 x (/.f64 (fma.f64 -3/8 y x) x)) (fma.f64 -3/8 y x))
(if (!=.f64 x 0) (/.f64 (*.f64 x (fma.f64 -3/8 y x)) x) (fma.f64 -3/8 y x))
(if (!=.f64 (-.f64 (.f64 -3/8 y) x) 0) (/.f64 (-.f64 (pow.f64 x 2) (.f64 (pow.f64 y 2) 9/64)) (-.f64 x (*.f64 -3/8 y))) (fma.f64 -3/8 y x))
(if (!=.f64 (-.f64 (.f64 -3/8 y) x) 0) (/.f64 (fma.f64 x x (.f64 -9/64 (.f64 y y))) (-.f64 x (.f64 -3/8 y))) (fma.f64 -3/8 y x))
(if (!=.f64 (-.f64 x (.f64 -3/8 y)) 0) (/.f64 (-.f64 (pow.f64 x 2) (.f64 (pow.f64 y 2) 9/64)) (-.f64 x (*.f64 -3/8 y))) (fma.f64 -3/8 y x))
(if (!=.f64 (-.f64 x (.f64 -3/8 y)) 0) (/.f64 (fma.f64 x x (.f64 -9/64 (.f64 y y))) (-.f64 x (.f64 -3/8 y))) (fma.f64 -3/8 y x))
(if (!=.f64 (neg.f64 x) 0) (/.f64 (-.f64 (.f64 -27/512 (pow.f64 y 3)) (neg.f64 (pow.f64 x 3))) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (*.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))
(if (!=.f64 (neg.f64 x) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 -3/8 y) (-.f64 (*.f64 -3/8 y) x)))) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64)) 0) (/.f64 (-.f64 (.f64 -27/512 (pow.f64 y 3)) (neg.f64 (pow.f64 x 3))) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (*.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 x x (.f64 (.f64 -3/8 y) (-.f64 (.f64 -3/8 y) x))) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 -3/8 y) (-.f64 (.f64 -3/8 y) x)))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (-.f64 (.f64 -27/512 (pow.f64 y 3)) (neg.f64 (pow.f64 x 3))) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 -3/8 y) (-.f64 (.f64 -3/8 y) x)))) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64)) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x (-.f64 x (.f64 -3/8 y)) (.f64 (pow.f64 y 2) 9/64))) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 x x (.f64 (.f64 -3/8 y) (-.f64 (.f64 -3/8 y) x))) 0) (/.f64 (fma.f64 -27/512 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 -3/8 y) (-.f64 (.f64 -3/8 y) x)))) (fma.f64 -3/8 y x))
(+.f64 (*.f64 -3/8 y) x)
(fma.f64 -3/8 y x)
(+.f64 x (*.f64 -3/8 y))
(fma.f64 -3/8 y x)
(+.f64 (-.f64 (*.f64 -3/8 y) 0) x)
(fma.f64 -3/8 y x)

eval86.0ms (0.5%)

Compiler: Compiled 3079 to 2064 computations (33% saved)

prune23.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	178	3	181
Fresh	0	0	0
Picked	0	1	1
Done	1	0	1
Total	179	4	183

Error

Counts

183 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(fma.f64 -3/8 y x)
▶	0.1b	(-.f64 x (*.f64 3/8 y))
▶	35.4b	(*.f64 y -3/8)
	28.6b	x

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize3.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 x (*.f64 3/8 y))

Compiler

Compiled 13 to 8 computations (38.5% saved)

series5.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(-.f64 x (*.f64 3/8 y))
0.0ms	y	@	-inf	(-.f64 x (*.f64 3/8 y))
0.0ms	x	@	-inf	(-.f64 x (*.f64 3/8 y))
0.0ms	y	@	inf	(-.f64 x (*.f64 3/8 y))
0.0ms	x	@	inf	(-.f64 x (*.f64 3/8 y))

Compiler

Compiled 525 to 315 computations (40% saved)

rewrite1.5s (8.6%)

Algorithm

1×	batch-egg-rewrite

Rules

67× egg-rr

Counts

1 → 67

Calls

Call 1

Inputs
(-.f64 x (*.f64 3/8 y))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 -3/8 y x)) (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (cbrt.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (.f64 (cbrt.f64 (.f64 3/8 y)) (+.f64 (cbrt.f64 (.f64 3/8 y)) (cbrt.f64 x)))) (+.f64 (cbrt.f64 x) (cbrt.f64 (.f64 -3/8 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (cbrt.f64 (fma.f64 -3/8 y x))) (neg.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (fma.f64 -3/8 y x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 0 (+.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (.f64 0 (neg.f64 (cbrt.f64 (fma.f64 -3/8 y x)))))) (cbrt.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (-.f64 (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 -3/8 y))))) (+.f64 (cbrt.f64 x) (cbrt.f64 (.f64 -3/8 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 0 (-.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (.f64 0 (cbrt.f64 (fma.f64 -3/8 y x))))) (+.f64 0 (cbrt.f64 (fma.f64 -3/8 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) (-.f64 (cbrt.f64 (pow.f64 x 2)) (.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 x)))) (+.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (neg.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (fma.f64 -3/8 y x) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (fma.f64 -3/8 y x) 3/8) 3/8)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 x (.f64 3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 -3/8 y) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 -3/8 y x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 -3/8 (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 2)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1 (.f64 3/8 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 3/8 (neg.f64 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 y) 3/8 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 0 0 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 0 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 3/8 y)) (cbrt.f64 (.f64 -9/64 (pow.f64 y 2))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 -3/8 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 2)) (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 x) (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 1 (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -3/8 y x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y -3/8 x)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 -3/8 y x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 -3/8 y x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 x x (.f64 3/8 (.f64 y (fma.f64 3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 x x (.f64 3/8 (.f64 y (fma.f64 3/8 y x)))) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 x x (.f64 3/8 (.f64 y (fma.f64 3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 x x (.f64 3/8 (.f64 y (fma.f64 3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 3/8 y x) 0) (/.f64 (fma.f64 x x (.f64 -9/64 (pow.f64 y 2))) (fma.f64 3/8 y x)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (.f64 x (/.f64 (fma.f64 -3/8 y x) x)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 x x (.f64 3/8 (.f64 y (fma.f64 3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (fma.f64 -3/8 y x)) 0) (/.f64 (neg.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (neg.f64 (fma.f64 -3/8 y x))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (fma.f64 3/8 y x)) 0) (/.f64 (fma.f64 x x (.f64 -9/64 (pow.f64 y 2))) (fma.f64 3/8 y x)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 -3/8 y) 0) (.f64 (.f64 -3/8 y) (+.f64 1 (/.f64 x (.f64 -3/8 y)))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (fma.f64 -3/8 y x)) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 -3/8 y x) 0) (/.f64 1 (pow.f64 (fma.f64 -3/8 y x) -1)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (.f64 0 (+.f64 1 (/.f64 (fma.f64 -3/8 y x) 0))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 x) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (.f64 0 (fma.f64 -3/8 y x)))) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (.f64 -3/8 y) (neg.f64 x)))) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 -3/8 y x) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1 0) (fma.f64 -3/8 y x) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 3/8 0) (fma.f64 -3/8 y x) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 2 0) (fma.f64 -3/8 y x) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (fma.f64 -3/8 y x) 2) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -3/8 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 x (.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 -3/8 y x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 -3/8 y) 0) x)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (cbrt.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (*.f64 (cbrt.f64 (*.f64 3/8 y)) (+.f64 (cbrt.f64 (*.f64 3/8 y)) (cbrt.f64 x)))) (+.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 -3/8 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (cbrt.f64 (fma.f64 -3/8 y x))) (neg.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (fma.f64 -3/8 y x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 0 (+.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (*.f64 0 (neg.f64 (cbrt.f64 (fma.f64 -3/8 y x)))))) (cbrt.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (-.f64 (cbrt.f64 (*.f64 9/64 (pow.f64 y 2))) (*.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 -3/8 y))))) (+.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 -3/8 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 0 (-.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (*.f64 0 (cbrt.f64 (fma.f64 -3/8 y x))))) (+.f64 0 (cbrt.f64 (fma.f64 -3/8 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 (*.f64 9/64 (pow.f64 y 2))) (-.f64 (cbrt.f64 (pow.f64 x 2)) (*.f64 (cbrt.f64 (*.f64 -3/8 y)) (cbrt.f64 x)))) (+.f64 (cbrt.f64 (*.f64 -3/8 y)) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 -3/8 y x) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 -3/8 y x) 3/8) 3/8)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 x (*.f64 3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 -3/8 y) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 -3/8 y x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -3/8 (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 2)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1 (*.f64 3/8 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 3/8 (neg.f64 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 y) 3/8 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 -3/8 y)) (cbrt.f64 (*.f64 9/64 (pow.f64 y 2))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 0 0 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 0 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 3/8 y)) (cbrt.f64 (*.f64 -9/64 (pow.f64 y 2))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 -3/8 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 2)) (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 x) (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 1 (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -3/8 y x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y -3/8 x)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 -3/8 y x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 -3/8 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 -3/8 y x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (fma.f64 -3/8 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (*.f64 27/512 (pow.f64 y 3))) (fma.f64 x x (*.f64 3/8 (*.f64 y (fma.f64 3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 x x (*.f64 3/8 (*.f64 y (fma.f64 3/8 y x)))) 0) (/.f64 (-.f64 (pow.f64 x 3) (*.f64 27/512 (pow.f64 y 3))) (fma.f64 x x (*.f64 3/8 (*.f64 y (fma.f64 3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (/.f64 (-.f64 (pow.f64 x 3) (*.f64 27/512 (pow.f64 y 3))) (fma.f64 x x (*.f64 3/8 (*.f64 y (fma.f64 3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 3/8 y x) 0) (/.f64 (fma.f64 x x (*.f64 -9/64 (pow.f64 y 2))) (fma.f64 3/8 y x)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (*.f64 x (/.f64 (fma.f64 -3/8 y x) x)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 -3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (*.f64 27/512 (pow.f64 y 3))) (fma.f64 x x (*.f64 3/8 (*.f64 y (fma.f64 3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (fma.f64 -3/8 y x)) 0) (/.f64 (neg.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (neg.f64 (fma.f64 -3/8 y x))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (fma.f64 3/8 y x)) 0) (/.f64 (fma.f64 x x (*.f64 -9/64 (pow.f64 y 2))) (fma.f64 3/8 y x)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 -3/8 y) 0) (*.f64 (*.f64 -3/8 y) (+.f64 1 (/.f64 x (*.f64 -3/8 y)))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (fma.f64 -3/8 y x)) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 -3/8 y x) 0) (/.f64 1 (pow.f64 (fma.f64 -3/8 y x) -1)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (*.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (*.f64 0 (+.f64 1 (/.f64 (fma.f64 -3/8 y x) 0))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 x) 0) (/.f64 (-.f64 (pow.f64 x 3) (*.f64 27/512 (pow.f64 y 3))) (+.f64 (*.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (*.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (*.f64 0 (fma.f64 -3/8 y x)))) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (*.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (*.f64 -3/8 y) (neg.f64 x)))) 0) (/.f64 (-.f64 (pow.f64 x 3) (*.f64 27/512 (pow.f64 y 3))) (+.f64 (*.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (*.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 -3/8 y x) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (*.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 -3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (*.f64 27/512 (pow.f64 y 3))) (+.f64 (*.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (*.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1 0) (fma.f64 -3/8 y x) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 3/8 0) (fma.f64 -3/8 y x) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 2 0) (fma.f64 -3/8 y x) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (fma.f64 -3/8 y x) 2) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -3/8 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 x (*.f64 -3/8 y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fma.f64 -3/8 y x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 -3/8 y x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 -3/8 y) 0) x)))))

simplify2.0s (11.9%)

Algorithm

1×

egglog

Counts

91 → 70

Calls

Call 1

Inputs
(*.f64 -3/8 y)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
x
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
x
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
x
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(*.f64 -3/8 y)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(*.f64 -3/8 y)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(+.f64 (*.f64 -3/8 y) x)
(*.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (cbrt.f64 (fma.f64 -3/8 y x)))
(.f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (.f64 (cbrt.f64 (.f64 3/8 y)) (+.f64 (cbrt.f64 (.f64 3/8 y)) (cbrt.f64 x)))) (+.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 -3/8 y))))
(*.f64 (neg.f64 (cbrt.f64 (fma.f64 -3/8 y x))) (neg.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))))
(*.f64 1 (fma.f64 -3/8 y x))
(*.f64 (fma.f64 -3/8 y x) 1)
(*.f64 (neg.f64 (fma.f64 -3/8 y x)) -1)
(.f64 (+.f64 0 (+.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (.f64 0 (neg.f64 (cbrt.f64 (fma.f64 -3/8 y x)))))) (cbrt.f64 (fma.f64 -3/8 y x)))
(.f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (-.f64 (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 -3/8 y))))) (+.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 -3/8 y))))
(.f64 (+.f64 0 (-.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (.f64 0 (cbrt.f64 (fma.f64 -3/8 y x))))) (+.f64 0 (cbrt.f64 (fma.f64 -3/8 y x))))
(.f64 (+.f64 (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) (-.f64 (cbrt.f64 (pow.f64 x 2)) (.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 x)))) (+.f64 (cbrt.f64 (*.f64 -3/8 y)) (cbrt.f64 x)))
(*.f64 -1 (neg.f64 (fma.f64 -3/8 y x)))
(*.f64 (/.f64 (fma.f64 -3/8 y x) 2) 2)
(*.f64 (/.f64 (fma.f64 -3/8 y x) 3/8) 3/8)
(-.f64 x (*.f64 3/8 y))
(-.f64 0 (neg.f64 (fma.f64 -3/8 y x)))
(-.f64 (*.f64 -3/8 y) (neg.f64 x))
(/.f64 (fma.f64 -3/8 y x) 1)
(/.f64 (neg.f64 (fma.f64 -3/8 y x)) -1)
(fma.f64 (*.f64 -3/8 (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 2)) x)
(fma.f64 -1 (*.f64 3/8 y) x)
(fma.f64 3/8 (neg.f64 y) x)
(fma.f64 (neg.f64 y) 3/8 x)
(fma.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) x)
(fma.f64 0 0 (fma.f64 -3/8 y x))
(fma.f64 1 0 (fma.f64 -3/8 y x))
(fma.f64 (cbrt.f64 (.f64 3/8 y)) (cbrt.f64 (.f64 -9/64 (pow.f64 y 2))) x)
(fma.f64 1 (*.f64 -3/8 y) x)
(fma.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 2)) (*.f64 -3/8 y))
(fma.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 x) (*.f64 -3/8 y))
(fma.f64 1 x (*.f64 -3/8 y))
(fma.f64 x 1 (*.f64 -3/8 y))
(fma.f64 -3/8 y x)
(fma.f64 y -3/8 x)
(pow.f64 (cbrt.f64 (fma.f64 -3/8 y x)) 3)
(pow.f64 (fma.f64 -3/8 y x) 1)
(pow.f64 (pow.f64 (fma.f64 -3/8 y x) 3) 1/3)
(cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 3))
(neg.f64 (neg.f64 (fma.f64 -3/8 y x)))
(if (!=.f64 (.f64 3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 x x (.f64 3/8 (.f64 y (fma.f64 3/8 y x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 x x (.f64 3/8 (.f64 y (fma.f64 3/8 y x)))) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 x x (.f64 3/8 (*.f64 y (fma.f64 3/8 y x))))) (fma.f64 -3/8 y x))
(if (!=.f64 x 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 x x (.f64 3/8 (*.f64 y (fma.f64 3/8 y x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 3/8 y x) 0) (/.f64 (fma.f64 x x (*.f64 -9/64 (pow.f64 y 2))) (fma.f64 3/8 y x)) (fma.f64 -3/8 y x))
(if (!=.f64 x 0) (*.f64 x (/.f64 (fma.f64 -3/8 y x) x)) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 x x (.f64 3/8 (.f64 y (fma.f64 3/8 y x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (neg.f64 (fma.f64 -3/8 y x)) 0) (/.f64 (neg.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (neg.f64 (fma.f64 -3/8 y x))) (fma.f64 -3/8 y x))
(if (!=.f64 (neg.f64 (fma.f64 3/8 y x)) 0) (/.f64 (fma.f64 x x (*.f64 -9/64 (pow.f64 y 2))) (fma.f64 3/8 y x)) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (.f64 (.f64 -3/8 y) (+.f64 1 (/.f64 x (.f64 -3/8 y)))) (fma.f64 -3/8 y x))
(if (!=.f64 (neg.f64 (fma.f64 -3/8 y x)) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))
(if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 -3/8 y x) 0) (/.f64 1 (pow.f64 (fma.f64 -3/8 y x) -1)) (fma.f64 -3/8 y x))
(if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (*.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))
(if (!=.f64 0 0) (*.f64 0 (+.f64 1 (/.f64 (fma.f64 -3/8 y x) 0))) (fma.f64 -3/8 y x))
(if (!=.f64 (neg.f64 x) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (.f64 0 (fma.f64 -3/8 y x)))) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (.f64 -3/8 y) (neg.f64 x)))) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (*.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (fma.f64 -3/8 y x) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (*.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))
(if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (*.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))
(if (!=.f64 1 0) (fma.f64 -3/8 y x) (fma.f64 -3/8 y x))
(if (!=.f64 3/8 0) (fma.f64 -3/8 y x) (fma.f64 -3/8 y x))
(if (!=.f64 2 0) (fma.f64 -3/8 y x) (fma.f64 -3/8 y x))
(if (!=.f64 (pow.f64 (fma.f64 -3/8 y x) 2) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))
(+.f64 (*.f64 -3/8 y) x)
(+.f64 x (*.f64 -3/8 y))
(+.f64 0 (fma.f64 -3/8 y x))
(+.f64 (fma.f64 -3/8 y x) 0)
(+.f64 (-.f64 (*.f64 -3/8 y) 0) x)

Outputs
(*.f64 -3/8 y)
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
x
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
x
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
x
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
(*.f64 -3/8 y)
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
(*.f64 -3/8 y)
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
(*.f64 (cbrt.f64 (fma.f64 -3/8 y x)) (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)))
(E.f64)
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (cbrt.f64 (fma.f64 -3/8 y x)))
(E.f64)
(.f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (.f64 (cbrt.f64 (.f64 3/8 y)) (+.f64 (cbrt.f64 (.f64 3/8 y)) (cbrt.f64 x)))) (+.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 -3/8 y))))
(E.f64)
(*.f64 (neg.f64 (cbrt.f64 (fma.f64 -3/8 y x))) (neg.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2))))
(E.f64)
(*.f64 1 (fma.f64 -3/8 y x))
(E.f64)
(*.f64 (fma.f64 -3/8 y x) 1)
(E.f64)
(*.f64 (neg.f64 (fma.f64 -3/8 y x)) -1)
(E.f64)
(.f64 (+.f64 0 (+.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (.f64 0 (neg.f64 (cbrt.f64 (fma.f64 -3/8 y x)))))) (cbrt.f64 (fma.f64 -3/8 y x)))
(E.f64)
(.f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (-.f64 (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 -3/8 y))))) (+.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 -3/8 y))))
(E.f64)
(.f64 (+.f64 0 (-.f64 (cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (.f64 0 (cbrt.f64 (fma.f64 -3/8 y x))))) (+.f64 0 (cbrt.f64 (fma.f64 -3/8 y x))))
(E.f64)
(.f64 (+.f64 (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) (-.f64 (cbrt.f64 (pow.f64 x 2)) (.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 x)))) (+.f64 (cbrt.f64 (*.f64 -3/8 y)) (cbrt.f64 x)))
(E.f64)
(*.f64 -1 (neg.f64 (fma.f64 -3/8 y x)))
(E.f64)
(*.f64 (/.f64 (fma.f64 -3/8 y x) 2) 2)
(E.f64)
(*.f64 (/.f64 (fma.f64 -3/8 y x) 3/8) 3/8)
(E.f64)
(-.f64 x (*.f64 3/8 y))
(E.f64)
(-.f64 0 (neg.f64 (fma.f64 -3/8 y x)))
(E.f64)
(-.f64 (*.f64 -3/8 y) (neg.f64 x))
(E.f64)
(/.f64 (fma.f64 -3/8 y x) 1)
(E.f64)
(/.f64 (neg.f64 (fma.f64 -3/8 y x)) -1)
(E.f64)
(fma.f64 (*.f64 -3/8 (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 2)) x)
(E.f64)
(fma.f64 -1 (*.f64 3/8 y) x)
(E.f64)
(fma.f64 3/8 (neg.f64 y) x)
(E.f64)
(fma.f64 (neg.f64 y) 3/8 x)
(E.f64)
(fma.f64 (cbrt.f64 (.f64 -3/8 y)) (cbrt.f64 (.f64 9/64 (pow.f64 y 2))) x)
(E.f64)
(fma.f64 0 0 (fma.f64 -3/8 y x))
(E.f64)
(fma.f64 1 0 (fma.f64 -3/8 y x))
(E.f64)
(fma.f64 (cbrt.f64 (.f64 3/8 y)) (cbrt.f64 (.f64 -9/64 (pow.f64 y 2))) x)
(E.f64)
(fma.f64 1 (*.f64 -3/8 y) x)
(E.f64)
(fma.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 2)) (*.f64 -3/8 y))
(E.f64)
(fma.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 x) (*.f64 -3/8 y))
(E.f64)
(fma.f64 1 x (*.f64 -3/8 y))
(E.f64)
(fma.f64 x 1 (*.f64 -3/8 y))
(E.f64)
(fma.f64 -3/8 y x)
(E.f64)
(fma.f64 y -3/8 x)
(E.f64)
(pow.f64 (cbrt.f64 (fma.f64 -3/8 y x)) 3)
(E.f64)
(pow.f64 (fma.f64 -3/8 y x) 1)
(E.f64)
(pow.f64 (pow.f64 (fma.f64 -3/8 y x) 3) 1/3)
(E.f64)
(cbrt.f64 (pow.f64 (fma.f64 -3/8 y x) 3))
(E.f64)
(neg.f64 (neg.f64 (fma.f64 -3/8 y x)))
(E.f64)
(if (!=.f64 (.f64 3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 x x (.f64 3/8 (.f64 y (fma.f64 3/8 y x))))) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 (fma.f64 x x (.f64 3/8 (.f64 y (fma.f64 3/8 y x)))) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 x x (.f64 3/8 (*.f64 y (fma.f64 3/8 y x))))) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 x 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 x x (.f64 3/8 (*.f64 y (fma.f64 3/8 y x))))) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 (fma.f64 3/8 y x) 0) (/.f64 (fma.f64 x x (*.f64 -9/64 (pow.f64 y 2))) (fma.f64 3/8 y x)) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 x 0) (*.f64 x (/.f64 (fma.f64 -3/8 y x) x)) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (fma.f64 x x (.f64 3/8 (.f64 y (fma.f64 3/8 y x))))) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 (neg.f64 (fma.f64 -3/8 y x)) 0) (/.f64 (neg.f64 (pow.f64 (fma.f64 -3/8 y x) 2)) (neg.f64 (fma.f64 -3/8 y x))) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 (neg.f64 (fma.f64 3/8 y x)) 0) (/.f64 (fma.f64 x x (*.f64 -9/64 (pow.f64 y 2))) (fma.f64 3/8 y x)) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 (.f64 -3/8 y) 0) (.f64 (.f64 -3/8 y) (+.f64 1 (/.f64 x (.f64 -3/8 y)))) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 (neg.f64 (fma.f64 -3/8 y x)) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 (fma.f64 -3/8 y x) 0) (/.f64 1 (pow.f64 (fma.f64 -3/8 y x) -1)) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (*.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 0 0) (*.f64 0 (+.f64 1 (/.f64 (fma.f64 -3/8 y x) 0))) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 (neg.f64 x) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (.f64 0 (fma.f64 -3/8 y x)))) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (.f64 -3/8 y) (neg.f64 x)))) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (*.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 (fma.f64 -3/8 y x) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 -3/8 y x) 2) (*.f64 0 (fma.f64 -3/8 y x))))) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 (.f64 -3/8 y) 0) (/.f64 (-.f64 (pow.f64 x 3) (.f64 27/512 (pow.f64 y 3))) (+.f64 (.f64 9/64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (.f64 (*.f64 -3/8 y) (neg.f64 x))))) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 1 0) (fma.f64 -3/8 y x) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 3/8 0) (fma.f64 -3/8 y x) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 2 0) (fma.f64 -3/8 y x) (fma.f64 -3/8 y x))
(E.f64)
(if (!=.f64 (pow.f64 (fma.f64 -3/8 y x) 2) 0) (/.f64 (pow.f64 (fma.f64 -3/8 y x) 3) (pow.f64 (fma.f64 -3/8 y x) 2)) (fma.f64 -3/8 y x))
(E.f64)
(+.f64 (*.f64 -3/8 y) x)
(E.f64)
(+.f64 x (*.f64 -3/8 y))
(E.f64)
(+.f64 0 (fma.f64 -3/8 y x))
(E.f64)
(+.f64 (fma.f64 -3/8 y x) 0)
(E.f64)
(+.f64 (-.f64 (*.f64 -3/8 y) 0) x)
(E.f64)

eval57.0ms (0.3%)

Compiler: Compiled 1035 to 714 computations (31% saved)

prune10.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	70	4	74

Error

Counts

74 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(fma.f64 -3/8 y x)
✓	0.1b	(-.f64 x (*.f64 3/8 y))
✓	35.4b	(*.f64 y -3/8)
	28.6b	x

Compiler

Compiled 21 to 15 computations (28.6% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune2.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	3	3
Total	4	4

Error

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(fma.f64 -3/8 y x)
✓	0.1b	(-.f64 x (*.f64 3/8 y))
✓	35.4b	(*.f64 y -3/8)
	28.6b	x

Compiler

Compiled 21 to 15 computations (28.6% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune2.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	3	3
Total	4	4

Error

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(fma.f64 -3/8 y x)
✓	0.1b	(-.f64 x (*.f64 3/8 y))
✓	35.4b	(*.f64 y -3/8)
	28.6b	x

Compiler

Compiled 21 to 15 computations (28.6% saved)

regimes19.0ms (0.1%)

Counts

5 → 1

Calls

Call 1

Inputs
x
(*.f64 y -3/8)
(-.f64 x (*.f64 3/8 y))
(-.f64 x (*.f64 (/.f64 3 8) y))
(fma.f64 -3/8 y x)

Outputs
(fma.f64 -3/8 y x)

Calls

4 calls:

5.0ms	x
4.0ms	(-.f64 x (*.f64 (/.f64 3 8) y))
4.0ms	y
4.0ms	(*.f64 (/.f64 3 8) y)

Results

Error	Segments	Branch
0b	1	`x`
0b	1	`y`
0b	1	`(-.f64 x (*.f64 (/.f64 3 8) y))`
0b	1	`(*.f64 (/.f64 3 8) y)`

Compiler

Compiled 44 to 31 computations (29.5% saved)

regimes20.0ms (0.1%)

Counts

4 → 1

Calls

Call 1

Inputs
x
(*.f64 y -3/8)
(-.f64 x (*.f64 3/8 y))
(-.f64 x (*.f64 (/.f64 3 8) y))

Outputs
(-.f64 x (*.f64 3/8 y))

Calls

4 calls:

7.0ms	(*.f64 (/.f64 3 8) y)
4.0ms	(-.f64 x (*.f64 (/.f64 3 8) y))
4.0ms	x
4.0ms	y

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`y`
0.1b	1	`(-.f64 x (*.f64 (/.f64 3 8) y))`
0.1b	1	`(*.f64 (/.f64 3 8) y)`

Compiler

Compiled 40 to 29 computations (27.5% saved)

regimes22.0ms (0.1%)

Accuracy

Total -47.7b remaining (-340%)

Threshold costs -47.7b (-340%)

Counts

2 → 5

Calls

Call 1

Inputs
x
(*.f64 y -3/8)

Outputs
x
(*.f64 y -3/8)
x
(*.f64 y -3/8)
x

Calls

2 calls:

13.0ms	x
8.0ms	y

Results

Error	Segments	Branch
14.0b	5	`x`
15.3b	3	`y`

Compiler

Compiled 12 to 8 computations (33.3% saved)

bsearch35.0ms (0.2%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
6.0ms	1.53539080395896e+107	3.013987488804412e+107
11.0ms	1.9473083728205865e+84	3.42983734425268e+86
8.0ms	5.737354530854884e-5	0.0001573801278902892
11.0ms	-4.290643421195651e-45	-3.712241214107234e-46

Results

27.0ms	332×	body	256	valid
1.0ms	8×	body	1024	valid
1.0ms	9×	body	512	valid
1.0ms	3×	body	2048	valid

Compiler

Compiled 234 to 187 computations (20.1% saved)

simplify1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 43 to 29 computations (32.6% saved)

soundness0.0ms (0%)

end27.0ms (0.2%)

Compiler: Compiled 37 to 23 computations (37.8% saved)

Details

analyze49.0ms (0.3%)

sample755.0ms (4.5%)

preprocess3.0s (17.9%)

simplify1.5s (9%)

eval1.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0%)

series5.0ms (0%)

rewrite1.5s (8.7%)

simplify2.2s (13.1%)

localize10.0ms (0.1%)

series26.0ms (0.2%)

rewrite1.5s (8.8%)

simplify2.5s (14.9%)

eval86.0ms (0.5%)

prune23.0ms (0.1%)

localize3.0ms (0%)

localize5.0ms (0%)

series5.0ms (0%)

rewrite1.5s (8.6%)

simplify2.0s (11.9%)

eval57.0ms (0.3%)

prune10.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes19.0ms (0.1%)

regimes20.0ms (0.1%)

regimes22.0ms (0.1%)

bsearch35.0ms (0.2%)

simplify1.0ms (0%)

soundness0.0ms (0%)

end27.0ms (0.2%)

Profiling