Metrics for UniformSampleCone, x

analyze264.0ms (0.4%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0.1%	99.9%	0%	0%	0%	0
0%	0%	0.1%	99.9%	0%	0%	0%	1
0%	0%	0.1%	99.9%	0%	0%	0%	2
0%	0%	0.1%	99.9%	0%	0%	0%	3
50%	0%	0%	99.9%	0%	0%	0%	4
50%	0%	0%	99.9%	0%	0%	0%	5
50%	0%	0%	99.9%	0%	0%	0%	6
75%	0.1%	0%	99.9%	0%	0%	0%	7
75%	0.1%	0%	99.9%	0%	0%	0%	8
75%	0.1%	0%	99.9%	0%	0%	0%	9
87.5%	0.1%	0%	99.9%	0%	0%	0%	10
87.5%	0.1%	0%	99.9%	0%	0%	0%	11
87.5%	0.1%	0%	99.9%	0%	0%	0%	12

Compiler

Compiled 51 to 37 computations (27.5% saved)

Precisions

Click to see histograms. Total time spent on operations: 108.0ms

Operation ival-<=, time spent: 38.0ms, 35.0% of total-time

Operation ival-mult, time spent: 24.0ms, 22.0% of total-time

Operation ival-sub, time spent: 11.0ms, 10.0% of total-time

Operation ival-cos, time spent: 10.0ms, 9.0% of total-time

Operation ival-sqrt, time spent: 9.0ms, 8.0% of total-time

Operation ival-add, time spent: 6.0ms, 6.0% of total-time

Operation ival-and, time spent: 4.0ms, 4.0% of total-time

Operation const, time spent: 3.0ms, 3.0% of total-time

Operation ival-pi, time spent: 3.0ms, 3.0% of total-time

sample4.2s (6.6%)

Results

3.5s	8255×	0	valid
0.0ms	1×	0	valid

Precisions

Click to see histograms. Total time spent on operations: 1.9s

Operation ival-mult, time spent: 464.0ms, 24.0% of total-time

Operation ival-sub, time spent: 413.0ms, 22.0% of total-time

Operation ival-add, time spent: 346.0ms, 18.0% of total-time

Operation ival-<=, time spent: 228.0ms, 12.0% of total-time

Operation ival-cos, time spent: 141.0ms, 7.0% of total-time

Operation ival-sqrt, time spent: 118.0ms, 6.0% of total-time

Operation const, time spent: 86.0ms, 4.0% of total-time

Operation ival-and, time spent: 70.0ms, 4.0% of total-time

Operation ival-pi, time spent: 45.0ms, 2.0% of total-time

Bogosity

preprocess3.9s (6.2%)

Algorithm

1×	egg-herbie

Rules

478×	`neg-sub0`
441×	`distribute-neg-in`
412×	`+-commutative`
339×	`distribute-rgt-in`
314×	`distribute-lft-in`

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
256	-	256	(0.01918412372469902 6.229658122691717e-9 0.0007649001781828701)	`(PI.f32)`
0	-	0	-	`(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))`
0	-	0	-	`(.f32 (.f32 uy 2) (PI.f32))`
0	-	0	-	`(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))`
0	-	0	-	`(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))`
0	-	0	-	`uy`
0	-	0	-	`(cos.f32 (.f32 (.f32 uy 2) (PI.f32)))`
0	-	0	-	`(*.f32 uy 2)`
0	-	0	-	`(-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))`
0	-	0	-	`ux`
0	-	0	-	`(*.f32 ux maxCos)`
0	-	0	-	`maxCos`
0	-	0	-	`2`
0	-	0	-	`1`
0	-	0	-	`(sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))))`
0	-	0	-	`(-.f32 1 ux)`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	72	1142
1	223	1034
2	774	973
3	3607	967
4	7704	967

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 (neg.f32 ux)) (.f32 (neg.f32 ux) maxCos)) (+.f32 (-.f32 1 (neg.f32 ux)) (.f32 (neg.f32 ux) maxCos))))))
(.f32 (cos.f32 (.f32 (.f32 (neg.f32 uy) 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux (neg.f32 maxCos))) (+.f32 (-.f32 1 ux) (.f32 ux (neg.f32 maxCos)))))))
(neg.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 (neg.f32 ux)) (.f32 (neg.f32 ux) maxCos)) (+.f32 (-.f32 1 (neg.f32 ux)) (.f32 (neg.f32 ux) maxCos)))))))
(neg.f32 (.f32 (cos.f32 (.f32 (.f32 (neg.f32 uy) 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos)))))))
(neg.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux (neg.f32 maxCos))) (+.f32 (-.f32 1 ux) (.f32 ux (neg.f32 maxCos))))))))
(.f32 (cos.f32 (.f32 (.f32 ux 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 uy) (.f32 uy maxCos)) (+.f32 (-.f32 1 uy) (.f32 uy maxCos))))))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 maxCos) (.f32 maxCos ux)) (+.f32 (-.f32 1 maxCos) (.f32 maxCos ux))))))
(.f32 (cos.f32 (.f32 (.f32 maxCos 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux uy)) (+.f32 (-.f32 1 ux) (.f32 ux uy))))))

