Details

analyze121.0ms (4.6%)

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
30.8%	25%	56.2%	0.1%	18.7%	0%	0%	6
48%	37.5%	40.6%	0.1%	21.9%	0%	0%	7
60%	46.8%	31.2%	0.1%	21.9%	0%	0%	8
71.4%	54.6%	21.9%	0.1%	23.4%	0%	0%	9
78.6%	60.1%	16.4%	0.1%	23.4%	0%	0%	10
85.1%	64.4%	11.3%	0.1%	24.2%	0%	0%	11
88.9%	67.3%	8.4%	0.1%	24.2%	0%	0%	12

Compiler

Compiled 10 to 6 computations (40% saved)

sample1.1s (41.1%)

Results

1.0s	8256×	body	256	valid
14.0ms	114×	body	256	infinite

Bogosity

preprocess218.0ms (8.3%)

Algorithm

2×

egglog

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(+.f64 (+.f64 (*.f64 x x) y) y)
(+.f64 (+.f64 (*.f64 y y) x) x)

Outputs
(+.f64 (+.f64 (*.f64 x x) y) y)
(+.f64 (fma.f64 x x y) y)
(+.f64 (+.f64 (*.f64 y y) x) x)
(+.f64 (fma.f64 y y x) x)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify81.0ms (3.1%)

Algorithm

1×

egglog

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 (+.f64 (*.f64 x x) y) y)

Outputs
(+.f64 (+.f64 (*.f64 x x) y) y)
(+.f64 (fma.f64 x x y) y)

eval1.0ms (0%)

Compiler: Compiled 15 to 7 computations (53.3% saved)

prune4.0ms (0.2%)

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	(+.f64 (fma.f64 x x y) y)
▶	0.0b	(+.f64 (+.f64 (*.f64 x x) y) y)

Compiler

Compiled 17 to 9 computations (47.1% saved)

localize12.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 x x) y)

Compiler

Compiled 19 to 5 computations (73.7% saved)

