Details

analyze3.1s (5.4%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	199.8%	-99.8%	0%	0%	0%	1
0%	0%	399.6%	-299.6%	0%	0%	0%	2
0%	0%	799.2%	-699.2%	0%	0%	0%	3
0%	0%	1598.4%	-1498.4%	0%	0%	0%	4
0%	0%	3196.9%	-3096.9%	0%	0%	0%	5
0%	0%	6393.8%	-6293.8%	0%	0%	0%	6
0%	0%	12787.5%	-12687.5%	0%	0%	0%	7
0%	0%	25575%	-25475%	0%	0%	0%	8
0%	0%	51150%	-51050%	0%	0%	0%	9
0%	0%	102300%	-102200%	0%	0%	0%	10
0%	0%	204600%	-204500%	0%	0%	0%	11
0%	0%	409200.1%	-409100.1%	0%	0%	0%	12

Compiler

Compiled 130 to 81 computations (37.7% saved)

sample33.8s (58.5%)

Results

21.1s	7448×	body	8192	exit
7.9s	3789×	body	2048	valid
2.3s	1638×	body	1024	valid
824.0ms	753×	body	512	valid
533.0ms	1034×	body	256	valid
433.0ms	216×	body	2048	infinite
376.0ms	309×	body	1024	infinite
200.0ms	352×	body	256	infinite
167.0ms	163×	body	512	infinite
2.0ms	2×	body	4096	valid

Bogosity

preprocess85.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

1000×	`associate-*r/`
926×	`associate-*l/`
868×	`distribute-lft-out`
860×	`fma-def`
672×	`fma-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	63	654
1	219	618
2	842	598
3	4405	550
4	7901	550
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs

(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))

(+.f64 x2 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x2) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x2) x2) (*.f64 2 x1)) x2) (+.f64 (*.f64 x2 x2) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x2) x2) (*.f64 2 x1)) x2) (+.f64 (*.f64 x2 x2) 1)) 3)) (*.f64 (*.f64 x2 x2) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x2) x2) (*.f64 2 x1)) x2) (+.f64 (*.f64 x2 x2) 1))) 6))) (+.f64 (*.f64 x2 x2) 1)) (*.f64 (*.f64 (*.f64 3 x2) x2) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x2) x2) (*.f64 2 x1)) x2) (+.f64 (*.f64 x2 x2) 1)))) (*.f64 (*.f64 x2 x2) x2)) x2) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x2) x2) (*.f64 2 x1)) x2) (+.f64 (*.f64 x2 x2) 1)))))

Outputs
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))
(+.f64 x1 (+.f64 (+.f64 (fma.f64 (fma.f64 (.f64 (.f64 x1 2) (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (+.f64 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -3) (.f64 x1 (.f64 x1 (fma.f64 4 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -6)))) (fma.f64 x1 x1 1) (.f64 (.f64 3 (.f64 x1 x1)) (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 x1 (.f64 x1 x1))) (+.f64 x1 (/.f64 (.f64 3 (-.f64 (.f64 3 (.f64 x1 x1)) (+.f64 (*.f64 2 x2) x1))) (fma.f64 x1 x1 1)))))
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (+.f64 x1 (fma.f64 (fma.f64 x1 x1 1) (fma.f64 (.f64 x1 (.f64 2 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (+.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -3) (.f64 (.f64 x1 x1) (fma.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 4 -6))) (fma.f64 (.f64 x1 3) (/.f64 (.f64 x1 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1)) (fma.f64 x1 x1 1)) (pow.f64 x1 3))))))
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (+.f64 x2 x2)) x1) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 x1 (+.f64 (.f64 2 (.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (+.f64 x2 x2)) x1) (fma.f64 x1 x1 1)) (+.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (+.f64 x2 x2)) x1) (fma.f64 x1 x1 1)) -3))) (.f64 x1 (fma.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (+.f64 x2 x2)) x1) (fma.f64 x1 x1 1)) 4 -6)))) x1)))))
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 (/.f64 x1 (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 3) (-.f64 (+.f64 x2 x2) x1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (-.f64 (+.f64 x2 x2) x1)) (fma.f64 x1 x1 1)) (+.f64 (.f64 (+.f64 x1 x1) (+.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (-.f64 (+.f64 x2 x2) x1)) (fma.f64 x1 x1 1)) -3)) (.f64 4 (.f64 x1 x1)))) (.f64 x1 (.f64 x1 -6))) x1)))))
(+.f64 x2 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x2) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x2) x2) (.f64 2 x1)) x2) (+.f64 (.f64 x2 x2) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x2) x2) (.f64 2 x1)) x2) (+.f64 (.f64 x2 x2) 1)) 3)) (.f64 (.f64 x2 x2) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x2) x2) (.f64 2 x1)) x2) (+.f64 (.f64 x2 x2) 1))) 6))) (+.f64 (.f64 x2 x2) 1)) (.f64 (.f64 (.f64 3 x2) x2) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x2) x2) (.f64 2 x1)) x2) (+.f64 (.f64 x2 x2) 1)))) (.f64 (.f64 x2 x2) x2)) x2) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x2) x2) (.f64 2 x1)) x2) (+.f64 (.f64 x2 x2) 1)))))
(+.f64 x2 (+.f64 (+.f64 (fma.f64 (fma.f64 (/.f64 (.f64 (.f64 2 x2) (-.f64 (fma.f64 (.f64 3 x2) x2 (.f64 x1 2)) x2)) (fma.f64 x2 x2 1)) (+.f64 (/.f64 (-.f64 (fma.f64 (.f64 3 x2) x2 (.f64 x1 2)) x2) (fma.f64 x2 x2 1)) -3) (.f64 x2 (.f64 x2 (fma.f64 4 (/.f64 (-.f64 (fma.f64 (.f64 3 x2) x2 (.f64 x1 2)) x2) (fma.f64 x2 x2 1)) -6)))) (fma.f64 x2 x2 1) (.f64 (.f64 3 x2) (.f64 x2 (/.f64 (-.f64 (fma.f64 (.f64 3 x2) x2 (.f64 x1 2)) x2) (fma.f64 x2 x2 1))))) (.f64 x2 (.f64 x2 x2))) (+.f64 x2 (/.f64 (.f64 3 (-.f64 (.f64 3 (.f64 x2 x2)) (+.f64 (*.f64 x1 2) x2))) (fma.f64 x2 x2 1)))))
(+.f64 x2 (fma.f64 3 (/.f64 (-.f64 (.f64 3 (.f64 x2 x2)) (fma.f64 x1 2 x2)) (fma.f64 x2 x2 1)) (+.f64 x2 (fma.f64 (fma.f64 x2 x2 1) (fma.f64 x2 (.f64 x2 (fma.f64 4 (/.f64 (-.f64 (fma.f64 x1 2 (.f64 3 (.f64 x2 x2))) x2) (fma.f64 x2 x2 1)) -6)) (.f64 (/.f64 (.f64 (.f64 2 x2) (-.f64 (fma.f64 x1 2 (.f64 3 (.f64 x2 x2))) x2)) (fma.f64 x2 x2 1)) (+.f64 (/.f64 (-.f64 (fma.f64 x1 2 (.f64 3 (.f64 x2 x2))) x2) (fma.f64 x2 x2 1)) -3))) (fma.f64 (.f64 3 (.f64 x2 x2)) (/.f64 (-.f64 (fma.f64 x1 2 (.f64 3 (.f64 x2 x2))) x2) (fma.f64 x2 x2 1)) (pow.f64 x2 3))))))
(+.f64 x2 (fma.f64 3 (/.f64 (-.f64 (.f64 3 (.f64 x2 x2)) (fma.f64 x1 2 x2)) (fma.f64 x2 x2 1)) (fma.f64 3 (/.f64 (.f64 (-.f64 (fma.f64 x1 2 (.f64 3 (.f64 x2 x2))) x2) (.f64 x2 x2)) (fma.f64 x2 x2 1)) (.f64 (fma.f64 x2 x2 1) (+.f64 (.f64 x2 (+.f64 (.f64 2 (.f64 (/.f64 (-.f64 (fma.f64 x1 2 (.f64 3 (.f64 x2 x2))) x2) (fma.f64 x2 x2 1)) (+.f64 (/.f64 (-.f64 (fma.f64 x1 2 (.f64 3 (.f64 x2 x2))) x2) (fma.f64 x2 x2 1)) -3))) (.f64 x2 (fma.f64 4 (/.f64 (-.f64 (fma.f64 x1 2 (.f64 3 (*.f64 x2 x2))) x2) (fma.f64 x2 x2 1)) -6)))) x2)))))
(+.f64 x2 (fma.f64 3 (/.f64 (-.f64 (.f64 3 (.f64 x2 x2)) (fma.f64 x1 2 x2)) (fma.f64 x2 x2 1)) (fma.f64 3 (.f64 x2 (.f64 (/.f64 x2 (fma.f64 x2 x2 1)) (-.f64 (fma.f64 x1 2 (.f64 3 (.f64 x2 x2))) x2))) (.f64 (fma.f64 x2 x2 1) (+.f64 (+.f64 (.f64 (/.f64 (-.f64 (fma.f64 x1 2 (.f64 3 (.f64 x2 x2))) x2) (fma.f64 x2 x2 1)) (+.f64 (.f64 x2 (.f64 2 (+.f64 (/.f64 (-.f64 (fma.f64 x1 2 (.f64 3 (.f64 x2 x2))) x2) (fma.f64 x2 x2 1)) -3))) (.f64 (.f64 x2 x2) 4))) (.f64 x2 (.f64 x2 -6))) x2)))))

Compiler

Compiled 131 to 82 computations (37.4% saved)

simplify65.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1712×	`times-frac`
1610×	`distribute-lft-in`
1546×	`distribute-rgt-in`
642×	`+-commutative`
606×	`*-commutative`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	37	327
1	121	309
2	434	299
3	2218	275
4	7106	275

Stop Event

1×	node limit

Counts

1 → 5

Calls

Call 1

Inputs

(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))

Outputs
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))
(+.f64 x1 (+.f64 (+.f64 (fma.f64 (fma.f64 (.f64 (.f64 x1 2) (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (+.f64 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -3) (.f64 (.f64 x1 x1) (fma.f64 4 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -6))) (fma.f64 x1 x1 1) (.f64 (.f64 x1 3) (.f64 x1 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1))))) (.f64 x1 (.f64 x1 x1))) (+.f64 x1 (.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (+.f64 (*.f64 2 x2) x1)) (fma.f64 x1 x1 1))))))
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 3 (.f64 x1 x1)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (+.f64 x1 (fma.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 (fma.f64 (/.f64 (fma.f64 3 (.f64 x1 x1) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1)) 4 -6)) (.f64 x1 (.f64 2 (.f64 (/.f64 (fma.f64 3 (.f64 x1 x1) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (/.f64 (fma.f64 3 (.f64 x1 x1) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1)) -3))))) (fma.f64 (.f64 x1 3) (.f64 x1 (/.f64 (fma.f64 3 (.f64 x1 x1) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1))) (pow.f64 x1 3))))))
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (/.f64 (.f64 (.f64 x1 3) (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1)))) (fma.f64 x1 x1 1)) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 x1 (+.f64 (.f64 2 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -3))) (.f64 x1 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) 4 -6)))) x1)))))
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (/.f64 (fma.f64 x1 x1 1) 3))) (.f64 (fma.f64 x1 x1 1) (+.f64 x1 (+.f64 (.f64 x1 (.f64 x1 -6)) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (/.f64 (fma.f64 x1 x1 1) 2)))) (.f64 (*.f64 x1 x1) 4)))))))))

eval7.0ms (0%)

Compiler: Compiled 553 to 331 computations (40.1% saved)

prune17.0ms (0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

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

Accurracy

99.8%

Counts

6 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	86.8%	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (/.f64 (.f64 (.f64 x1 3) (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1)))) (fma.f64 x1 x1 1)) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 x1 (+.f64 (.f64 2 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -3))) (.f64 x1 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) 4 -6)))) x1)))))
▶	99.7%	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (/.f64 (fma.f64 x1 x1 1) 3))) (.f64 (fma.f64 x1 x1 1) (+.f64 x1 (+.f64 (.f64 x1 (.f64 x1 -6)) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (/.f64 (fma.f64 x1 x1 1) 2)))) (.f64 (*.f64 x1 x1) 4)))))))))
▶	99.4%	(+.f64 x1 (+.f64 (+.f64 (fma.f64 (fma.f64 (.f64 (.f64 x1 2) (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (+.f64 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -3) (.f64 (.f64 x1 x1) (fma.f64 4 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -6))) (fma.f64 x1 x1 1) (.f64 (.f64 x1 3) (.f64 x1 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1))))) (.f64 x1 (.f64 x1 x1))) (+.f64 x1 (.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (+.f64 (*.f64 2 x2) x1)) (fma.f64 x1 x1 1))))))
▶	99.4%	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))
▶	86.8%	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (/.f64 (.f64 (.f64 x1 3) (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1)))) (fma.f64 x1 x1 1)) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 x1 (+.f64 (.f64 2 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -3))) (.f64 x1 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) 4 -6)))) x1)))))
▶	99.7%	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (/.f64 (fma.f64 x1 x1 1) 3))) (.f64 (fma.f64 x1 x1 1) (+.f64 x1 (+.f64 (.f64 x1 (.f64 x1 -6)) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (/.f64 (fma.f64 x1 x1 1) 2)))) (.f64 (*.f64 x1 x1) 4)))))))))
▶	99.4%	(+.f64 x1 (+.f64 (+.f64 (fma.f64 (fma.f64 (.f64 (.f64 x1 2) (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (+.f64 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -3) (.f64 (.f64 x1 x1) (fma.f64 4 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -6))) (fma.f64 x1 x1 1) (.f64 (.f64 x1 3) (.f64 x1 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1))))) (.f64 x1 (.f64 x1 x1))) (+.f64 x1 (.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (+.f64 (*.f64 2 x2) x1)) (fma.f64 x1 x1 1))))))
▶	99.4%	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))

Compiler

Compiled 900 to 560 computations (37.8% saved)

localize19.8s (34.3%)

Compiler: Compiled 3174 to 1906 computations (39.9% saved)

eval0.0ms (0%)

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

prune50.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

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

Accurracy

99.8%

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	86.8%	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (/.f64 (.f64 (.f64 x1 3) (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1)))) (fma.f64 x1 x1 1)) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 x1 (+.f64 (.f64 2 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -3))) (.f64 x1 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) 4 -6)))) x1)))))
✓	99.7%	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (/.f64 (fma.f64 x1 x1 1) 3))) (.f64 (fma.f64 x1 x1 1) (+.f64 x1 (+.f64 (.f64 x1 (.f64 x1 -6)) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (/.f64 (fma.f64 x1 x1 1) 2)))) (.f64 (*.f64 x1 x1) 4)))))))))
✓	99.4%	(+.f64 x1 (+.f64 (+.f64 (fma.f64 (fma.f64 (.f64 (.f64 x1 2) (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (+.f64 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -3) (.f64 (.f64 x1 x1) (fma.f64 4 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -6))) (fma.f64 x1 x1 1) (.f64 (.f64 x1 3) (.f64 x1 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1))))) (.f64 x1 (.f64 x1 x1))) (+.f64 x1 (.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (+.f64 (*.f64 2 x2) x1)) (fma.f64 x1 x1 1))))))
✓	99.4%	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))

Compiler

Compiled 894 to 551 computations (38.4% saved)

regimes72.0ms (0.1%)

Counts

4 → 1

Calls

Call 1

Inputs
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))
(+.f64 x1 (+.f64 (+.f64 (fma.f64 (fma.f64 (.f64 (.f64 x1 2) (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (+.f64 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -3) (.f64 (.f64 x1 x1) (fma.f64 4 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -6))) (fma.f64 x1 x1 1) (.f64 (.f64 x1 3) (.f64 x1 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1))))) (.f64 x1 (.f64 x1 x1))) (+.f64 x1 (.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (+.f64 (*.f64 2 x2) x1)) (fma.f64 x1 x1 1))))))
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (/.f64 (fma.f64 x1 x1 1) 3))) (.f64 (fma.f64 x1 x1 1) (+.f64 x1 (+.f64 (.f64 x1 (.f64 x1 -6)) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (/.f64 (fma.f64 x1 x1 1) 2)))) (.f64 (*.f64 x1 x1) 4)))))))))
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (/.f64 (.f64 (.f64 x1 3) (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1)))) (fma.f64 x1 x1 1)) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 x1 (+.f64 (.f64 2 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -3))) (.f64 x1 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) 4 -6)))) x1)))))

Outputs

(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 (/.f64 (fma.f64 x1 (*.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (/.f64 (fma.f64 x1 x1 1) 3))) (*.f64 (fma.f64 x1 x1 1) (+.f64 x1 (+.f64 (*.f64 x1 (*.f64 x1 -6)) (*.f64 (/.f64 (fma.f64 x1 (*.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (*.f64 x1 (+.f64 -6 (/.f64 (fma.f64 x1 (*.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (/.f64 (fma.f64 x1 x1 1) 2)))) (*.f64 (*.f64 x1 x1) 4)))))))))

Calls

4 calls:

21.0ms	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))
13.0ms	x1
8.0ms	(*.f64 2 x2)
7.0ms	x2

Results

Accuracy	Segments	Branch
99.7%	1	`x1`
99.7%	1	`x2`
99.7%	1	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))
99.7%	1	`(*.f64 2 x2)`

Compiler

Compiled 584 to 359 computations (38.5% saved)

regimes52.0ms (0.1%)

Counts

2 → 1

Calls

Call 1

Inputs

(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))

(+.f64 x1 (+.f64 (+.f64 (fma.f64 (fma.f64 (*.f64 (*.f64 x1 2) (/.f64 (-.f64 (fma.f64 (*.f64 x1 3) x1 (*.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (+.f64 (/.f64 (-.f64 (fma.f64 (*.f64 x1 3) x1 (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -3) (*.f64 (*.f64 x1 x1) (fma.f64 4 (/.f64 (-.f64 (fma.f64 (*.f64 x1 3) x1 (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -6))) (fma.f64 x1 x1 1) (*.f64 (*.f64 x1 3) (*.f64 x1 (/.f64 (-.f64 (fma.f64 (*.f64 x1 3) x1 (*.f64 2 x2)) x1) (fma.f64 x1 x1 1))))) (*.f64 x1 (*.f64 x1 x1))) (+.f64 x1 (*.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (+.f64 (*.f64 2 x2) x1)) (fma.f64 x1 x1 1))))))

Outputs
(+.f64 x1 (+.f64 (+.f64 (fma.f64 (fma.f64 (.f64 (.f64 x1 2) (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (+.f64 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -3) (.f64 (.f64 x1 x1) (fma.f64 4 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -6))) (fma.f64 x1 x1 1) (.f64 (.f64 x1 3) (.f64 x1 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1))))) (.f64 x1 (.f64 x1 x1))) (+.f64 x1 (.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (+.f64 (*.f64 2 x2) x1)) (fma.f64 x1 x1 1))))))

Outputs

(+.f64 x1 (+.f64 (+.f64 (fma.f64 (fma.f64 (*.f64 (*.f64 x1 2) (/.f64 (-.f64 (fma.f64 (*.f64 x1 3) x1 (*.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (+.f64 (/.f64 (-.f64 (fma.f64 (*.f64 x1 3) x1 (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -3) (*.f64 (*.f64 x1 x1) (fma.f64 4 (/.f64 (-.f64 (fma.f64 (*.f64 x1 3) x1 (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -6))) (fma.f64 x1 x1 1) (*.f64 (*.f64 x1 3) (*.f64 x1 (/.f64 (-.f64 (fma.f64 (*.f64 x1 3) x1 (*.f64 2 x2)) x1) (fma.f64 x1 x1 1))))) (*.f64 x1 (*.f64 x1 x1))) (+.f64 x1 (*.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (+.f64 (*.f64 2 x2) x1)) (fma.f64 x1 x1 1))))))

Calls

4 calls:

13.0ms	(*.f64 2 x2)
12.0ms	x1
10.0ms	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))
6.0ms	x2

Results

Accuracy	Segments	Branch
99.4%	1	`x1`
99.4%	1	`x2`
99.4%	1	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))
99.4%	1	`(*.f64 2 x2)`

Compiler

Compiled 383 to 238 computations (37.9% saved)

regimes42.0ms (0.1%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs

(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))

Outputs

(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))

Calls

4 calls:

13.0ms	(*.f64 2 x2)
11.0ms	x1
9.0ms	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))
5.0ms	x2

Results

Accuracy	Segments	Branch
99.4%	1	`x1`
99.4%	1	`x2`
99.4%	1	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))
99.4%	1	`(*.f64 2 x2)`

Compiler

Compiled 269 to 168 computations (37.5% saved)

simplify44.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

70×	`+-commutative`
64×	`*-commutative`
32×	`sub-neg`
16×	`neg-mul-1`
16×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	90	981
1	158	981
2	187	981
3	204	981
4	212	981
5	213	981

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 x1 (/.f64 (fma.f64 x1 (*.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (/.f64 (fma.f64 x1 x1 1) 3))) (*.f64 (fma.f64 x1 x1 1) (+.f64 x1 (+.f64 (*.f64 x1 (*.f64 x1 -6)) (*.f64 (/.f64 (fma.f64 x1 (*.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (*.f64 x1 (+.f64 -6 (/.f64 (fma.f64 x1 (*.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (/.f64 (fma.f64 x1 x1 1) 2)))) (*.f64 (*.f64 x1 x1) 4)))))))))

(+.f64 x1 (+.f64 (+.f64 (fma.f64 (fma.f64 (*.f64 (*.f64 x1 2) (/.f64 (-.f64 (fma.f64 (*.f64 x1 3) x1 (*.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (+.f64 (/.f64 (-.f64 (fma.f64 (*.f64 x1 3) x1 (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -3) (*.f64 (*.f64 x1 x1) (fma.f64 4 (/.f64 (-.f64 (fma.f64 (*.f64 x1 3) x1 (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -6))) (fma.f64 x1 x1 1) (*.f64 (*.f64 x1 3) (*.f64 x1 (/.f64 (-.f64 (fma.f64 (*.f64 x1 3) x1 (*.f64 2 x2)) x1) (fma.f64 x1 x1 1))))) (*.f64 x1 (*.f64 x1 x1))) (+.f64 x1 (*.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (+.f64 (*.f64 2 x2) x1)) (fma.f64 x1 x1 1))))))

(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))

Outputs
(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (/.f64 (fma.f64 x1 x1 1) 3))) (.f64 (fma.f64 x1 x1 1) (+.f64 x1 (+.f64 (.f64 x1 (.f64 x1 -6)) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (/.f64 (fma.f64 x1 x1 1) 2)))) (.f64 (*.f64 x1 x1) 4)))))))))
(+.f64 x1 (+.f64 (+.f64 (fma.f64 (fma.f64 (.f64 (.f64 x1 2) (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (+.f64 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -3) (.f64 (.f64 x1 x1) (fma.f64 4 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -6))) (fma.f64 x1 x1 1) (.f64 (.f64 x1 3) (.f64 x1 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1))))) (.f64 x1 (.f64 x1 x1))) (+.f64 x1 (.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (+.f64 (*.f64 2 x2) x1)) (fma.f64 x1 x1 1))))))
(+.f64 x1 (+.f64 (+.f64 (fma.f64 (fma.f64 (.f64 (.f64 x1 2) (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (+.f64 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -3) (.f64 (.f64 x1 x1) (fma.f64 4 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -6))) (fma.f64 x1 x1 1) (.f64 (.f64 x1 3) (.f64 x1 (/.f64 (-.f64 (fma.f64 (.f64 x1 3) x1 (.f64 2 x2)) x1) (fma.f64 x1 x1 1))))) (.f64 x1 (.f64 x1 x1))) (+.f64 x1 (.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (+.f64 x1 (*.f64 2 x2))) (fma.f64 x1 x1 1))))))
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))
(+.f64 x1 (+.f64 (+.f64 x1 (+.f64 (+.f64 (.f64 (+.f64 1 (.f64 x1 x1)) (+.f64 (.f64 (.f64 (.f64 x1 2) (/.f64 (-.f64 (+.f64 (.f64 2 x2) (.f64 x1 (.f64 x1 3))) x1) (+.f64 1 (.f64 x1 x1)))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 2 x2) (.f64 x1 (.f64 x1 3))) x1) (+.f64 1 (.f64 x1 x1))) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 2 x2) (.f64 x1 (.f64 x1 3))) x1) (+.f64 1 (.f64 x1 x1)))) 6)))) (.f64 (.f64 x1 (.f64 x1 3)) (/.f64 (-.f64 (+.f64 (.f64 2 x2) (.f64 x1 (.f64 x1 3))) x1) (+.f64 1 (.f64 x1 x1))))) (.f64 x1 (.f64 x1 x1)))) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 1 (.f64 x1 x1))))))

Compiler

Compiled 343 to 214 computations (37.6% saved)

soundness266.0ms (0.5%)

Rules

1712×	`times-frac`
1712×	`times-frac`
1610×	`distribute-lft-in`
1610×	`distribute-lft-in`
1546×	`distribute-rgt-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	37	327
1	121	309
2	434	299
3	2218	275
4	7106	275
0	37	327
1	121	309
2	434	299
3	2218	275
4	7106	275

Stop Event

1×	node limit
1×	node limit

Compiler

Compiled 512 to 312 computations (39.1% saved)

end304.0ms (0.5%)

Compiler: Compiled 936 to 574 computations (38.7% saved)

Rosa's FloatVsDoubleBenchmark

Details

analyze3.1s (5.4%)

sample33.8s (58.5%)

preprocess85.0ms (0.1%)

simplify65.0ms (0.1%)

eval7.0ms (0%)

prune17.0ms (0%)

localize19.8s (34.3%)

eval0.0ms (0%)

prune50.0ms (0.1%)

regimes72.0ms (0.1%)

regimes52.0ms (0.1%)

regimes42.0ms (0.1%)

simplify44.0ms (0.1%)

soundness266.0ms (0.5%)

end304.0ms (0.5%)

Profiling