Outputs
(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (fma.f32 ux maxCos (-.f32 1 ux))))))
(.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (fma.f32 ux maxCos (-.f32 1 ux))))))
(.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 (neg.f32 ux)) (.f32 (neg.f32 ux) maxCos)) (+.f32 (-.f32 1 (neg.f32 ux)) (.f32 (neg.f32 ux) maxCos))))))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 (neg.f32 ux)) (.f32 ux (neg.f32 maxCos))) (+.f32 (-.f32 1 (neg.f32 ux)) (.f32 ux (neg.f32 maxCos)))))))
(.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 1 (-.f32 ux (.f32 ux maxCos))) (+.f32 1 (-.f32 ux (.f32 ux maxCos)))))))
(.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (-.f32 1 (.f32 ux (+.f32 maxCos -1))) (+.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 uy (*.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (-.f32 ux (fma.f32 ux maxCos -1)) (-.f32 (fma.f32 ux maxCos -1) ux) 1)))
(.f32 (cos.f32 (.f32 (.f32 (neg.f32 uy) 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (fma.f32 ux maxCos (-.f32 1 ux))))))
(.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux (neg.f32 maxCos))) (+.f32 (-.f32 1 ux) (.f32 ux (neg.f32 maxCos)))))))
(.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (-.f32 1 (+.f32 ux (.f32 ux maxCos))) (-.f32 1 (+.f32 ux (.f32 ux maxCos)))))))
(.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (-.f32 1 (.f32 ux (+.f32 1 maxCos))) (+.f32 -1 (*.f32 ux (+.f32 1 maxCos))) 1)))
(.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (+.f32 1 (.f32 ux (-.f32 -1 maxCos))) (+.f32 ux (fma.f32 ux maxCos -1)) 1)))
(neg.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 (neg.f32 ux)) (.f32 (neg.f32 ux) maxCos)) (+.f32 (-.f32 1 (neg.f32 ux)) (.f32 (neg.f32 ux) maxCos)))))))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (neg.f32 (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 (neg.f32 ux)) (.f32 ux (neg.f32 maxCos))) (+.f32 (-.f32 1 (neg.f32 ux)) (.f32 ux (neg.f32 maxCos))))))))
(.f32 (sqrt.f32 (-.f32 1 (.f32 (+.f32 1 (-.f32 ux (.f32 ux maxCos))) (+.f32 1 (-.f32 ux (.f32 ux maxCos)))))) (neg.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32))))))
(.f32 (sqrt.f32 (fma.f32 (-.f32 1 (.f32 ux (+.f32 maxCos -1))) (+.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)) (neg.f32 (cos.f32 (.f32 uy (*.f32 2 (PI.f32))))))
(.f32 (sqrt.f32 (fma.f32 (-.f32 ux (fma.f32 ux maxCos -1)) (-.f32 (fma.f32 ux maxCos -1) ux) 1)) (neg.f32 (cos.f32 (.f32 uy (*.f32 2 (PI.f32))))))
(neg.f32 (.f32 (cos.f32 (.f32 (.f32 (neg.f32 uy) 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos)))))))
(.f32 (neg.f32 (cos.f32 (.f32 (PI.f32) (.f32 2 (neg.f32 uy))))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
(.f32 (sqrt.f32 (-.f32 1 (.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (fma.f32 ux maxCos (-.f32 1 ux))))) (neg.f32 (cos.f32 (.f32 (PI.f32) (.f32 uy -2)))))
(.f32 (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)) (neg.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32))))))
(neg.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux (neg.f32 maxCos))) (+.f32 (-.f32 1 ux) (.f32 ux (neg.f32 maxCos))))))))
(.f32 (neg.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux (neg.f32 maxCos))) (+.f32 (-.f32 1 ux) (.f32 ux (neg.f32 maxCos)))))))
(.f32 (sqrt.f32 (-.f32 1 (.f32 (-.f32 1 (+.f32 ux (.f32 ux maxCos))) (-.f32 1 (+.f32 ux (.f32 ux maxCos)))))) (neg.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32))))))
(.f32 (sqrt.f32 (fma.f32 (-.f32 1 (.f32 ux (+.f32 1 maxCos))) (+.f32 -1 (.f32 ux (+.f32 1 maxCos))) 1)) (neg.f32 (cos.f32 (.f32 uy (*.f32 2 (PI.f32))))))
(.f32 (sqrt.f32 (fma.f32 (+.f32 1 (.f32 ux (-.f32 -1 maxCos))) (+.f32 ux (fma.f32 ux maxCos -1)) 1)) (neg.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32))))))
(.f32 (cos.f32 (.f32 (.f32 ux 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 uy) (.f32 uy maxCos)) (+.f32 (-.f32 1 uy) (.f32 uy maxCos))))))
(.f32 (cos.f32 (.f32 (PI.f32) (.f32 2 ux))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 uy) (.f32 uy maxCos)) (+.f32 (-.f32 1 uy) (.f32 uy maxCos))))))
(.f32 (cos.f32 (.f32 (PI.f32) (.f32 2 ux))) (sqrt.f32 (-.f32 1 (.f32 (fma.f32 uy maxCos (-.f32 1 uy)) (fma.f32 uy maxCos (-.f32 1 uy))))))
(.f32 (cos.f32 (.f32 2 (.f32 (PI.f32) ux))) (sqrt.f32 (fma.f32 (-.f32 (fma.f32 uy maxCos 1) uy) (-.f32 -1 (.f32 uy (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 maxCos) (.f32 maxCos ux)) (+.f32 (-.f32 1 maxCos) (.f32 maxCos ux))))))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (.f32 ux maxCos) (-.f32 1 maxCos)) (+.f32 (.f32 ux maxCos) (-.f32 1 maxCos))))))
(.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (fma.f32 ux maxCos (-.f32 1 maxCos)) (fma.f32 ux maxCos (-.f32 1 maxCos))))))
(.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (-.f32 (fma.f32 ux maxCos 1) maxCos) (+.f32 -1 (.f32 (-.f32 1 ux) maxCos)) 1)))
(.f32 (cos.f32 (.f32 (.f32 maxCos 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux uy)) (+.f32 (-.f32 1 ux) (.f32 ux uy))))))
(.f32 (cos.f32 (.f32 (PI.f32) (.f32 2 maxCos))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 uy ux)) (+.f32 (-.f32 1 ux) (.f32 uy ux))))))
(.f32 (cos.f32 (.f32 2 (.f32 maxCos (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (fma.f32 uy ux (-.f32 1 ux)) (fma.f32 uy ux (-.f32 1 ux))))))
(.f32 (cos.f32 (.f32 (PI.f32) (.f32 2 maxCos))) (sqrt.f32 (fma.f32 (fma.f32 uy ux (-.f32 1 ux)) (+.f32 -1 (.f32 ux (-.f32 1 uy))) 1)))

Symmetry

(abs uy)

Compiler

Compiled 252 to 146 computations (42.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 2.3s

Operation ival-sub, time spent: 1.1s, 47.0% of total-time

Operation ival-add, time spent: 548.0ms, 24.0% of total-time

Operation ival-mult, time spent: 395.0ms, 17.0% of total-time

Operation ival-cos, time spent: 106.0ms, 5.0% of total-time

Operation ival-sqrt, time spent: 100.0ms, 4.0% of total-time

Operation const, time spent: 74.0ms, 3.0% of total-time

Operation ival-pi, time spent: 20.0ms, 1.0% of total-time

eval1.0ms (0%)

Compiler: Compiled 49 to 35 computations (28.6% saved)

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	54.6%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
▶	55.0%	(.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))

Status

Accuracy

Program

▶

54.6%

(*.f32 (cos.f32 (*.f32 (*.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))

▶

55.0%

(*.f32 (cos.f32 (*.f32 uy (*.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))

Compiler

Compiled 54 to 40 computations (25.9% saved)

localize3.6s (5.7%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	6.3%	(PI.f32)
✓	6.3%	(PI.f32)

Compiler

Compiled 211 to 127 computations (39.8% saved)

Precisions

Click to see histograms. Total time spent on operations: 2.4s

Operation ival-sub, time spent: 653.0ms, 27.0% of total-time

Operation ival-add, time spent: 643.0ms, 26.0% of total-time

Operation ival-mult, time spent: 477.0ms, 20.0% of total-time

Operation composed, time spent: 363.0ms, 15.0% of total-time

Operation ival-sqrt, time spent: 103.0ms, 4.0% of total-time

Operation ival-cos, time spent: 101.0ms, 4.0% of total-time

Operation const, time spent: 80.0ms, 3.0% of total-time

Operation ival-pi, time spent: 14.0ms, 1.0% of total-time

series0.0ms (0%)

Counts: 2 → 0

rewrite329.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

737×	`log1p-expm1-u`
737×	`expm1-log1p-u`
647×	`prod-diff`
460×	`log-prod`
276×	`fma-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	6
1	24	6
2	235	6
3	2422	6

Stop Event

1×	node limit

Counts

2 → 126

Calls

Call 1

Inputs
(PI.f32)
(PI.f32)

Outputs
(+.f32 (PI.f32) 0)
(+.f32 (+.f32 (PI.f32) 1) -1)
(+.f32 0 (PI.f32))
(+.f32 (.f32 2 (.f32 1/3 (PI.f32))) (*.f32 1/3 (PI.f32)))
(+.f32 (.f32 1/3 (PI.f32)) (.f32 2 (*.f32 1/3 (PI.f32))))
(+.f32 (.f32 1/2 (PI.f32)) (.f32 1/2 (PI.f32)))
(-.f32 (+.f32 (PI.f32) 1) 1)
(-.f32 (+.f32 (PI.f32) 1) (log.f32 (E.f32)))
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log.f32 (+.f32 1 (-.f32 (pow.f32 (expm1.f32 (PI.f32)) 2) (expm1.f32 (PI.f32))))))
(-.f32 (log.f32 (pow.f32 (E.f32) (+.f32 (PI.f32) 1))) (log.f32 (E.f32)))
(-.f32 (log.f32 (-.f32 1 (pow.f32 (expm1.f32 (PI.f32)) 2))) (log.f32 (-.f32 1 (expm1.f32 (PI.f32)))))
(*.f32 (PI.f32) 1)
(*.f32 (PI.f32) (log.f32 (E.f32)))
(*.f32 1 (PI.f32))
(*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (PI.f32)) 2))
(*.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (cbrt.f32 (PI.f32)))
(*.f32 (sqrt.f32 (PI.f32)) (sqrt.f32 (PI.f32)))
(.f32 2 (.f32 1/2 (PI.f32)))
(.f32 1/3 (.f32 3 (PI.f32)))
(.f32 3 (.f32 1/3 (PI.f32)))
(.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))))
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (PI.f32))))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (pow.f32 (PI.f32) 1/6) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (PI.f32) 1/6))))
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (cbrt.f32 (PI.f32)))))
(*.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (pow.f32 (PI.f32) 3/2)))
(.f32 (pow.f32 (PI.f32) 1/4) (.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (PI.f32))))
(*.f32 (pow.f32 (PI.f32) 1/4) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/4))))
(*.f32 (log.f32 (E.f32)) (PI.f32))
(*.f32 (pow.f32 1 1/3) (PI.f32))
(*.f32 (pow.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2) 1/3) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (pow.f32 (pow.f32 (PI.f32) 5/2) 1/3) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/6))
(*.f32 (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (cbrt.f32 (pow.f32 (PI.f32) 5/2)) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/4)) (pow.f32 (PI.f32) 1/4))
(*.f32 (sqrt.f32 (pow.f32 (PI.f32) 3/2)) (pow.f32 (PI.f32) 1/4))
(*.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5)) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (PI.f32) 1/6)) (pow.f32 (PI.f32) 1/6))
(/.f32 (-.f32 (pow.f32 (+.f32 (PI.f32) 1) 3) 1) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 1 (+.f32 (PI.f32) 1))))
(/.f32 (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) -1) (+.f32 (+.f32 (PI.f32) 1) 1))
(pow.f32 (PI.f32) 1)
(pow.f32 (cbrt.f32 (PI.f32)) 3)
(pow.f32 (pow.f32 (PI.f32) 2) 1/2)
(pow.f32 (pow.f32 (PI.f32) 3) 1/3)
(pow.f32 (sqrt.f32 (PI.f32)) 2)
(pow.f32 (E.f32) (log.f32 (PI.f32)))
(pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (PI.f32))) 2)) (cbrt.f32 (log.f32 (PI.f32))))
(pow.f32 (exp.f32 (sqrt.f32 (log.f32 (PI.f32)))) (sqrt.f32 (log.f32 (PI.f32))))
(sqrt.f32 (pow.f32 (PI.f32) 2))
(fabs.f32 (PI.f32))
(log.f32 (exp.f32 (PI.f32)))
(cbrt.f32 (pow.f32 (PI.f32) 3))
(expm1.f32 (log1p.f32 (PI.f32)))
(log1p.f32 (expm1.f32 (PI.f32)))
(exp.f32 (log.f32 (PI.f32)))
(fma.f32 1 (+.f32 (PI.f32) 1) -1)
(fma.f32 (+.f32 (PI.f32) 1) 1 -1)
(fma.f32 (*.f32 (cbrt.f32 (+.f32 (PI.f32) 1)) (cbrt.f32 (+.f32 (PI.f32) 1))) (cbrt.f32 (+.f32 (PI.f32) 1)) -1)
(fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1)
(+.f32 (PI.f32) 0)
(+.f32 (+.f32 (PI.f32) 1) -1)
(+.f32 0 (PI.f32))
(+.f32 (.f32 2 (.f32 1/3 (PI.f32))) (*.f32 1/3 (PI.f32)))
(+.f32 (.f32 1/3 (PI.f32)) (.f32 2 (*.f32 1/3 (PI.f32))))
(+.f32 (.f32 1/2 (PI.f32)) (.f32 1/2 (PI.f32)))
(-.f32 (+.f32 (PI.f32) 1) 1)
(-.f32 (+.f32 (PI.f32) 1) (log.f32 (E.f32)))
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log.f32 (+.f32 1 (-.f32 (pow.f32 (expm1.f32 (PI.f32)) 2) (expm1.f32 (PI.f32))))))
(-.f32 (log.f32 (pow.f32 (E.f32) (+.f32 (PI.f32) 1))) (log.f32 (E.f32)))
(-.f32 (log.f32 (-.f32 1 (pow.f32 (expm1.f32 (PI.f32)) 2))) (log.f32 (-.f32 1 (expm1.f32 (PI.f32)))))
(*.f32 (PI.f32) 1)
(*.f32 (PI.f32) (log.f32 (E.f32)))
(*.f32 1 (PI.f32))
(*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (PI.f32)) 2))
(*.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (cbrt.f32 (PI.f32)))
(*.f32 (sqrt.f32 (PI.f32)) (sqrt.f32 (PI.f32)))
(.f32 2 (.f32 1/2 (PI.f32)))
(.f32 1/3 (.f32 3 (PI.f32)))
(.f32 3 (.f32 1/3 (PI.f32)))
(.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))))
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (PI.f32))))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (pow.f32 (PI.f32) 1/6) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (PI.f32) 1/6))))
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (cbrt.f32 (PI.f32)))))
(*.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (pow.f32 (PI.f32) 3/2)))
(.f32 (pow.f32 (PI.f32) 1/4) (.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (PI.f32))))
(*.f32 (pow.f32 (PI.f32) 1/4) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/4))))
(*.f32 (log.f32 (E.f32)) (PI.f32))
(*.f32 (pow.f32 1 1/3) (PI.f32))
(*.f32 (pow.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2) 1/3) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (pow.f32 (pow.f32 (PI.f32) 5/2) 1/3) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/6))
(*.f32 (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (cbrt.f32 (pow.f32 (PI.f32) 5/2)) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/4)) (pow.f32 (PI.f32) 1/4))
(*.f32 (sqrt.f32 (pow.f32 (PI.f32) 3/2)) (pow.f32 (PI.f32) 1/4))
(*.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5)) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (PI.f32) 1/6)) (pow.f32 (PI.f32) 1/6))
(/.f32 (-.f32 (pow.f32 (+.f32 (PI.f32) 1) 3) 1) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 1 (+.f32 (PI.f32) 1))))
(/.f32 (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) -1) (+.f32 (+.f32 (PI.f32) 1) 1))
(pow.f32 (PI.f32) 1)
(pow.f32 (cbrt.f32 (PI.f32)) 3)
(pow.f32 (pow.f32 (PI.f32) 2) 1/2)
(pow.f32 (pow.f32 (PI.f32) 3) 1/3)
(pow.f32 (sqrt.f32 (PI.f32)) 2)
(pow.f32 (E.f32) (log.f32 (PI.f32)))
(pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (PI.f32))) 2)) (cbrt.f32 (log.f32 (PI.f32))))
(pow.f32 (exp.f32 (sqrt.f32 (log.f32 (PI.f32)))) (sqrt.f32 (log.f32 (PI.f32))))
(sqrt.f32 (pow.f32 (PI.f32) 2))
(fabs.f32 (PI.f32))
(log.f32 (exp.f32 (PI.f32)))
(cbrt.f32 (pow.f32 (PI.f32) 3))
(expm1.f32 (log1p.f32 (PI.f32)))
(log1p.f32 (expm1.f32 (PI.f32)))
(exp.f32 (log.f32 (PI.f32)))
(fma.f32 1 (+.f32 (PI.f32) 1) -1)
(fma.f32 (+.f32 (PI.f32) 1) 1 -1)
(fma.f32 (*.f32 (cbrt.f32 (+.f32 (PI.f32) 1)) (cbrt.f32 (+.f32 (PI.f32) 1))) (cbrt.f32 (+.f32 (PI.f32) 1)) -1)
(fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1)

simplify98.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

835×	`log-prod`
512×	`associate-+l+`
489×	`associate-+r+`
257×	`unswap-sqr`
231×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	160	1602
1	368	1522
2	1436	1490
3	7030	1490

Stop Event

1×	node limit

Counts

126 → 83

Calls

Call 1

Inputs
(+.f32 (PI.f32) 0)
(+.f32 (+.f32 (PI.f32) 1) -1)
(+.f32 0 (PI.f32))
(+.f32 (.f32 2 (.f32 1/3 (PI.f32))) (*.f32 1/3 (PI.f32)))
(+.f32 (.f32 1/3 (PI.f32)) (.f32 2 (*.f32 1/3 (PI.f32))))
(+.f32 (.f32 1/2 (PI.f32)) (.f32 1/2 (PI.f32)))
(-.f32 (+.f32 (PI.f32) 1) 1)
(-.f32 (+.f32 (PI.f32) 1) (log.f32 (E.f32)))
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log.f32 (+.f32 1 (-.f32 (pow.f32 (expm1.f32 (PI.f32)) 2) (expm1.f32 (PI.f32))))))
(-.f32 (log.f32 (pow.f32 (E.f32) (+.f32 (PI.f32) 1))) (log.f32 (E.f32)))
(-.f32 (log.f32 (-.f32 1 (pow.f32 (expm1.f32 (PI.f32)) 2))) (log.f32 (-.f32 1 (expm1.f32 (PI.f32)))))
(*.f32 (PI.f32) 1)
(*.f32 (PI.f32) (log.f32 (E.f32)))
(*.f32 1 (PI.f32))
(*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (PI.f32)) 2))
(*.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (cbrt.f32 (PI.f32)))
(*.f32 (sqrt.f32 (PI.f32)) (sqrt.f32 (PI.f32)))
(.f32 2 (.f32 1/2 (PI.f32)))
(.f32 1/3 (.f32 3 (PI.f32)))
(.f32 3 (.f32 1/3 (PI.f32)))
(.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))))
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (PI.f32))))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (pow.f32 (PI.f32) 1/6) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (PI.f32) 1/6))))
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (cbrt.f32 (PI.f32)))))
(*.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (pow.f32 (PI.f32) 3/2)))
(.f32 (pow.f32 (PI.f32) 1/4) (.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (PI.f32))))
(*.f32 (pow.f32 (PI.f32) 1/4) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/4))))
(*.f32 (log.f32 (E.f32)) (PI.f32))
(*.f32 (pow.f32 1 1/3) (PI.f32))
(*.f32 (pow.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2) 1/3) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (pow.f32 (pow.f32 (PI.f32) 5/2) 1/3) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/6))
(*.f32 (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (cbrt.f32 (pow.f32 (PI.f32) 5/2)) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/4)) (pow.f32 (PI.f32) 1/4))
(*.f32 (sqrt.f32 (pow.f32 (PI.f32) 3/2)) (pow.f32 (PI.f32) 1/4))
(*.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5)) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (PI.f32) 1/6)) (pow.f32 (PI.f32) 1/6))
(/.f32 (-.f32 (pow.f32 (+.f32 (PI.f32) 1) 3) 1) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 1 (+.f32 (PI.f32) 1))))
(/.f32 (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) -1) (+.f32 (+.f32 (PI.f32) 1) 1))
(pow.f32 (PI.f32) 1)
(pow.f32 (cbrt.f32 (PI.f32)) 3)
(pow.f32 (pow.f32 (PI.f32) 2) 1/2)
(pow.f32 (pow.f32 (PI.f32) 3) 1/3)
(pow.f32 (sqrt.f32 (PI.f32)) 2)
(pow.f32 (E.f32) (log.f32 (PI.f32)))
(pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (PI.f32))) 2)) (cbrt.f32 (log.f32 (PI.f32))))
(pow.f32 (exp.f32 (sqrt.f32 (log.f32 (PI.f32)))) (sqrt.f32 (log.f32 (PI.f32))))
(sqrt.f32 (pow.f32 (PI.f32) 2))
(fabs.f32 (PI.f32))
(log.f32 (exp.f32 (PI.f32)))
(cbrt.f32 (pow.f32 (PI.f32) 3))
(expm1.f32 (log1p.f32 (PI.f32)))
(log1p.f32 (expm1.f32 (PI.f32)))
(exp.f32 (log.f32 (PI.f32)))
(fma.f32 1 (+.f32 (PI.f32) 1) -1)
(fma.f32 (+.f32 (PI.f32) 1) 1 -1)
(fma.f32 (*.f32 (cbrt.f32 (+.f32 (PI.f32) 1)) (cbrt.f32 (+.f32 (PI.f32) 1))) (cbrt.f32 (+.f32 (PI.f32) 1)) -1)
(fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1)
(+.f32 (PI.f32) 0)
(+.f32 (+.f32 (PI.f32) 1) -1)
(+.f32 0 (PI.f32))
(+.f32 (.f32 2 (.f32 1/3 (PI.f32))) (*.f32 1/3 (PI.f32)))
(+.f32 (.f32 1/3 (PI.f32)) (.f32 2 (*.f32 1/3 (PI.f32))))
(+.f32 (.f32 1/2 (PI.f32)) (.f32 1/2 (PI.f32)))
(-.f32 (+.f32 (PI.f32) 1) 1)
(-.f32 (+.f32 (PI.f32) 1) (log.f32 (E.f32)))
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log.f32 (+.f32 1 (-.f32 (pow.f32 (expm1.f32 (PI.f32)) 2) (expm1.f32 (PI.f32))))))
(-.f32 (log.f32 (pow.f32 (E.f32) (+.f32 (PI.f32) 1))) (log.f32 (E.f32)))
(-.f32 (log.f32 (-.f32 1 (pow.f32 (expm1.f32 (PI.f32)) 2))) (log.f32 (-.f32 1 (expm1.f32 (PI.f32)))))
(*.f32 (PI.f32) 1)
(*.f32 (PI.f32) (log.f32 (E.f32)))
(*.f32 1 (PI.f32))
(*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (PI.f32)) 2))
(*.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (cbrt.f32 (PI.f32)))
(*.f32 (sqrt.f32 (PI.f32)) (sqrt.f32 (PI.f32)))
(.f32 2 (.f32 1/2 (PI.f32)))
(.f32 1/3 (.f32 3 (PI.f32)))
(.f32 3 (.f32 1/3 (PI.f32)))
(.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))))
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (PI.f32))))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (pow.f32 (PI.f32) 1/6) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (PI.f32) 1/6))))
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (cbrt.f32 (PI.f32)))))
(*.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (pow.f32 (PI.f32) 3/2)))
(.f32 (pow.f32 (PI.f32) 1/4) (.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (PI.f32))))
(*.f32 (pow.f32 (PI.f32) 1/4) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/4))))
(*.f32 (log.f32 (E.f32)) (PI.f32))
(*.f32 (pow.f32 1 1/3) (PI.f32))
(*.f32 (pow.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2) 1/3) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (pow.f32 (pow.f32 (PI.f32) 5/2) 1/3) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/6))
(*.f32 (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (cbrt.f32 (pow.f32 (PI.f32) 5/2)) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/4)) (pow.f32 (PI.f32) 1/4))
(*.f32 (sqrt.f32 (pow.f32 (PI.f32) 3/2)) (pow.f32 (PI.f32) 1/4))
(*.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5)) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (PI.f32) 1/6)) (pow.f32 (PI.f32) 1/6))
(/.f32 (-.f32 (pow.f32 (+.f32 (PI.f32) 1) 3) 1) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 1 (+.f32 (PI.f32) 1))))
(/.f32 (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) -1) (+.f32 (+.f32 (PI.f32) 1) 1))
(pow.f32 (PI.f32) 1)
(pow.f32 (cbrt.f32 (PI.f32)) 3)
(pow.f32 (pow.f32 (PI.f32) 2) 1/2)
(pow.f32 (pow.f32 (PI.f32) 3) 1/3)
(pow.f32 (sqrt.f32 (PI.f32)) 2)
(pow.f32 (E.f32) (log.f32 (PI.f32)))
(pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (PI.f32))) 2)) (cbrt.f32 (log.f32 (PI.f32))))
(pow.f32 (exp.f32 (sqrt.f32 (log.f32 (PI.f32)))) (sqrt.f32 (log.f32 (PI.f32))))
(sqrt.f32 (pow.f32 (PI.f32) 2))
(fabs.f32 (PI.f32))
(log.f32 (exp.f32 (PI.f32)))
(cbrt.f32 (pow.f32 (PI.f32) 3))
(expm1.f32 (log1p.f32 (PI.f32)))
(log1p.f32 (expm1.f32 (PI.f32)))
(exp.f32 (log.f32 (PI.f32)))
(fma.f32 1 (+.f32 (PI.f32) 1) -1)
(fma.f32 (+.f32 (PI.f32) 1) 1 -1)
(fma.f32 (*.f32 (cbrt.f32 (+.f32 (PI.f32) 1)) (cbrt.f32 (+.f32 (PI.f32) 1))) (cbrt.f32 (+.f32 (PI.f32) 1)) -1)
(fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1)

Outputs
(+.f32 (PI.f32) 0)
(PI.f32)
(+.f32 (+.f32 (PI.f32) 1) -1)
(PI.f32)
(+.f32 0 (PI.f32))
(PI.f32)
(+.f32 (.f32 2 (.f32 1/3 (PI.f32))) (*.f32 1/3 (PI.f32)))
(PI.f32)
(+.f32 (.f32 1/3 (PI.f32)) (.f32 2 (*.f32 1/3 (PI.f32))))
(PI.f32)
(+.f32 (.f32 1/2 (PI.f32)) (.f32 1/2 (PI.f32)))
(PI.f32)
(-.f32 (+.f32 (PI.f32) 1) 1)
(PI.f32)
(-.f32 (+.f32 (PI.f32) 1) (log.f32 (E.f32)))
(PI.f32)
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log.f32 (+.f32 1 (-.f32 (pow.f32 (expm1.f32 (PI.f32)) 2) (expm1.f32 (PI.f32))))))
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log1p.f32 (-.f32 (pow.f32 (expm1.f32 (PI.f32)) 2) (expm1.f32 (PI.f32)))))
(-.f32 (log.f32 (pow.f32 (E.f32) (+.f32 (PI.f32) 1))) (log.f32 (E.f32)))
(PI.f32)
(-.f32 (log.f32 (-.f32 1 (pow.f32 (expm1.f32 (PI.f32)) 2))) (log.f32 (-.f32 1 (expm1.f32 (PI.f32)))))
(-.f32 (log1p.f32 (neg.f32 (pow.f32 (expm1.f32 (PI.f32)) 2))) (log1p.f32 (neg.f32 (expm1.f32 (PI.f32)))))
(*.f32 (PI.f32) 1)
(PI.f32)
(*.f32 (PI.f32) (log.f32 (E.f32)))
(PI.f32)
(*.f32 1 (PI.f32))
(PI.f32)
(*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (PI.f32)) 2))
(PI.f32)
(*.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (cbrt.f32 (PI.f32)))
(PI.f32)
(*.f32 (sqrt.f32 (PI.f32)) (sqrt.f32 (PI.f32)))
(PI.f32)
(.f32 2 (.f32 1/2 (PI.f32)))
(PI.f32)
(.f32 1/3 (.f32 3 (PI.f32)))
(PI.f32)
(.f32 3 (.f32 1/3 (PI.f32)))
(PI.f32)
(.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(PI.f32)
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))))
(PI.f32)
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (PI.f32))))
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)))
(.f32 (cbrt.f32 (PI.f32)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (pow.f32 (PI.f32) 1/6) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(PI.f32)
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (PI.f32) 1/6))))
(PI.f32)
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (cbrt.f32 (PI.f32)))))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (cbrt.f32 (PI.f32)) (log.f32 (exp.f32 (sqrt.f32 (PI.f32))))))
(.f32 (cbrt.f32 (PI.f32)) (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/6)))
(*.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (pow.f32 (PI.f32) 3/2)))
(*.f32 (pow.f32 (PI.f32) 1/4) (fabs.f32 (pow.f32 (PI.f32) 3/4)))
(*.f32 (pow.f32 (PI.f32) 1/4) (pow.f32 (PI.f32) 3/4))
(.f32 (pow.f32 (PI.f32) 1/4) (.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (PI.f32))))
(PI.f32)
(*.f32 (pow.f32 (PI.f32) 1/4) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/4))))
(PI.f32)
(*.f32 (log.f32 (E.f32)) (PI.f32))
(PI.f32)
(*.f32 (pow.f32 1 1/3) (PI.f32))
(PI.f32)
(*.f32 (pow.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2) 1/3) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8)))
(*.f32 (pow.f32 (pow.f32 (PI.f32) 5/2) 1/3) (pow.f32 (PI.f32) 1/6))
(*.f32 (pow.f32 (PI.f32) 1/6) (cbrt.f32 (pow.f32 (PI.f32) 5/2)))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/6))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (cbrt.f32 (PI.f32)) (log.f32 (exp.f32 (sqrt.f32 (PI.f32))))))
(.f32 (cbrt.f32 (PI.f32)) (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/6)))
(*.f32 (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8)))
(*.f32 (cbrt.f32 (pow.f32 (PI.f32) 5/2)) (pow.f32 (PI.f32) 1/6))
(*.f32 (pow.f32 (PI.f32) 1/6) (cbrt.f32 (pow.f32 (PI.f32) 5/2)))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/4)) (pow.f32 (PI.f32) 1/4))
(PI.f32)
(*.f32 (sqrt.f32 (pow.f32 (PI.f32) 3/2)) (pow.f32 (PI.f32) 1/4))
(*.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (pow.f32 (PI.f32) 3/2)))
(*.f32 (pow.f32 (PI.f32) 1/4) (fabs.f32 (pow.f32 (PI.f32) 3/4)))
(*.f32 (pow.f32 (PI.f32) 1/4) (pow.f32 (PI.f32) 3/4))
(*.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5)) (pow.f32 (PI.f32) 1/6))
(*.f32 (pow.f32 (PI.f32) 1/6) (sqrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5)))
(*.f32 (pow.f32 (PI.f32) 1/6) (pow.f32 (cbrt.f32 (PI.f32)) 5/2))
(.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)))
(.f32 (cbrt.f32 (PI.f32)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(PI.f32)
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (PI.f32) 1/6)) (pow.f32 (PI.f32) 1/6))
(PI.f32)
(/.f32 (-.f32 (pow.f32 (+.f32 (PI.f32) 1) 3) 1) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 1 (+.f32 (PI.f32) 1))))
(/.f32 (+.f32 (pow.f32 (+.f32 (PI.f32) 1) 3) -1) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 2)))
(/.f32 (+.f32 -1 (pow.f32 (+.f32 (PI.f32) 1) 3)) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 2)))
(/.f32 (+.f32 -1 (pow.f32 (+.f32 (PI.f32) 1) 3)) (+.f32 1 (*.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 2))))
(/.f32 (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) -1) (+.f32 (+.f32 (PI.f32) 1) 1))
(/.f32 (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) -1) (+.f32 (PI.f32) 2))
(/.f32 (*.f32 (+.f32 (PI.f32) 2) (PI.f32)) (+.f32 (PI.f32) 2))
(*.f32 (+.f32 (PI.f32) 2) (/.f32 (PI.f32) (+.f32 (PI.f32) 2)))
(pow.f32 (PI.f32) 1)
(PI.f32)
(pow.f32 (cbrt.f32 (PI.f32)) 3)
(PI.f32)
(pow.f32 (pow.f32 (PI.f32) 2) 1/2)
(PI.f32)
(pow.f32 (pow.f32 (PI.f32) 3) 1/3)
(PI.f32)
(pow.f32 (sqrt.f32 (PI.f32)) 2)
(PI.f32)
(pow.f32 (E.f32) (log.f32 (PI.f32)))
(PI.f32)
(pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (PI.f32))) 2)) (cbrt.f32 (log.f32 (PI.f32))))
(pow.f32 (exp.f32 (sqrt.f32 (log.f32 (PI.f32)))) (sqrt.f32 (log.f32 (PI.f32))))
(sqrt.f32 (pow.f32 (PI.f32) 2))
(PI.f32)
(fabs.f32 (PI.f32))
(PI.f32)
(log.f32 (exp.f32 (PI.f32)))
(PI.f32)
(cbrt.f32 (pow.f32 (PI.f32) 3))
(PI.f32)
(expm1.f32 (log1p.f32 (PI.f32)))
(PI.f32)
(log1p.f32 (expm1.f32 (PI.f32)))
(PI.f32)
(exp.f32 (log.f32 (PI.f32)))
(PI.f32)
(fma.f32 1 (+.f32 (PI.f32) 1) -1)
(PI.f32)
(fma.f32 (+.f32 (PI.f32) 1) 1 -1)
(PI.f32)
(fma.f32 (*.f32 (cbrt.f32 (+.f32 (PI.f32) 1)) (cbrt.f32 (+.f32 (PI.f32) 1))) (cbrt.f32 (+.f32 (PI.f32) 1)) -1)
(PI.f32)
(fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1)
(PI.f32)
(+.f32 (PI.f32) 0)
(PI.f32)
(+.f32 (+.f32 (PI.f32) 1) -1)
(PI.f32)
(+.f32 0 (PI.f32))
(PI.f32)
(+.f32 (.f32 2 (.f32 1/3 (PI.f32))) (*.f32 1/3 (PI.f32)))
(PI.f32)
(+.f32 (.f32 1/3 (PI.f32)) (.f32 2 (*.f32 1/3 (PI.f32))))
(PI.f32)
(+.f32 (.f32 1/2 (PI.f32)) (.f32 1/2 (PI.f32)))
(PI.f32)
(-.f32 (+.f32 (PI.f32) 1) 1)
(PI.f32)
(-.f32 (+.f32 (PI.f32) 1) (log.f32 (E.f32)))
(PI.f32)
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log.f32 (+.f32 1 (-.f32 (pow.f32 (expm1.f32 (PI.f32)) 2) (expm1.f32 (PI.f32))))))
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log1p.f32 (-.f32 (pow.f32 (expm1.f32 (PI.f32)) 2) (expm1.f32 (PI.f32)))))
(-.f32 (log.f32 (pow.f32 (E.f32) (+.f32 (PI.f32) 1))) (log.f32 (E.f32)))
(PI.f32)
(-.f32 (log.f32 (-.f32 1 (pow.f32 (expm1.f32 (PI.f32)) 2))) (log.f32 (-.f32 1 (expm1.f32 (PI.f32)))))
(-.f32 (log1p.f32 (neg.f32 (pow.f32 (expm1.f32 (PI.f32)) 2))) (log1p.f32 (neg.f32 (expm1.f32 (PI.f32)))))
(*.f32 (PI.f32) 1)
(PI.f32)
(*.f32 (PI.f32) (log.f32 (E.f32)))
(PI.f32)
(*.f32 1 (PI.f32))
(PI.f32)
(*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (PI.f32)) 2))
(PI.f32)
(*.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (cbrt.f32 (PI.f32)))
(PI.f32)
(*.f32 (sqrt.f32 (PI.f32)) (sqrt.f32 (PI.f32)))
(PI.f32)
(.f32 2 (.f32 1/2 (PI.f32)))
(PI.f32)
(.f32 1/3 (.f32 3 (PI.f32)))
(PI.f32)
(.f32 3 (.f32 1/3 (PI.f32)))
(PI.f32)
(.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(PI.f32)
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))))
(PI.f32)
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (PI.f32))))
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)))
(.f32 (cbrt.f32 (PI.f32)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (pow.f32 (PI.f32) 1/6) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(PI.f32)
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (PI.f32) 1/6))))
(PI.f32)
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (cbrt.f32 (PI.f32)))))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (cbrt.f32 (PI.f32)) (log.f32 (exp.f32 (sqrt.f32 (PI.f32))))))
(.f32 (cbrt.f32 (PI.f32)) (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/6)))
(*.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (pow.f32 (PI.f32) 3/2)))
(*.f32 (pow.f32 (PI.f32) 1/4) (fabs.f32 (pow.f32 (PI.f32) 3/4)))
(*.f32 (pow.f32 (PI.f32) 1/4) (pow.f32 (PI.f32) 3/4))
(.f32 (pow.f32 (PI.f32) 1/4) (.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (PI.f32))))
(PI.f32)
(*.f32 (pow.f32 (PI.f32) 1/4) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/4))))
(PI.f32)
(*.f32 (log.f32 (E.f32)) (PI.f32))
(PI.f32)
(*.f32 (pow.f32 1 1/3) (PI.f32))
(PI.f32)
(*.f32 (pow.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2) 1/3) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8)))
(*.f32 (pow.f32 (pow.f32 (PI.f32) 5/2) 1/3) (pow.f32 (PI.f32) 1/6))
(*.f32 (pow.f32 (PI.f32) 1/6) (cbrt.f32 (pow.f32 (PI.f32) 5/2)))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/6))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (cbrt.f32 (PI.f32)) (log.f32 (exp.f32 (sqrt.f32 (PI.f32))))))
(.f32 (cbrt.f32 (PI.f32)) (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/6)))
(*.f32 (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8)))
(*.f32 (cbrt.f32 (pow.f32 (PI.f32) 5/2)) (pow.f32 (PI.f32) 1/6))
(*.f32 (pow.f32 (PI.f32) 1/6) (cbrt.f32 (pow.f32 (PI.f32) 5/2)))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/4)) (pow.f32 (PI.f32) 1/4))
(PI.f32)
(*.f32 (sqrt.f32 (pow.f32 (PI.f32) 3/2)) (pow.f32 (PI.f32) 1/4))
(*.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (pow.f32 (PI.f32) 3/2)))
(*.f32 (pow.f32 (PI.f32) 1/4) (fabs.f32 (pow.f32 (PI.f32) 3/4)))
(*.f32 (pow.f32 (PI.f32) 1/4) (pow.f32 (PI.f32) 3/4))
(*.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5)) (pow.f32 (PI.f32) 1/6))
(*.f32 (pow.f32 (PI.f32) 1/6) (sqrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5)))
(*.f32 (pow.f32 (PI.f32) 1/6) (pow.f32 (cbrt.f32 (PI.f32)) 5/2))
(.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)))
(.f32 (cbrt.f32 (PI.f32)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(PI.f32)
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (PI.f32) 1/6)) (pow.f32 (PI.f32) 1/6))
(PI.f32)
(/.f32 (-.f32 (pow.f32 (+.f32 (PI.f32) 1) 3) 1) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 1 (+.f32 (PI.f32) 1))))
(/.f32 (+.f32 (pow.f32 (+.f32 (PI.f32) 1) 3) -1) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 2)))
(/.f32 (+.f32 -1 (pow.f32 (+.f32 (PI.f32) 1) 3)) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 2)))
(/.f32 (+.f32 -1 (pow.f32 (+.f32 (PI.f32) 1) 3)) (+.f32 1 (*.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 2))))
(/.f32 (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) -1) (+.f32 (+.f32 (PI.f32) 1) 1))
(/.f32 (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) -1) (+.f32 (PI.f32) 2))
(/.f32 (*.f32 (+.f32 (PI.f32) 2) (PI.f32)) (+.f32 (PI.f32) 2))
(*.f32 (+.f32 (PI.f32) 2) (/.f32 (PI.f32) (+.f32 (PI.f32) 2)))
(pow.f32 (PI.f32) 1)
(PI.f32)
(pow.f32 (cbrt.f32 (PI.f32)) 3)
(PI.f32)
(pow.f32 (pow.f32 (PI.f32) 2) 1/2)
(PI.f32)
(pow.f32 (pow.f32 (PI.f32) 3) 1/3)
(PI.f32)
(pow.f32 (sqrt.f32 (PI.f32)) 2)
(PI.f32)
(pow.f32 (E.f32) (log.f32 (PI.f32)))
(PI.f32)
(pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (PI.f32))) 2)) (cbrt.f32 (log.f32 (PI.f32))))
(pow.f32 (exp.f32 (sqrt.f32 (log.f32 (PI.f32)))) (sqrt.f32 (log.f32 (PI.f32))))
(sqrt.f32 (pow.f32 (PI.f32) 2))
(PI.f32)
(fabs.f32 (PI.f32))
(PI.f32)
(log.f32 (exp.f32 (PI.f32)))
(PI.f32)
(cbrt.f32 (pow.f32 (PI.f32) 3))
(PI.f32)
(expm1.f32 (log1p.f32 (PI.f32)))
(PI.f32)
(log1p.f32 (expm1.f32 (PI.f32)))
(PI.f32)
(exp.f32 (log.f32 (PI.f32)))
(PI.f32)
(fma.f32 1 (+.f32 (PI.f32) 1) -1)
(PI.f32)
(fma.f32 (+.f32 (PI.f32) 1) 1 -1)
(PI.f32)
(fma.f32 (*.f32 (cbrt.f32 (+.f32 (PI.f32) 1)) (cbrt.f32 (+.f32 (PI.f32) 1))) (cbrt.f32 (+.f32 (PI.f32) 1)) -1)
(PI.f32)
(fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1)
(PI.f32)

eval88.0ms (0.1%)

Compiler: Compiled 5257 to 3466 computations (34.1% saved)

prune39.0ms (0.1%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	158	8	166
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	158	10	168

Accuracy

55.4%

Counts

168 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
	54.5%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
▶	54.5%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (-.f32 (+.f32 (PI.f32) 1) 1))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
	54.6%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (E.f32)) (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
	54.5%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
✓	54.6%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
▶	54.9%	(.f32 (cos.f32 (.f32 uy (.f32 2 (fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
▶	54.9%	(.f32 (cos.f32 (.f32 uy (.f32 2 (-.f32 (+.f32 (PI.f32) 1) 1)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
▶	55.0%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
▶	54.9%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8)))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
✓	55.0%	(.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))

Compiler

Compiled 582 to 444 computations (23.7% saved)

localize13.4s (21.3%)

Localize:

Found 6 expressions with local error:

New	Accuracy	Program
	6.3%	(PI.f32)
	6.3%	(PI.f32)
	6.3%	(PI.f32)
	6.3%	(PI.f32)
	6.3%	(PI.f32)
✓	6.3%	(E.f32)

Compiler

Compiled 680 to 435 computations (36% saved)

Precisions

Click to see histograms. Total time spent on operations: 10.1s

Operation ival-add, time spent: 2.7s, 27.0% of total-time

Operation ival-sub, time spent: 2.1s, 20.0% of total-time

Operation ival-mult, time spent: 1.9s, 19.0% of total-time

Operation composed, time spent: 1.8s, 18.0% of total-time

Operation ival-sqrt, time spent: 559.0ms, 6.0% of total-time

Operation const, time spent: 286.0ms, 3.0% of total-time

Operation ival-cos, time spent: 246.0ms, 2.0% of total-time

Operation ival-cbrt, time spent: 149.0ms, 1.0% of total-time

Operation ival-pow, time spent: 139.0ms, 1.0% of total-time

Operation ival-e, time spent: 113.0ms, 1.0% of total-time

Operation ival-log, time spent: 79.0ms, 1.0% of total-time

Operation ival-pi, time spent: 14.0ms, 0.0% of total-time

series0.0ms (0%)

Counts: 1 → 0

rewrite84.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

602×	`log1p-expm1-u`
602×	`expm1-log1p-u`
438×	`prod-diff`
414×	`pow-unpow`
356×	`pow-prod-down`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	3
1	25	3
2	224	3
3	2107	3

Stop Event

1×	node limit

Counts

1 → 58

Calls

Call 1

Inputs
(E.f32)

Outputs
(+.f32 (E.f32) 0)
(+.f32 (E.f32) (log.f32 (pow.f32 1 (E.f32))))
(+.f32 (+.f32 (E.f32) 1) -1)
(+.f32 0 (E.f32))
(+.f32 (.f32 2 (.f32 1/3 (E.f32))) (*.f32 1/3 (E.f32)))
(+.f32 (.f32 1/3 (E.f32)) (.f32 2 (*.f32 1/3 (E.f32))))
(+.f32 (*.f32 1/3 (E.f32)) (log.f32 (pow.f32 (exp.f32 2/3) (E.f32))))
(+.f32 (.f32 1/2 (E.f32)) (.f32 1/2 (E.f32)))
(+.f32 (log.f32 (pow.f32 1 (E.f32))) (E.f32))
(+.f32 (log.f32 (pow.f32 (exp.f32 2/3) (E.f32))) (*.f32 1/3 (E.f32)))
(-.f32 (+.f32 (E.f32) 1) 1)
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (E.f32)) 3)) (log.f32 (+.f32 1 (-.f32 (pow.f32 (expm1.f32 (E.f32)) 2) (expm1.f32 (E.f32))))))
(-.f32 (log.f32 (-.f32 1 (pow.f32 (expm1.f32 (E.f32)) 2))) (log.f32 (-.f32 1 (expm1.f32 (E.f32)))))
(*.f32 (E.f32) 1)
(*.f32 1 (E.f32))
(*.f32 (exp.f32 1/3) (exp.f32 2/3))
(*.f32 (exp.f32 2/3) (exp.f32 1/3))
(*.f32 (exp.f32 1/2) (exp.f32 1/2))
(.f32 1/3 (.f32 3 (E.f32)))
(.f32 2 (.f32 1/2 (E.f32)))
(.f32 3 (.f32 1/3 (E.f32)))
(.f32 (exp.f32 2/9) (.f32 (exp.f32 1/9) (exp.f32 2/3)))
(*.f32 (exp.f32 1/9) (log.f32 (exp.f32 (exp.f32 8/9))))
(*.f32 (exp.f32 4/9) (cbrt.f32 (exp.f32 5/3)))
(*.f32 (exp.f32 1/6) (exp.f32 5/6))
(*.f32 (exp.f32 1/6) (log.f32 (exp.f32 (exp.f32 5/6))))
(*.f32 (exp.f32 1/4) (sqrt.f32 (exp.f32 3/2)))
(*.f32 (exp.f32 1/4) (log.f32 (exp.f32 (sqrt.f32 (exp.f32 3/2)))))
(.f32 (.f32 1/3 (E.f32)) 3)
(*.f32 (exp.f32 5/6) (exp.f32 1/6))
(.f32 (.f32 (E.f32) 2) 1/2)
(.f32 (.f32 3 (E.f32)) 1/3)
(*.f32 (exp.f32 8/9) (exp.f32 1/9))
(*.f32 (sqrt.f32 (exp.f32 3/2)) (exp.f32 1/4))
(*.f32 (/.f32 (E.f32) 2) 2)
(.f32 (.f32 (exp.f32 1/3) (exp.f32 4/9)) (exp.f32 2/9))
(/.f32 (-.f32 (pow.f32 (+.f32 (E.f32) 1) 3) 1) (+.f32 (pow.f32 (+.f32 (E.f32) 1) 2) (+.f32 1 (+.f32 (E.f32) 1))))
(/.f32 (-.f32 (pow.f32 (+.f32 (E.f32) 1) 2) 1) (+.f32 (+.f32 (E.f32) 1) 1))
(pow.f32 (E.f32) 1)
(pow.f32 (exp.f32 1/3) 3)
(pow.f32 (exp.f32 2/3) 3/2)
(pow.f32 (exp.f32 2) 1/2)
(pow.f32 (exp.f32 3) 1/3)
(pow.f32 (exp.f32 1/2) 2)
(pow.f32 (exp.f32 6) 1/6)
(pow.f32 (exp.f32 3/2) 2/3)
(pow.f32 (exp.f32 4) 1/4)
(sqrt.f32 (exp.f32 2))
(fabs.f32 (E.f32))
(log.f32 (exp.f32 (E.f32)))
(cbrt.f32 (exp.f32 3))
(expm1.f32 (log1p.f32 (E.f32)))
(log1p.f32 (expm1.f32 (E.f32)))
(exp.f32 1)
(fma.f32 1 (+.f32 (E.f32) 1) -1)
(fma.f32 (+.f32 (E.f32) 1) 1 -1)
(fma.f32 (pow.f32 (cbrt.f32 (+.f32 (E.f32) 1)) 2) (cbrt.f32 (+.f32 (E.f32) 1)) -1)
(fma.f32 (hypot.f32 1 (exp.f32 1/2)) (hypot.f32 1 (exp.f32 1/2)) -1)

simplify62.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

694×	`distribute-lft-in`
669×	`distribute-rgt-in`
485×	`associate-+l+`
469×	`associate-+r+`
395×	`distribute-lft-out`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	143	4294967752
1	301	472
2	1193	472

Stop Event

1×	node limit

Counts

58 → 69

Calls

Call 1

Inputs
(+.f32 (E.f32) 0)
(+.f32 (E.f32) (log.f32 (pow.f32 1 (E.f32))))
(+.f32 (+.f32 (E.f32) 1) -1)
(+.f32 0 (E.f32))
(+.f32 (.f32 2 (.f32 1/3 (E.f32))) (*.f32 1/3 (E.f32)))
(+.f32 (.f32 1/3 (E.f32)) (.f32 2 (*.f32 1/3 (E.f32))))
(+.f32 (*.f32 1/3 (E.f32)) (log.f32 (pow.f32 (exp.f32 2/3) (E.f32))))
(+.f32 (.f32 1/2 (E.f32)) (.f32 1/2 (E.f32)))
(+.f32 (log.f32 (pow.f32 1 (E.f32))) (E.f32))
(+.f32 (log.f32 (pow.f32 (exp.f32 2/3) (E.f32))) (*.f32 1/3 (E.f32)))
(-.f32 (+.f32 (E.f32) 1) 1)
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (E.f32)) 3)) (log.f32 (+.f32 1 (-.f32 (pow.f32 (expm1.f32 (E.f32)) 2) (expm1.f32 (E.f32))))))
(-.f32 (log.f32 (-.f32 1 (pow.f32 (expm1.f32 (E.f32)) 2))) (log.f32 (-.f32 1 (expm1.f32 (E.f32)))))
(*.f32 (E.f32) 1)
(*.f32 1 (E.f32))
(*.f32 (exp.f32 1/3) (exp.f32 2/3))
(*.f32 (exp.f32 2/3) (exp.f32 1/3))
(*.f32 (exp.f32 1/2) (exp.f32 1/2))
(.f32 1/3 (.f32 3 (E.f32)))
(.f32 2 (.f32 1/2 (E.f32)))
(.f32 3 (.f32 1/3 (E.f32)))
(.f32 (exp.f32 2/9) (.f32 (exp.f32 1/9) (exp.f32 2/3)))
(*.f32 (exp.f32 1/9) (log.f32 (exp.f32 (exp.f32 8/9))))
(*.f32 (exp.f32 4/9) (cbrt.f32 (exp.f32 5/3)))
(*.f32 (exp.f32 1/6) (exp.f32 5/6))
(*.f32 (exp.f32 1/6) (log.f32 (exp.f32 (exp.f32 5/6))))
(*.f32 (exp.f32 1/4) (sqrt.f32 (exp.f32 3/2)))
(*.f32 (exp.f32 1/4) (log.f32 (exp.f32 (sqrt.f32 (exp.f32 3/2)))))
(.f32 (.f32 1/3 (E.f32)) 3)
(*.f32 (exp.f32 5/6) (exp.f32 1/6))
(.f32 (.f32 (E.f32) 2) 1/2)
(.f32 (.f32 3 (E.f32)) 1/3)
(*.f32 (exp.f32 8/9) (exp.f32 1/9))
(*.f32 (sqrt.f32 (exp.f32 3/2)) (exp.f32 1/4))
(*.f32 (/.f32 (E.f32) 2) 2)
(.f32 (.f32 (exp.f32 1/3) (exp.f32 4/9)) (exp.f32 2/9))
(/.f32 (-.f32 (pow.f32 (+.f32 (E.f32) 1) 3) 1) (+.f32 (pow.f32 (+.f32 (E.f32) 1) 2) (+.f32 1 (+.f32 (E.f32) 1))))
(/.f32 (-.f32 (pow.f32 (+.f32 (E.f32) 1) 2) 1) (+.f32 (+.f32 (E.f32) 1) 1))
(pow.f32 (E.f32) 1)
(pow.f32 (exp.f32 1/3) 3)
(pow.f32 (exp.f32 2/3) 3/2)
(pow.f32 (exp.f32 2) 1/2)
(pow.f32 (exp.f32 3) 1/3)
(pow.f32 (exp.f32 1/2) 2)
(pow.f32 (exp.f32 6) 1/6)
(pow.f32 (exp.f32 3/2) 2/3)
(pow.f32 (exp.f32 4) 1/4)
(sqrt.f32 (exp.f32 2))
(fabs.f32 (E.f32))
(log.f32 (exp.f32 (E.f32)))
(cbrt.f32 (exp.f32 3))
(expm1.f32 (log1p.f32 (E.f32)))
(log1p.f32 (expm1.f32 (E.f32)))
(exp.f32 1)
(fma.f32 1 (+.f32 (E.f32) 1) -1)
(fma.f32 (+.f32 (E.f32) 1) 1 -1)
(fma.f32 (pow.f32 (cbrt.f32 (+.f32 (E.f32) 1)) 2) (cbrt.f32 (+.f32 (E.f32) 1)) -1)
(fma.f32 (hypot.f32 1 (exp.f32 1/2)) (hypot.f32 1 (exp.f32 1/2)) -1)

Outputs
(+.f32 (E.f32) 0)
(E.f32)
(+.f32 (E.f32) (log.f32 (pow.f32 1 (E.f32))))
(E.f32)
(+.f32 (+.f32 (E.f32) 1) -1)
(E.f32)
(+.f32 0 (E.f32))
(E.f32)
(+.f32 (.f32 2 (.f32 1/3 (E.f32))) (*.f32 1/3 (E.f32)))
(E.f32)
(+.f32 (.f32 1/3 (E.f32)) (.f32 2 (*.f32 1/3 (E.f32))))
(E.f32)
(+.f32 (*.f32 1/3 (E.f32)) (log.f32 (pow.f32 (exp.f32 2/3) (E.f32))))
(E.f32)
(+.f32 (.f32 1/2 (E.f32)) (.f32 1/2 (E.f32)))
(E.f32)
(+.f32 (log.f32 (pow.f32 1 (E.f32))) (E.f32))
(E.f32)
(+.f32 (log.f32 (pow.f32 (exp.f32 2/3) (E.f32))) (*.f32 1/3 (E.f32)))
(E.f32)
(-.f32 (+.f32 (E.f32) 1) 1)
(E.f32)
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (E.f32)) 3)) (log.f32 (+.f32 1 (-.f32 (pow.f32 (expm1.f32 (E.f32)) 2) (expm1.f32 (E.f32))))))
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (E.f32)) 3)) (log1p.f32 (-.f32 (pow.f32 (expm1.f32 (E.f32)) 2) (expm1.f32 (E.f32)))))
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (E.f32)) 3)) (log1p.f32 (*.f32 (expm1.f32 (E.f32)) (+.f32 (expm1.f32 (E.f32)) -1))))
(-.f32 (log.f32 (-.f32 1 (pow.f32 (expm1.f32 (E.f32)) 2))) (log.f32 (-.f32 1 (expm1.f32 (E.f32)))))
(-.f32 (log1p.f32 (neg.f32 (pow.f32 (expm1.f32 (E.f32)) 2))) (log1p.f32 (neg.f32 (expm1.f32 (E.f32)))))
(*.f32 (E.f32) 1)
(E.f32)
(*.f32 1 (E.f32))
(E.f32)
(*.f32 (exp.f32 1/3) (exp.f32 2/3))
(E.f32)
(*.f32 (exp.f32 2/3) (exp.f32 1/3))
(E.f32)
(*.f32 (exp.f32 1/2) (exp.f32 1/2))
(E.f32)
(.f32 1/3 (.f32 3 (E.f32)))
(E.f32)
(.f32 2 (.f32 1/2 (E.f32)))
(E.f32)
(.f32 3 (.f32 1/3 (E.f32)))
(E.f32)
(.f32 (exp.f32 2/9) (.f32 (exp.f32 1/9) (exp.f32 2/3)))
(E.f32)
(*.f32 (exp.f32 1/9) (log.f32 (exp.f32 (exp.f32 8/9))))
(E.f32)
(*.f32 (exp.f32 4/9) (cbrt.f32 (exp.f32 5/3)))
(*.f32 (exp.f32 1/6) (exp.f32 5/6))
(E.f32)
(*.f32 (exp.f32 1/6) (log.f32 (exp.f32 (exp.f32 5/6))))
(E.f32)
(*.f32 (exp.f32 1/4) (sqrt.f32 (exp.f32 3/2)))
(*.f32 (exp.f32 1/4) (log.f32 (exp.f32 (sqrt.f32 (exp.f32 3/2)))))
(*.f32 (exp.f32 1/4) (sqrt.f32 (exp.f32 3/2)))
(.f32 (.f32 1/3 (E.f32)) 3)
(E.f32)
(*.f32 (exp.f32 5/6) (exp.f32 1/6))
(E.f32)
(.f32 (.f32 (E.f32) 2) 1/2)
(E.f32)
(.f32 (.f32 3 (E.f32)) 1/3)
(E.f32)
(*.f32 (exp.f32 8/9) (exp.f32 1/9))
(E.f32)
(*.f32 (sqrt.f32 (exp.f32 3/2)) (exp.f32 1/4))
(*.f32 (exp.f32 1/4) (sqrt.f32 (exp.f32 3/2)))
(*.f32 (/.f32 (E.f32) 2) 2)
(E.f32)
(.f32 (.f32 (exp.f32 1/3) (exp.f32 4/9)) (exp.f32 2/9))
(E.f32)
(/.f32 (-.f32 (pow.f32 (+.f32 (E.f32) 1) 3) 1) (+.f32 (pow.f32 (+.f32 (E.f32) 1) 2) (+.f32 1 (+.f32 (E.f32) 1))))
(/.f32 (+.f32 (pow.f32 (+.f32 (E.f32) 1) 3) -1) (+.f32 (pow.f32 (+.f32 (E.f32) 1) 2) (+.f32 (E.f32) 2)))
(/.f32 (+.f32 -1 (pow.f32 (+.f32 (E.f32) 1) 3)) (+.f32 (pow.f32 (+.f32 (E.f32) 1) 2) (+.f32 (E.f32) 2)))
(/.f32 (+.f32 -1 (pow.f32 (+.f32 (E.f32) 1) 3)) (+.f32 2 (+.f32 (E.f32) (pow.f32 (+.f32 (E.f32) 1) 2))))
(/.f32 (-.f32 (pow.f32 (+.f32 (E.f32) 1) 2) 1) (+.f32 (+.f32 (E.f32) 1) 1))
(/.f32 (+.f32 (pow.f32 (+.f32 (E.f32) 1) 2) -1) (+.f32 (E.f32) 2))
(/.f32 (*.f32 (+.f32 (E.f32) 2) (E.f32)) (+.f32 (E.f32) 2))
(/.f32 (*.f32 (E.f32) (+.f32 (E.f32) 2)) (+.f32 (E.f32) 2))
(pow.f32 (E.f32) 1)
(E.f32)
(pow.f32 (exp.f32 1/3) 3)
(E.f32)
(pow.f32 (exp.f32 2/3) 3/2)
(pow.f32 (exp.f32 2) 1/2)
(sqrt.f32 (exp.f32 2))
(pow.f32 (exp.f32 3) 1/3)
(cbrt.f32 (exp.f32 3))
(pow.f32 (exp.f32 1/2) 2)
(E.f32)
(pow.f32 (exp.f32 6) 1/6)
(pow.f32 (exp.f32 3/2) 2/3)
(*.f32 (cbrt.f32 (exp.f32 3/2)) (cbrt.f32 (exp.f32 3/2)))
(pow.f32 (exp.f32 4) 1/4)
(sqrt.f32 (exp.f32 2))
(fabs.f32 (E.f32))
(E.f32)
(log.f32 (exp.f32 (E.f32)))
(E.f32)
(cbrt.f32 (exp.f32 3))
(expm1.f32 (log1p.f32 (E.f32)))
(E.f32)
(log1p.f32 (expm1.f32 (E.f32)))
(E.f32)
(exp.f32 1)
(E.f32)
(fma.f32 1 (+.f32 (E.f32) 1) -1)
(E.f32)
(fma.f32 (+.f32 (E.f32) 1) 1 -1)
(E.f32)
(fma.f32 (pow.f32 (cbrt.f32 (+.f32 (E.f32) 1)) 2) (cbrt.f32 (+.f32 (E.f32) 1)) -1)
(E.f32)
(fma.f32 (hypot.f32 1 (exp.f32 1/2)) (hypot.f32 1 (exp.f32 1/2)) -1)
(E.f32)

eval2.3s (3.7%)

Compiler: Compiled 110747 to 77494 computations (30% saved)

prune304.0ms (0.5%)

Pruning

12 alts after pruning (7 fresh and 5 done)

	Pruned	Kept	Total
New	2970	4	2974
Fresh	0	3	3
Picked	2	3	5
Done	0	2	2
Total	2972	12	2984

Accuracy

55.4%

Counts

2984 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	54.5%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
	54.5%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (-.f32 (+.f32 (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))) 1) 1))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
✓	54.5%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (-.f32 (+.f32 (PI.f32) 1) 1))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
▶	54.6%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (E.f32)) (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
▶	54.5%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
✓	54.6%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
	54.9%	(.f32 (cos.f32 (.f32 uy (.f32 2 (-.f32 (+.f32 (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))) 1) 1)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
✓	54.9%	(.f32 (cos.f32 (.f32 uy (.f32 2 (-.f32 (+.f32 (PI.f32) 1) 1)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
▶	54.9%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (PI.f32))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
▶	54.9%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32)))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
✓	55.0%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
✓	55.0%	(.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))

Compiler

Compiled 637 to 485 computations (23.9% saved)

localize13.2s (21%)

Localize:

Found 7 expressions with local error:

New	Accuracy	Program
	6.3%	(PI.f32)
	6.3%	(PI.f32)
	6.3%	(PI.f32)
	6.3%	(PI.f32)
	6.3%	(E.f32)
	6.3%	(PI.f32)
	6.3%	(E.f32)

Compiler

Compiled 717 to 414 computations (42.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 9.1s

Operation ival-add, time spent: 2.2s, 24.0% of total-time

Operation ival-sub, time spent: 2.0s, 22.0% of total-time

Operation ival-mult, time spent: 1.6s, 18.0% of total-time

Operation composed, time spent: 1.0s, 11.0% of total-time

Operation ival-sqrt, time spent: 491.0ms, 5.0% of total-time

Operation ival-exp, time spent: 429.0ms, 5.0% of total-time

Operation ival-log, time spent: 383.0ms, 4.0% of total-time

Operation ival-pow, time spent: 309.0ms, 3.0% of total-time

Operation ival-cos, time spent: 253.0ms, 3.0% of total-time

Operation const, time spent: 251.0ms, 3.0% of total-time

Operation ival-cbrt, time spent: 112.0ms, 1.0% of total-time

Operation ival-e, time spent: 106.0ms, 1.0% of total-time

Operation ival-pi, time spent: 12.0ms, 0.0% of total-time

eval2.5s (3.9%)

Compiler: Compiled 127826 to 83792 computations (34.4% saved)

prune346.0ms (0.5%)

Pruning

15 alts after pruning (7 fresh and 8 done)

	Pruned	Kept	Total
New	3313	6	3319
Fresh	1	1	2
Picked	2	3	5
Done	0	5	5
Total	3316	15	3331

Accuracy

55.4%

Counts

3331 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	54.5%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (-.f32 (+.f32 (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))) 1) 1))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
✓	54.5%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (-.f32 (+.f32 (PI.f32) 1) 1))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
▶	54.5%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
▶	54.5%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
✓	54.6%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (E.f32)) (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
✓	54.6%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
✓	54.9%	(.f32 (cos.f32 (.f32 uy (.f32 2 (-.f32 (+.f32 (PI.f32) 1) 1)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
	54.8%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
▶	54.8%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (-.f32 (+.f32 (PI.f32) 1) 1))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
✓	54.9%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (PI.f32))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
▶	54.9%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32))))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
	54.9%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8)))))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
✓	54.9%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32)))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
✓	55.0%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
✓	55.0%	(.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))

Compiler

Compiled 760 to 582 computations (23.4% saved)

localize14.3s (22.8%)

Localize:

Found 7 expressions with local error:

New	Accuracy	Program
	6.3%	(PI.f32)
	6.3%	(PI.f32)
	6.3%	(PI.f32)
	6.3%	(PI.f32)
	6.3%	(E.f32)
	6.3%	(PI.f32)
	6.3%	(E.f32)

Compiler

Compiled 812 to 466 computations (42.6% saved)

Precisions

Click to see histograms. Total time spent on operations: 9.0s

Operation ival-sub, time spent: 2.0s, 22.0% of total-time

Operation ival-add, time spent: 1.9s, 22.0% of total-time

Operation ival-mult, time spent: 1.4s, 15.0% of total-time

Operation ival-exp, time spent: 830.0ms, 9.0% of total-time

Operation composed, time spent: 730.0ms, 8.0% of total-time

Operation ival-log, time spent: 590.0ms, 7.0% of total-time

Operation ival-pow, time spent: 489.0ms, 5.0% of total-time

Operation const, time spent: 296.0ms, 3.0% of total-time

Operation ival-cos, time spent: 255.0ms, 3.0% of total-time

Operation ival-sqrt, time spent: 252.0ms, 3.0% of total-time

Operation ival-cbrt, time spent: 172.0ms, 2.0% of total-time

Operation ival-e, time spent: 110.0ms, 1.0% of total-time

Operation ival-pi, time spent: 13.0ms, 0.0% of total-time

eval2.8s (4.5%)

Compiler: Compiled 128322 to 83688 computations (34.8% saved)

prune448.0ms (0.7%)

Pruning

19 alts after pruning (7 fresh and 12 done)

	Pruned	Kept	Total
New	3174	6	3180
Fresh	1	1	2
Picked	1	4	5
Done	0	8	8
Total	3176	19	3195

Accuracy

55.4%

Counts

3195 → 19

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	54.5%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (-.f32 (+.f32 (PI.f32) 1) 1))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
	54.4%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
	54.4%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (-.f32 (+.f32 (PI.f32) 1) 1)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
✓	54.5%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
	54.5%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32)))))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
	54.4%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))))))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
✓	54.5%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
✓	54.6%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (E.f32)) (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
✓	54.6%	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
✓	54.9%	(.f32 (cos.f32 (.f32 uy (.f32 2 (-.f32 (+.f32 (PI.f32) 1) 1)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
	54.8%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
✓	54.8%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (-.f32 (+.f32 (PI.f32) 1) 1))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
✓	54.9%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (PI.f32))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
	54.9%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32)))))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
	54.8%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))))))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
✓	54.9%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32))))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
✓	54.9%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32)))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
✓	55.0%	(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
✓	55.0%	(.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))

Compiler

Compiled 1507 to 1043 computations (30.8% saved)

regimes146.0ms (0.2%)

Counts

26 → 1

Calls

Call 1

Inputs
(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (-.f32 (+.f32 (PI.f32) 1) 1))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (E.f32)) (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 uy (.f32 2 (-.f32 (+.f32 (PI.f32) 1) 1)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32)))))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (-.f32 (+.f32 (PI.f32) 1) 1)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32)))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (PI.f32))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32))))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 uy (.f32 2 (fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (-.f32 (+.f32 (PI.f32) 1) 1))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (-.f32 (+.f32 (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))) 1) 1))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32)))))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8)))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 uy (.f32 2 (-.f32 (+.f32 (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))) 1) 1)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))))))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8)))))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))))))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))

Outputs
(.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))

Calls

11 calls:

16.0ms	(-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))
15.0ms	maxCos
15.0ms	ux
15.0ms	uy
14.0ms	(*.f32 uy 2)

Results

Accuracy	Segments	Branch
55.0%	1	`ux`
55.0%	1	`uy`
55.0%	1	`maxCos`
55.0%	1	`(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))`
55.0%	1	`(cos.f32 (.f32 (.f32 uy 2) (PI.f32)))`
55.0%	1	`(.f32 (.f32 uy 2) (PI.f32))`
55.0%	1	`(*.f32 uy 2)`
55.0%	1	`(sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))))`
55.0%	1	`(-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))`
55.0%	1	`(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))`
55.0%	1	`(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))`

Compiler

Compiled 132 to 94 computations (28.8% saved)

regimes45.0ms (0.1%)

Counts

3 → 1

Calls

Call 1

Inputs

(*.f32 (cos.f32 (*.f32 (*.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))

(*.f32 (cos.f32 (*.f32 (*.f32 uy 2) (-.f32 (+.f32 (PI.f32) 1) 1))) (sqrt.f32 (-.f32 1 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))

(*.f32 (cos.f32 (*.f32 (*.f32 uy 2) (*.f32 (log.f32 (E.f32)) (PI.f32)))) (sqrt.f32 (-.f32 1 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))

Outputs
(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (E.f32)) (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))

Calls

11 calls:

6.0ms	(.f32 (.f32 uy 2) (PI.f32))
6.0ms	(-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))
4.0ms	(*.f32 uy 2)
4.0ms	(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))
4.0ms	ux

Results

Accuracy	Segments	Branch
54.6%	1	`ux`
54.6%	1	`maxCos`
54.6%	1	`(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))`
54.6%	1	`(sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))))`
54.6%	1	`(-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))`
54.6%	1	`(cos.f32 (.f32 (.f32 uy 2) (PI.f32)))`
54.6%	1	`(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))`
54.6%	1	`(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))`
54.6%	1	`uy`
54.6%	1	`(.f32 (.f32 uy 2) (PI.f32))`
54.6%	1	`(*.f32 uy 2)`

Compiler

Compiled 132 to 94 computations (28.8% saved)

regimes36.0ms (0.1%)

Accuracy

Total -0.0b remaining (-0.2%)

Threshold costs -0b (-0.2%)

Counts

2 → 1

Calls

Call 1

Inputs

(*.f32 (cos.f32 (*.f32 (*.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))

(*.f32 (cos.f32 (*.f32 (*.f32 uy 2) (-.f32 (+.f32 (PI.f32) 1) 1))) (sqrt.f32 (-.f32 1 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))

Outputs
(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))

Calls

11 calls:

5.0ms	uy
3.0ms	(.f32 (.f32 uy 2) (PI.f32))
3.0ms	(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))
3.0ms	(*.f32 uy 2)
3.0ms	(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))

Results

Accuracy	Segments	Branch
54.6%	1	`ux`
54.6%	1	`maxCos`
54.6%	1	`(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))`
54.6%	1	`(sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))))`
54.6%	1	`(-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))`
54.6%	1	`uy`
54.6%	1	`(.f32 (.f32 uy 2) (PI.f32))`
54.6%	1	`(*.f32 uy 2)`
54.6%	1	`(cos.f32 (.f32 (.f32 uy 2) (PI.f32)))`
54.6%	1	`(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))`
54.6%	1	`(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))`

Compiler

Compiled 132 to 94 computations (28.8% saved)

simplify16.0ms (0%)

Algorithm

1×	egg-herbie

Rules

48×	`unsub-neg`
32×	`distribute-lft-neg-in`
29×	`neg-mul-1`
21×	`*-commutative`
21×	`distribute-neg-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	295
1	71	295
2	92	295
3	120	295
4	150	295
5	190	295
6	241	295
7	293	295
8	329	295

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