series16.0ms (0.6%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(+.f64 (*.f64 x x) y)
1.0ms	x	@	0	(+.f64 (*.f64 x x) y)
1.0ms	y	@	inf	(+.f64 (*.f64 x x) y)
1.0ms	y	@	0	(+.f64 (*.f64 x x) y)
0.0ms	y	@	-inf	(+.f64 (*.f64 x x) y)

Compiler

Compiled 605 to 395 computations (34.7% saved)

rewrite184.0ms (7%)

Algorithm

1×	batch-egg-rewrite

Rules

54× egg-rr

Counts

1 → 54

Calls

Call 1

Inputs
(+.f64 (*.f64 x x) y)

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

Outputs

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

simplify324.0ms (12.4%)

Algorithm

1×

egglog

Counts

78 → 77

Calls

Call 1

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

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

localize10.0ms (0.4%)

Compiler: Compiled 14 to 4 computations (71.4% saved)

eval54.0ms (2.1%)

Compiler: Compiled 1773 to 583 computations (67.1% saved)

prune23.0ms (0.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	75	2	77
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	75	4	79

Error

Counts

79 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(+.f64 (fma.f64 x x y) y)
✓	0.0b	(+.f64 (+.f64 (*.f64 x x) y) y)
▶	35.3b	(+.f64 (*.f64 x x) y)
▶	20.4b	(+.f64 y y)

Compiler

Compiled 29 to 16 computations (44.8% saved)

localize7.0ms (0.3%)

Compiler: Compiled 6 to 3 computations (50% saved)

localize8.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.0b	(+.f64 (*.f64 x x) y)

Compiler

Compiled 12 to 4 computations (66.7% saved)

eval28.0ms (1.1%)

Compiler: Compiled 1619 to 507 computations (68.7% saved)

prune21.0ms (0.8%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	75	2	77
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	75	6	81

Error

Counts

81 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(+.f64 (fma.f64 x x y) y)
✓	0.0b	(+.f64 (+.f64 (*.f64 x x) y) y)
✓	35.3b	(+.f64 (*.f64 x x) y)
✓	20.4b	(+.f64 y y)
▶	41.9b	(*.f64 x x)
	55.2b	y

Compiler

Compiled 37 to 21 computations (43.2% saved)

localize5.0ms (0.2%)

Compiler: Compiled 6 to 3 computations (50% saved)

eval0.0ms (0%)

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

prune7.0ms (0.3%)

Pruning

6 alts after pruning (1 fresh and 5 done)

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

Error

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(+.f64 (fma.f64 x x y) y)
✓	0.0b	(+.f64 (+.f64 (*.f64 x x) y) y)
✓	35.3b	(+.f64 (*.f64 x x) y)
✓	20.4b	(+.f64 y y)
✓	41.9b	(*.f64 x x)
	55.2b	y

Compiler

Compiled 37 to 21 computations (43.2% saved)

eval0.0ms (0%)

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

prune4.0ms (0.2%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	5	5
Total	6	6

Error

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(+.f64 (fma.f64 x x y) y)
✓	0.0b	(+.f64 (+.f64 (*.f64 x x) y) y)
✓	35.3b	(+.f64 (*.f64 x x) y)
✓	20.4b	(+.f64 y y)
✓	41.9b	(*.f64 x x)
	55.2b	y

Compiler

Compiled 37 to 21 computations (43.2% saved)

regimes36.0ms (1.4%)

Counts

6 → 1

Calls

Call 1

Inputs
y
(*.f64 x x)
(+.f64 y y)
(+.f64 (*.f64 x x) y)
(+.f64 (+.f64 (*.f64 x x) y) y)
(+.f64 (fma.f64 x x y) y)

Outputs
(+.f64 (fma.f64 x x y) y)

Calls

4 calls:

10.0ms	y
9.0ms	(+.f64 (+.f64 (*.f64 x x) y) y)
9.0ms	x
6.0ms	(*.f64 x x)

Results

Error	Segments	Branch
0b	1	`x`
0b	1	`y`
0b	1	`(+.f64 (+.f64 (*.f64 x x) y) y)`
0b	1	`(*.f64 x x)`

Compiler

Compiled 47 to 20 computations (57.4% saved)

regimes35.0ms (1.3%)

Counts

5 → 1

Calls

Call 1

Inputs
y
(*.f64 x x)
(+.f64 y y)
(+.f64 (*.f64 x x) y)
(+.f64 (+.f64 (*.f64 x x) y) y)

Outputs
(+.f64 (+.f64 (*.f64 x x) y) y)

Calls

4 calls:

10.0ms	(+.f64 (+.f64 (*.f64 x x) y) y)
8.0ms	y
8.0ms	x
6.0ms	(*.f64 x x)

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`(+.f64 (+.f64 (*.f64 x x) y) y)`
0.0b	1	`(*.f64 x x)`

Compiler

Compiled 41 to 18 computations (56.1% saved)

regimes112.0ms (4.3%)

Counts

4 → 3

Calls

Call 1

Inputs
y
(*.f64 x x)
(+.f64 y y)
(+.f64 (*.f64 x x) y)

Outputs
(+.f64 (*.f64 x x) y)
(+.f64 y y)
(+.f64 (*.f64 x x) y)

Calls

3 calls:

54.0ms	y
43.0ms	x
13.0ms	(*.f64 x x)

Results

Error	Segments	Branch
8.9b	3	`x`
13.2b	7	`y`
9.3b	2	`(*.f64 x x)`

Compiler

Compiled 25 to 12 computations (52% saved)

bsearch24.0ms (0.9%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
13.0ms	50457138.11187649	143076274225581.7
11.0ms	-598.5830094948242	-3.758439935973428

Results

21.0ms

256×

body

256

valid

Compiler

Compiled 238 to 153 computations (35.7% saved)

regimes35.0ms (1.3%)

Counts

3 → 3

Calls

Call 1

Inputs
y
(*.f64 x x)
(+.f64 y y)

Outputs
(*.f64 x x)
(+.f64 y y)
(*.f64 x x)

Calls

3 calls:

14.0ms	y
11.0ms	x
8.0ms	(*.f64 x x)

Results

Error	Segments	Branch
9.6b	3	`x`
15.4b	5	`y`
10.1b	2	`(*.f64 x x)`

Compiler

Compiled 20 to 11 computations (45% saved)

bsearch42.0ms (1.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
31.0ms	50457138.11187649	143076274225581.7
10.0ms	-598.5830094948242	-3.758439935973428

Results

27.0ms

256×

body

256

valid

Compiler

Compiled 206 to 137 computations (33.5% saved)

regimes59.0ms (2.3%)

Accuracy

Total -23.9b remaining (-63.2%)

Threshold costs -23.9b (-63.2%)

Counts

2 → 3

Calls

Call 1

Inputs
y
(*.f64 x x)

Outputs
(*.f64 x x)
y
(*.f64 x x)

Calls

3 calls:

26.0ms	x
18.0ms	y
14.0ms	(*.f64 x x)

Results

Error	Segments	Branch
37.8b	3	`x`
39.6b	3	`y`
38.0b	2	`(*.f64 x x)`

Compiler

Compiled 17 to 10 computations (41.2% saved)

bsearch27.0ms (1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
11.0ms	3.286062574313595e-115	1.6863022765124437e-114
16.0ms	-2.567362606132031e-91	-5.138347390138457e-100

Results

22.0ms

240×

body

256

valid

Compiler

Compiled 164 to 114 computations (30.5% saved)

simplify2.0ms (0.1%)

Stop Event

1×

fuel

Compiler

Compiled 79 to 41 computations (48.1% saved)

soundness0.0ms (0%)

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

end37.0ms (1.4%)

Compiler: Compiled 69 to 26 computations (62.3% saved)

Details

analyze121.0ms (4.6%)

sample1.1s (41.1%)

preprocess218.0ms (8.3%)

simplify81.0ms (3.1%)

eval1.0ms (0%)

prune4.0ms (0.2%)

localize12.0ms (0.4%)

series16.0ms (0.6%)

rewrite184.0ms (7%)

simplify324.0ms (12.4%)

localize10.0ms (0.4%)

eval54.0ms (2.1%)

prune23.0ms (0.9%)

localize7.0ms (0.3%)

localize8.0ms (0.3%)

eval28.0ms (1.1%)

prune21.0ms (0.8%)

localize5.0ms (0.2%)

eval0.0ms (0%)

prune7.0ms (0.3%)

eval0.0ms (0%)

prune4.0ms (0.2%)

regimes36.0ms (1.4%)

regimes35.0ms (1.3%)

regimes112.0ms (4.3%)

bsearch24.0ms (0.9%)

regimes35.0ms (1.3%)

bsearch42.0ms (1.6%)

regimes59.0ms (2.3%)

bsearch27.0ms (1%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end37.0ms (1.4%)

Profiling