Details

analyze745.0ms (10.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
25%	25%	74.9%	0.1%	0%	0%	0%	6
31.3%	31.2%	68.7%	0.1%	0%	0%	0%	7
34.4%	34.3%	65.6%	0.1%	0%	0%	0%	8
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	9
43%	42.9%	57%	0.1%	0%	0%	0%	10
45.7%	44.5%	52.9%	0.1%	2.5%	0%	0%	11
49.4%	47.8%	48.9%	0.1%	3.2%	0%	0%	12

Compiler

Compiled 130 to 81 computations (37.7% saved)

sample5.8s (82.4%)

Results

2.7s	7545×	body	256	valid
2.4s	6605×	body	256	infinite
332.0ms	384×	body	512	valid
319.0ms	327×	body	1024	valid

Bogosity

preprocess88.0ms (1.2%)

Algorithm

2×	egg-herbie

Rules

1260×	`associate-+r-`
1098×	`distribute-lft-out`
1096×	`associate-*r/`
958×	`associate-*l/`
748×	`fma-def`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	63	654
1	219	618
2	831	598
3	3890	550
4	7945	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 2 (.f64 x1 (/.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 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 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 x1 (.f64 x1 (fma.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 4 -6)) (.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) (.f64 (.f64 x1 2) (+.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -3)))) (fma.f64 (.f64 x1 3) (.f64 x1 (/.f64 (-.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 3 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (+.f64 x2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 x1 (+.f64 (.f64 (.f64 2 (/.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 (fma.f64 x1 (.f64 x1 3) (-.f64 (.f64 x2 -2) x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 (.f64 3 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (+.f64 x2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 x1 (+.f64 (.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (+.f64 x2 x2)) x1) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (.f64 2 (+.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (+.f64 x2 x2)) x1) (fma.f64 x1 x1 1)) -3))) (.f64 4 (.f64 x1 x1)))) (.f64 x1 (*.f64 x1 -6))))))))
(+.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 2 (.f64 x2 (/.f64 (-.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 3 (/.f64 (-.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 2 (/.f64 (.f64 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 x2) (/.f64 (.f64 x2 (-.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 x2 (/.f64 x2 (/.f64 (fma.f64 x2 x2 1) (-.f64 (fma.f64 x1 2 (.f64 3 (.f64 x2 x2))) x2)))) (.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)) (fma.f64 x1 2 (-.f64 (.f64 3 (.f64 x2 x2)) x2)))) (.f64 (fma.f64 x2 x2 1) (+.f64 x2 (+.f64 (.f64 (/.f64 (fma.f64 x1 2 (-.f64 (.f64 3 (.f64 x2 x2)) x2)) (fma.f64 x2 x2 1)) (+.f64 (.f64 2 (.f64 x2 (+.f64 (/.f64 (fma.f64 x1 2 (-.f64 (.f64 3 (.f64 x2 x2)) x2)) (fma.f64 x2 x2 1)) -3))) (.f64 4 (.f64 x2 x2)))) (.f64 x2 (.f64 x2 -6))))))))

Compiler

Compiled 131 to 82 computations (37.4% saved)

simplify60.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

1414×	`distribute-lft-in`
1096×	`distribute-rgt-in`
946×	`associate-/r*`
852×	`+-commutative`
790×	`*-commutative`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	37	327
1	121	309
2	421	299
3	1976	275
4	6009	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 (.f64 x1 (.f64 x1 3)) (-.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 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 4 -6)) (.f64 2 (.f64 (.f64 x1 (/.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)))) (fma.f64 (.f64 x1 3) (.f64 x1 (/.f64 (-.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 (.f64 (.f64 x1 3) (fma.f64 x1 (.f64 x1 3) (-.f64 (.f64 2 x2) x1))) (fma.f64 x1 x1 1)) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 x1 (+.f64 (.f64 (.f64 2 (+.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (-.f64 (.f64 2 x2) x1)) (fma.f64 x1 x1 1)) -3)) (/.f64 (fma.f64 x1 (.f64 x1 3) (-.f64 (.f64 2 x2) x1)) (fma.f64 x1 x1 1))) (.f64 x1 (fma.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (-.f64 (*.f64 2 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 x1 (.f64 3 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1)))) (.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 2 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))))))) (.f64 (.f64 x1 x1) 4)))))))))

eval7.0ms (0.1%)

Compiler: Compiled 553 to 343 computations (38% saved)