(*.f32 (cos.f32 (*.f32 uy (*.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))

(*.f32 (cos.f32 (*.f32 (*.f32 uy 2) (*.f32 (log.f32 (E.f32)) (PI.f32)))) (sqrt.f32 (-.f32 1 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))

(*.f32 (cos.f32 (*.f32 (*.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))

Outputs
(.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (E.f32)) (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (.f32 (PI.f32) (log.f32 (E.f32))))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
(.f32 (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))) (cos.f32 (.f32 (PI.f32) (.f32 uy 2))))

Compiler

Compiled 85 to 63 computations (25.9% saved)

soundness323.0ms (0.5%)

Rules

737×	`log1p-expm1-u`
737×	`expm1-log1p-u`
647×	`prod-diff`
478×	`neg-sub0`
460×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	1142
1	223	1034
2	774	973
3	3607	967
4	7704	967
0	3	6
1	24	6
2	235	6
3	2422	6

Stop Event

1×	node limit
1×	node limit

Compiler

Compiled 423 to 277 computations (34.5% saved)

end0.0ms (0%)

preprocess72.0ms (0.1%)

Remove: (abs uy)
Compiler: Compiled 422 to 308 computations (27% saved)

Iter	Nodes	Cost
0	41	295
1	71	295
2	92	295
3	120	295
4	150	295
5	190	295
6	241	295
7	293	295
8	329	295

Iter	Nodes	Cost
0	41	295
1	71	295
2	92	295
3	120	295
4	150	295
5	190	295
6	241	295
7	293	295
8	329	295

analyze264.0ms (0.4%)

sample4.2s (6.6%)

preprocess3.9s (6.2%)

eval1.0ms (0%)

prune2.0ms (0%)

localize3.6s (5.7%)

series0.0ms (0%)

rewrite329.0ms (0.5%)

simplify98.0ms (0.2%)

eval88.0ms (0.1%)

prune39.0ms (0.1%)

localize13.4s (21.3%)

series0.0ms (0%)

rewrite84.0ms (0.1%)

simplify62.0ms (0.1%)

eval2.3s (3.7%)

prune304.0ms (0.5%)

localize13.2s (21%)

eval2.5s (3.9%)

prune346.0ms (0.5%)

localize14.3s (22.8%)

eval2.8s (4.5%)

prune448.0ms (0.7%)

regimes146.0ms (0.2%)

regimes45.0ms (0.1%)

regimes36.0ms (0.1%)

simplify16.0ms (0%)

soundness323.0ms (0.5%)

end0.0ms (0%)

preprocess72.0ms (0.1%)

Profiling

Iter	Nodes	Cost
0	41	295
1	71	295
2	92	295
3	120	295
4	150	295
5	190	295
6	241	295
7	293	295
8	329	295