prune17.0ms (0.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

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

Error

99.7%

Counts

6 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	86.2%	(+.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 x1 (.f64 x1 3) (-.f64 (.f64 2 x2) x1))) (fma.f64 x1 x1 1)) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 x1 (+.f64 (.f64 (.f64 2 (+.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (-.f64 (.f64 2 x2) x1)) (fma.f64 x1 x1 1)) -3)) (/.f64 (fma.f64 x1 (.f64 x1 3) (-.f64 (.f64 2 x2) x1)) (fma.f64 x1 x1 1))) (.f64 x1 (fma.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (-.f64 (*.f64 2 x2) x1)) (fma.f64 x1 x1 1)) 4 -6)))) x1)))))
▶	99.5%	(+.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 3 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1)))) (.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 2 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))))))) (.f64 (.f64 x1 x1) 4)))))))))
▶	99.5%	(+.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 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 4 -6)) (.f64 2 (.f64 (.f64 x1 (/.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)))) (fma.f64 (.f64 x1 3) (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (pow.f64 x1 3))))))
▶	99.2%	(+.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 (.f64 x1 (.f64 x1 3)) (-.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.2%	(+.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 1122 to 708 computations (36.9% saved)

localize230.0ms (3.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	99.7%	(.f64 x1 (.f64 3 (/.f64 (fma.f64 x1 (*.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1))))
✓	99.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 2 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))))))) (.f64 (.f64 x1 x1) 4)))
✓	96.1%	(+.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 2 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))))))) (.f64 (.f64 x1 x1) 4))))
✓	93.2%	(+.f64 -6 (/.f64 2 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (*.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))))))

Compiler

Compiled 699 to 410 computations (41.3% saved)

series17.0ms (0.2%)

Counts

4 → 96

Calls

24 calls:

Time	Variable		Point	Expression
2.0ms	x1	@	0	(+.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 2 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))))))) (.f64 (.f64 x1 x1) 4))))
2.0ms	x2	@	0	(+.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 2 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))))))) (.f64 (.f64 x1 x1) 4))))
1.0ms	x2	@	inf	(+.f64 -6 (/.f64 2 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (*.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))))))
1.0ms	x2	@	inf	(+.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 2 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))))))) (.f64 (.f64 x1 x1) 4))))
1.0ms	x2	@	-inf	(+.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 2 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))))))) (.f64 (.f64 x1 x1) 4))))

rewrite79.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

658×	`add-sqr-sqrt`
640×	`pow1`
640×	`*-un-lft-identity`
610×	`add-exp-log`
610×	`add-cbrt-cube`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	30	358
1	660	330

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 -6 (/.f64 2 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (*.f64 x1 3) (fma.f64 2 x2 (neg.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 2 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))))))) (.f64 (.f64 x1 x1) 4))))
(.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 2 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))))))) (.f64 (.f64 x1 x1) 4)))
(.f64 x1 (.f64 3 (/.f64 (fma.f64 x1 (*.f64 x1 3) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1))))

Outputs
((((x -.f64 (/.f64 36 (-.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) (/.f64 (.f64 4 (pow.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) 2)) (-.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))))))) (((x .f64 1 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))))) (((x .f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) 1))) (((x .f64 (sqrt.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) (sqrt.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))))))) (((x .f64 (cbrt.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) (cbrt.f64 (pow.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) 2))))) (((x .f64 (cbrt.f64 (pow.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) 2)) (cbrt.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))))))) (((x .f64 (-.f64 36 (.f64 4 (pow.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) 2))) (/.f64 1 (-.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))))))) (((x .f64 (+.f64 -216 (pow.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))) 3)) (/.f64 1 (+.f64 36 (.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))) (-.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))) -6))))))) (((x /.f64 1 (/.f64 (-.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (-.f64 36 (.f64 4 (pow.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) 2))))))) (((x /.f64 1 (/.f64 (+.f64 36 (.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))) (-.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))) -6))) (+.f64 -216 (pow.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))) 3)))))) (((x /.f64 (-.f64 36 (.f64 4 (pow.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) 2))) (-.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))))) (((x /.f64 (+.f64 -216 (pow.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))) 3)) (+.f64 36 (.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))) (-.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))) -6)))))) (((x /.f64 (+.f64 -216 (pow.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))) 3)) (+.f64 (.f64 4 (pow.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) 2)) (-.f64 36 (/.f64 -12 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))))))))) (((x /.f64 (-.f64 (.f64 4 (pow.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) 2)) 36) (-.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))) -6)))) (((x /.f64 (neg.f64 (-.f64 36 (.f64 4 (pow.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) 2)))) (neg.f64 (-.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))))))) (((x /.f64 (neg.f64 (+.f64 -216 (pow.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))) 3))) (neg.f64 (+.f64 36 (.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))) (-.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))) -6))))))) (((x pow.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) 1))) (((x sqrt.f64 (pow.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) 2)))) (((x log.f64 (exp.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))))))) (((x cbrt.f64 (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (pow.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) 2))))) (((x expm1.f64 (log1p.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))))))) (((x exp.f64 (log.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))))))) (((x log1p.f64 (expm1.f64 (+.f64 -6 (.f64 (fma.f64 x1 (*.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))))))))
((((x -.f64 (/.f64 (.f64 (pow.f64 x1 4) 36) (-.f64 (.f64 -6 (.f64 x1 x1)) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))))) (/.f64 (pow.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) 2) (-.f64 (.f64 -6 (.f64 x1 x1)) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))))))) (((x .f64 1 (fma.f64 x1 (.f64 -6 x1) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))))))) (((x .f64 (fma.f64 x1 (.f64 -6 x1) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))) 1))) (((x .f64 (sqrt.f64 (fma.f64 x1 (.f64 -6 x1) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))))) (sqrt.f64 (fma.f64 x1 (.f64 -6 x1) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))))))) (((x .f64 (cbrt.f64 (fma.f64 x1 (.f64 -6 x1) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))))) (cbrt.f64 (pow.f64 (fma.f64 x1 (.f64 -6 x1) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))) 2))))) (((x .f64 (cbrt.f64 (pow.f64 (fma.f64 x1 (.f64 -6 x1) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))) 2)) (cbrt.f64 (fma.f64 x1 (.f64 -6 x1) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))))))) (((x .f64 (-.f64 (.f64 (pow.f64 x1 4) 36) (pow.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) 2)) (/.f64 1 (-.f64 (.f64 -6 (.f64 x1 x1)) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))))))) (((x .f64 (+.f64 (pow.f64 (.f64 -6 (.f64 x1 x1)) 3) (pow.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) 3)) (/.f64 1 (+.f64 (.f64 (pow.f64 x1 4) 36) (.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) (-.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) (.f64 -6 (.f64 x1 x1))))))))) (((x /.f64 1 (/.f64 (-.f64 (.f64 -6 (.f64 x1 x1)) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))) (-.f64 (.f64 (pow.f64 x1 4) 36) (pow.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) 2)))))) (((x /.f64 1 (/.f64 (+.f64 (.f64 (pow.f64 x1 4) 36) (.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) (-.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) (.f64 -6 (.f64 x1 x1))))) (+.f64 (pow.f64 (.f64 -6 (.f64 x1 x1)) 3) (pow.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) 3)))))) (((x /.f64 (-.f64 (.f64 (pow.f64 x1 4) 36) (pow.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) 2)) (-.f64 (.f64 -6 (.f64 x1 x1)) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))))))) (((x /.f64 (+.f64 (pow.f64 (.f64 -6 (.f64 x1 x1)) 3) (pow.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) 3)) (+.f64 (.f64 (pow.f64 x1 4) 36) (.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) (-.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) (.f64 -6 (.f64 x1 x1)))))))) (((x /.f64 (+.f64 (pow.f64 (.f64 -6 (.f64 x1 x1)) 3) (pow.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) 3)) (+.f64 (pow.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) 2) (-.f64 (.f64 (pow.f64 x1 4) 36) (.f64 (.f64 -6 (.f64 x1 x1)) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))))))))) (((x /.f64 (-.f64 (pow.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) 2) (.f64 (pow.f64 x1 4) 36)) (-.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) (.f64 -6 (.f64 x1 x1)))))) (((x /.f64 (neg.f64 (-.f64 (.f64 (pow.f64 x1 4) 36) (pow.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) 2))) (neg.f64 (-.f64 (.f64 -6 (.f64 x1 x1)) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))))))) (((x /.f64 (neg.f64 (+.f64 (pow.f64 (.f64 -6 (.f64 x1 x1)) 3) (pow.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) 3))) (neg.f64 (+.f64 (.f64 (pow.f64 x1 4) 36) (.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) (-.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) (.f64 -6 (.f64 x1 x1))))))))) (((x pow.f64 (fma.f64 x1 (.f64 -6 x1) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))) 1))) (((x sqrt.f64 (pow.f64 (fma.f64 x1 (.f64 -6 x1) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))) 2)))) (((x log.f64 (exp.f64 (fma.f64 x1 (.f64 -6 x1) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))))))) (((x cbrt.f64 (.f64 (fma.f64 x1 (.f64 -6 x1) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))) (pow.f64 (fma.f64 x1 (.f64 -6 x1) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))) 2))))) (((x expm1.f64 (log1p.f64 (fma.f64 x1 (.f64 -6 x1) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))))))) (((x exp.f64 (log.f64 (fma.f64 x1 (.f64 -6 x1) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))))))) (((x log1p.f64 (expm1.f64 (fma.f64 x1 (.f64 -6 x1) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))))))) (((x fma.f64 x1 (.f64 -6 x1) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (*.f64 x1 4))))))))
((((x +.f64 (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)))) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (.f64 x1 4)))))) (((x +.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (.f64 x1 4))) (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1))))))) (((x +.f64 (.f64 (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)))) 1) (.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (.f64 x1 4))) 1)))) (((x /.f64 1 (/.f64 (fma.f64 x1 x1 1) (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))))))) (((x /.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 (fma.f64 x1 x1 1) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))))) (((x /.f64 (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))) (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)))))) (((x /.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) (fma.f64 x1 x1 1)))) (((x /.f64 (pow.f64 (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))) 2) (.f64 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))))) (((x /.f64 (+.f64 (pow.f64 (.f64 x1 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) 3) (.f64 64 (pow.f64 (.f64 x1 x1) 3))) (.f64 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))) (+.f64 (pow.f64 (.f64 x1 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) 2) (-.f64 (.f64 (pow.f64 x1 4) 16) (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (.f64 x1 (.f64 x1 4)))))))))) (((x /.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (pow.f64 (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))) 2)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))))) (((x /.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (+.f64 (pow.f64 (.f64 x1 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) 3) (.f64 64 (pow.f64 (.f64 x1 x1) 3)))) (+.f64 (pow.f64 (.f64 x1 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) 2) (-.f64 (.f64 (pow.f64 x1 4) 16) (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (.f64 x1 (.f64 x1 4))))))))) (((x /.f64 (.f64 (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))) (neg.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)))) (+.f64 (.f64 x1 x1) -1)))) (((x /.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (pow.f64 (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))) 2)) (.f64 (fma.f64 x1 x1 1) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))))) (((x /.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (+.f64 (pow.f64 (.f64 x1 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) 3) (.f64 64 (pow.f64 (.f64 x1 x1) 3)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (pow.f64 (.f64 x1 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) 2) (-.f64 (.f64 (pow.f64 x1 4) 16) (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (.f64 x1 (.f64 x1 4)))))))))) (((x /.f64 (.f64 (neg.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) (+.f64 (.f64 x1 x1) -1)))) (((x /.f64 (.f64 (pow.f64 (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))) 2) (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1))) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))))) (((x /.f64 (.f64 (+.f64 (pow.f64 (.f64 x1 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) 3) (.f64 64 (pow.f64 (.f64 x1 x1) 3))) (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1))) (+.f64 (pow.f64 (.f64 x1 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) 2) (-.f64 (.f64 (pow.f64 x1 4) 16) (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (.f64 x1 (.f64 x1 4))))))))) (((x /.f64 (/.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) 1) (fma.f64 x1 x1 1)))) (((x /.f64 (/.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) (sqrt.f64 (fma.f64 x1 x1 1))) (sqrt.f64 (fma.f64 x1 x1 1))))) (((x /.f64 (/.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) (cbrt.f64 (pow.f64 (fma.f64 x1 x1 1) 2))) (cbrt.f64 (fma.f64 x1 x1 1))))) (((x /.f64 (-.f64 (.f64 (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)))) (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1))))) (.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (.f64 x1 4))) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (.f64 x1 4))))) (-.f64 (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)))) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (.f64 x1 4))))))) (((x /.f64 (+.f64 (pow.f64 (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)))) 3) (pow.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (.f64 x1 4))) 3)) (+.f64 (.f64 (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)))) (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1))))) (-.f64 (.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (.f64 x1 4))) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (.f64 x1 4)))) (.f64 (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)))) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (.f64 x1 4))))))))) (((x /.f64 (.f64 (neg.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))) (pow.f64 (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))) 2)) (.f64 (+.f64 (.f64 x1 x1) -1) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))))) (((x /.f64 (.f64 (neg.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))) (+.f64 (pow.f64 (.f64 x1 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) 3) (.f64 64 (pow.f64 (.f64 x1 x1) 3)))) (.f64 (+.f64 (.f64 x1 x1) -1) (+.f64 (pow.f64 (.f64 x1 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) 2) (-.f64 (.f64 (pow.f64 x1 4) 16) (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (.f64 x1 (.f64 x1 4)))))))))) (((x /.f64 (.f64 (pow.f64 (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))) 2) 1) (.f64 (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))) (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))))))) (((x /.f64 (.f64 (pow.f64 (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))) 2) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))) (.f64 (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))) (fma.f64 x1 x1 1))))) (((x /.f64 (.f64 (pow.f64 (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))) 2) (neg.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)))) (.f64 (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))) (+.f64 (.f64 x1 x1) -1))))) (((x /.f64 (.f64 (+.f64 (pow.f64 (.f64 x1 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) 3) (.f64 64 (pow.f64 (.f64 x1 x1) 3))) 1) (.f64 (+.f64 (pow.f64 (.f64 x1 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) 2) (-.f64 (.f64 (pow.f64 x1 4) 16) (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (.f64 x1 (.f64 x1 4)))))) (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))))))) (((x /.f64 (.f64 (+.f64 (pow.f64 (.f64 x1 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) 3) (.f64 64 (pow.f64 (.f64 x1 x1) 3))) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))) (.f64 (+.f64 (pow.f64 (.f64 x1 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) 2) (-.f64 (.f64 (pow.f64 x1 4) 16) (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (.f64 x1 (.f64 x1 4)))))) (fma.f64 x1 x1 1))))) (((x /.f64 (.f64 (+.f64 (pow.f64 (.f64 x1 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) 3) (.f64 64 (pow.f64 (.f64 x1 x1) 3))) (neg.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)))) (.f64 (+.f64 (pow.f64 (.f64 x1 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1))))) 2) (-.f64 (.f64 (pow.f64 x1 4) 16) (.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 (.f64 x1 (.f64 x1 4)))))) (+.f64 (.f64 x1 x1) -1))))) (((x /.f64 (neg.f64 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))))) (+.f64 (.f64 x1 x1) -1)))) (((x pow.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) 1))) (((x sqrt.f64 (pow.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) 2)))) (((x log.f64 (exp.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))))))) (((x cbrt.f64 (pow.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))) 3)))) (((x cbrt.f64 (.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (pow.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) 2)) (.f64 (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))) (pow.f64 (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))) 2)))))) (((x cbrt.f64 (.f64 (.f64 (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))) (pow.f64 (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4))) 2)) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (pow.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) 2)))))) (((x expm1.f64 (log1p.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))))))) (((x exp.f64 (log.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))))))) (((x log1p.f64 (expm1.f64 (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (.f64 x1 (+.f64 (+.f64 -6 (.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (/.f64 2 (fma.f64 x1 x1 1)))) (.f64 x1 4)))))))))
((((x /.f64 (.f64 x1 3) (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)))))) (((x /.f64 (.f64 (.f64 x1 3) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))) (fma.f64 x1 x1 1)))) (((x /.f64 (.f64 x1 (.f64 3 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)))) (fma.f64 x1 x1 1)))) (((x /.f64 (.f64 (.f64 x1 3) (neg.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)))) (+.f64 (.f64 x1 x1) -1)))) (((x /.f64 (.f64 (.f64 3 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))) x1) (fma.f64 x1 x1 1)))) (((x pow.f64 (.f64 x1 (/.f64 3 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))))) 1))) (((x sqrt.f64 (pow.f64 (.f64 x1 (/.f64 3 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))))) 2)))) (((x log.f64 (exp.f64 (.f64 x1 (/.f64 3 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))))))))) (((x cbrt.f64 (.f64 (.f64 x1 (/.f64 3 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))))) (pow.f64 (.f64 x1 (/.f64 3 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))))) 2))))) (((x cbrt.f64 (.f64 (.f64 x1 (.f64 x1 x1)) (.f64 (/.f64 3 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)))) (.f64 (pow.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) 2) 9)))))) (((x cbrt.f64 (.f64 (.f64 (.f64 x1 3) (pow.f64 (.f64 x1 3) 2)) (.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (pow.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) 2)))))) (((x cbrt.f64 (.f64 (.f64 (/.f64 3 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)))) (.f64 (pow.f64 (/.f64 (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) 2) 9)) (.f64 x1 (.f64 x1 x1)))))) (((x expm1.f64 (log1p.f64 (.f64 x1 (/.f64 3 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))))))))) (((x exp.f64 (log.f64 (.f64 x1 (/.f64 3 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (.f64 x1 3) (fma.f64 2 x2 x1))))))))) (((x log1p.f64 (expm1.f64 (.f64 x1 (/.f64 3 (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (*.f64 x1 3) (fma.f64 2 x2 x1))))))))))

Details

analyze745.0ms (10.6%)

sample5.8s (82.4%)

preprocess88.0ms (1.2%)

simplify60.0ms (0.8%)

eval7.0ms (0.1%)

prune17.0ms (0.2%)

localize230.0ms (3.3%)

series17.0ms (0.2%)

rewrite79.0ms (1.1%)

end0.0ms (0%)

Profiling