Metrics for UniformSampleCone, y

analyze249.0ms (0.2%)

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: 101.0ms

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

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

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

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

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

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

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

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

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

sample4.1s (2.7%)

Results

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

Precisions

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

Operation ival-sub, time spent: 514.0ms, 28.0% of total-time

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

Operation ival-mult, time spent: 329.0ms, 18.0% of total-time

Operation ival-<=, time spent: 211.0ms, 11.0% of total-time

Operation ival-sin, time spent: 155.0ms, 8.0% of total-time

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

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

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

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

Bogosity

preprocess4.2s (2.8%)

Algorithm

1×	egg-herbie

Rules

482×	`neg-sub0`
440×	`distribute-neg-in`
415×	`+-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.007164789829403162 1.1439971192572784e-9 1.2407874784122992e-32)	`(PI.f32)`
0	-	0	-	`(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))`
0	-	0	-	`(.f32 (.f32 uy 2) (PI.f32))`
0	-	0	-	`(sin.f32 (.f32 (.f32 uy 2) (PI.f32)))`
0	-	0	-	`(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))`
0	-	0	-	`uy`
0	-	0	-	`(*.f32 uy 2)`
0	-	0	-	`(.f32 (sin.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 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	1138
1	223	1030
2	774	961
3	3605	955
4	7724	955

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f32 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))) (sin.f32 (.f32 (PI.f32) (.f32 2 (neg.f32 uy)))))
(.f32 (sqrt.f32 (-.f32 1 (.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (fma.f32 ux maxCos (-.f32 1 ux))))) (sin.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)) (sin.f32 (.f32 uy (.f32 -2 (PI.f32)))))
(.f32 (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (.f32 ux (+.f32 maxCos -1))) 1)) (sin.f32 (.f32 uy (.f32 (PI.f32) -2))))
(.f32 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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)) (sin.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)) (sin.f32 (.f32 uy (*.f32 (PI.f32) -2))))
(neg.f32 (.f32 (sin.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 (sin.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 (sin.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 (sin.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)))
(neg.f32 (.f32 (sin.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 (sin.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 (sin.f32 (.f32 2 (.f32 uy (PI.f32))))))
(.f32 (sin.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 (sin.f32 (.f32 uy (.f32 (PI.f32) -2))) (sqrt.f32 (fma.f32 (+.f32 1 (.f32 ux (-.f32 -1 maxCos))) (+.f32 ux (fma.f32 ux maxCos -1)) 1)))
(.f32 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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 (sin.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

(negabs uy)

Compiler

Compiled 252 to 146 computations (42.1% saved)

Precisions

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

Operation ival-sub, time spent: 694.0ms, 39.0% of total-time

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

Operation ival-mult, time spent: 316.0ms, 18.0% of total-time

Operation ival-sin, time spent: 128.0ms, 7.0% of total-time

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

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

Operation ival-pi, time spent: 15.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
▶	55.5%	(.f32 (sin.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.6%	(.f32 (sin.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

▶

55.5%

(*.f32 (sin.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.6%

(*.f32 (sin.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.4s (2.3%)

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: 1.8s

Operation ival-sub, time spent: 655.0ms, 37.0% of total-time

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

Operation ival-mult, time spent: 314.0ms, 18.0% of total-time

Operation ival-fma, time spent: 143.0ms, 8.0% of total-time

Operation ival-sin, time spent: 130.0ms, 7.0% of total-time

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

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

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

series0.0ms (0%)

Counts: 2 → 0

rewrite220.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

737×	`log1p-expm1-u`
737×	`expm1-log1p-u`
647×	`prod-diff`
461×	`log-prod`
282×	`fma-def`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	6
1	24	6
2	234	6
3	2380	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 (.f32 (sqrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/6))
(*.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 (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)))
(exp.f32 (log.f32 (PI.f32)))
(log1p.f32 (expm1.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 (.f32 (sqrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/6))
(*.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 (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)))
(exp.f32 (log.f32 (PI.f32)))
(log1p.f32 (expm1.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)

simplify82.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

827×	`log-prod`
506×	`associate-+l+`
489×	`associate-+r+`
257×	`unswap-sqr`
223×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	160	1602
1	359	1522
2	1415	1490
3	6903	1490

Stop Event

1×	node limit

Counts

126 → 85

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 (.f32 (sqrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/6))
(*.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 (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)))
(exp.f32 (log.f32 (PI.f32)))
(log1p.f32 (expm1.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 (.f32 (sqrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/6))
(*.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 (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)))
(exp.f32 (log.f32 (PI.f32)))
(log1p.f32 (expm1.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 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log1p.f32 (*.f32 (expm1.f32 (PI.f32)) (+.f32 -1 (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 (.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 (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 (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) (fabs.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5/2)))
(*.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 (+.f32 (PI.f32) 2) (PI.f32)))
(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)
(exp.f32 (log.f32 (PI.f32)))
(PI.f32)
(log1p.f32 (expm1.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 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log1p.f32 (*.f32 (expm1.f32 (PI.f32)) (+.f32 -1 (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 (.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 (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 (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) (fabs.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5/2)))
(*.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 (+.f32 (PI.f32) 2) (PI.f32)))
(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)
(exp.f32 (log.f32 (PI.f32)))
(PI.f32)
(log1p.f32 (expm1.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)

eval91.0ms (0.1%)

Compiler: Compiled 5395 to 3556 computations (34.1% saved)

prune310.0ms (0.2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	162	8	170
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	162	10	172

Accuracy

56.4%

Counts

172 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
	55.3%	(.f32 (sin.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))))))
▶	55.4%	(.f32 (sin.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))))))
	55.5%	(.f32 (sin.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))))))
	55.4%	(.f32 (sin.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))))))
✓	55.5%	(.f32 (sin.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.4%	(.f32 (sin.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)))
▶	55.5%	(.f32 (sin.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.6%	(.f32 (sin.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.5%	(.f32 (sin.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.6%	(.f32 (sin.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)

localize43.1s (28.7%)

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: 24.0s

Operation ival-sub, time spent: 6.7s, 28.0% of total-time

Operation ival-add, time spent: 5.5s, 23.0% of total-time

Operation ival-mult, time spent: 3.1s, 13.0% of total-time

Operation ival-fma, time spent: 2.4s, 10.0% of total-time

Operation ival-sqrt, time spent: 1.8s, 7.0% of total-time

Operation ival-sin, time spent: 1.0s, 4.0% of total-time

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

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

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

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

Operation ival-pow, time spent: 537.0ms, 2.0% of total-time

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

series0.0ms (0%)

Counts: 1 → 0

rewrite87.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

601×	`log1p-expm1-u`
601×	`expm1-log1p-u`
438×	`prod-diff`
355×	`pow-unpow`
345×	`pow-prod-up`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	3
1	25	3
2	223	3
3	2057	3

Stop Event

1×	node limit

Counts

1 → 67

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 1/6) (exp.f32 5/6))
(*.f32 (exp.f32 1/6) (log.f32 (exp.f32 (exp.f32 5/6))))
(*.f32 (exp.f32 4/9) (pow.f32 (exp.f32 2/3) 5/6))
(*.f32 (exp.f32 1/4) (pow.f32 (E.f32) 3/4))
(*.f32 (exp.f32 1/4) (sqrt.f32 (exp.f32 3/2)))
(*.f32 (exp.f32 1/4) (log.f32 (exp.f32 (pow.f32 (E.f32) 3/4))))
(.f32 (.f32 1/3 (E.f32)) 3)
(.f32 (.f32 (E.f32) 2) 1/2)
(*.f32 (exp.f32 5/6) (exp.f32 1/6))
(.f32 (.f32 3 (E.f32)) 1/3)
(*.f32 (cbrt.f32 (exp.f32 8/3)) (exp.f32 1/9))
(*.f32 (cbrt.f32 (exp.f32 5/2)) (exp.f32 1/6))
(*.f32 (pow.f32 (E.f32) 3/4) (exp.f32 1/4))
(*.f32 (sqrt.f32 (exp.f32 3/2)) (exp.f32 1/4))
(*.f32 (sqrt.f32 (exp.f32 5/3)) (exp.f32 1/6))
(*.f32 (/.f32 (E.f32) 2) 2)
(.f32 (.f32 (exp.f32 1/3) (exp.f32 4/9)) (exp.f32 2/9))
(*.f32 (exp.f32 8/9) (exp.f32 1/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 1/9) 9)
(pow.f32 (exp.f32 1/6) 6)
(pow.f32 (exp.f32 6) 1/6)
(pow.f32 (exp.f32 3/2) 2/3)
(pow.f32 (exp.f32 9) 1/9)
(pow.f32 (exp.f32 4) 1/4)
(pow.f32 (exp.f32 1/4) 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)))
(exp.f32 1)
(log1p.f32 (expm1.f32 (E.f32)))
(fma.f32 1 (+.f32 (E.f32) 1) -1)
(fma.f32 (+.f32 (E.f32) 1) 1 -1)
(fma.f32 (*.f32 (cbrt.f32 (+.f32 (E.f32) 1)) (cbrt.f32 (+.f32 (E.f32) 1))) (cbrt.f32 (+.f32 (E.f32) 1)) -1)
(fma.f32 (hypot.f32 1 (exp.f32 1/2)) (hypot.f32 1 (exp.f32 1/2)) -1)

simplify90.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

695×	`distribute-lft-in`
670×	`distribute-rgt-in`
489×	`associate-+l+`
470×	`associate-+r+`
340×	`distribute-lft-out`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	163	4294967919
1	329	639
2	1254	639

Stop Event

1×	node limit

Counts

67 → 82

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 1/6) (exp.f32 5/6))
(*.f32 (exp.f32 1/6) (log.f32 (exp.f32 (exp.f32 5/6))))
(*.f32 (exp.f32 4/9) (pow.f32 (exp.f32 2/3) 5/6))
(*.f32 (exp.f32 1/4) (pow.f32 (E.f32) 3/4))
(*.f32 (exp.f32 1/4) (sqrt.f32 (exp.f32 3/2)))
(*.f32 (exp.f32 1/4) (log.f32 (exp.f32 (pow.f32 (E.f32) 3/4))))
(.f32 (.f32 1/3 (E.f32)) 3)
(.f32 (.f32 (E.f32) 2) 1/2)
(*.f32 (exp.f32 5/6) (exp.f32 1/6))
(.f32 (.f32 3 (E.f32)) 1/3)
(*.f32 (cbrt.f32 (exp.f32 8/3)) (exp.f32 1/9))
(*.f32 (cbrt.f32 (exp.f32 5/2)) (exp.f32 1/6))
(*.f32 (pow.f32 (E.f32) 3/4) (exp.f32 1/4))
(*.f32 (sqrt.f32 (exp.f32 3/2)) (exp.f32 1/4))
(*.f32 (sqrt.f32 (exp.f32 5/3)) (exp.f32 1/6))
(*.f32 (/.f32 (E.f32) 2) 2)
(.f32 (.f32 (exp.f32 1/3) (exp.f32 4/9)) (exp.f32 2/9))
(*.f32 (exp.f32 8/9) (exp.f32 1/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 1/9) 9)
(pow.f32 (exp.f32 1/6) 6)
(pow.f32 (exp.f32 6) 1/6)
(pow.f32 (exp.f32 3/2) 2/3)
(pow.f32 (exp.f32 9) 1/9)
(pow.f32 (exp.f32 4) 1/4)
(pow.f32 (exp.f32 1/4) 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)))
(exp.f32 1)
(log1p.f32 (expm1.f32 (E.f32)))
(fma.f32 1 (+.f32 (E.f32) 1) -1)
(fma.f32 (+.f32 (E.f32) 1) 1 -1)
(fma.f32 (*.f32 (cbrt.f32 (+.f32 (E.f32) 1)) (cbrt.f32 (+.f32 (E.f32) 1))) (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 -1 (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 (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 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 4/9) (pow.f32 (exp.f32 2/3) 5/6))
(*.f32 (exp.f32 1/4) (pow.f32 (E.f32) 3/4))
(*.f32 (exp.f32 1/4) (sqrt.f32 (exp.f32 3/2)))
(*.f32 (exp.f32 1/4) (log.f32 (exp.f32 (pow.f32 (E.f32) 3/4))))
(*.f32 (exp.f32 1/4) (pow.f32 (E.f32) 3/4))
(.f32 (.f32 1/3 (E.f32)) 3)
(E.f32)
(.f32 (.f32 (E.f32) 2) 1/2)
(E.f32)
(*.f32 (exp.f32 5/6) (exp.f32 1/6))
(E.f32)
(.f32 (.f32 3 (E.f32)) 1/3)
(E.f32)
(*.f32 (cbrt.f32 (exp.f32 8/3)) (exp.f32 1/9))
(*.f32 (exp.f32 1/9) (cbrt.f32 (exp.f32 8/3)))
(*.f32 (cbrt.f32 (exp.f32 5/2)) (exp.f32 1/6))
(*.f32 (exp.f32 1/6) (cbrt.f32 (exp.f32 5/2)))
(*.f32 (pow.f32 (E.f32) 3/4) (exp.f32 1/4))
(*.f32 (exp.f32 1/4) (pow.f32 (E.f32) 3/4))
(*.f32 (sqrt.f32 (exp.f32 3/2)) (exp.f32 1/4))
(*.f32 (exp.f32 1/4) (sqrt.f32 (exp.f32 3/2)))
(*.f32 (sqrt.f32 (exp.f32 5/3)) (exp.f32 1/6))
(*.f32 (exp.f32 1/6) (sqrt.f32 (exp.f32 5/3)))
(*.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 (exp.f32 8/9) (exp.f32 1/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 (E.f32) (+.f32 2 (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))
(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 1/9) 9)
(pow.f32 (exp.f32 1/6) 6)
(E.f32)
(pow.f32 (exp.f32 6) 1/6)
(pow.f32 (exp.f32 3/2) 2/3)
(*.f32 (pow.f32 (exp.f32 3/2) 1/3) (pow.f32 (exp.f32 3/2) 1/3))
(*.f32 (cbrt.f32 (exp.f32 3/2)) (cbrt.f32 (exp.f32 3/2)))
(pow.f32 (exp.f32 9) 1/9)
(*.f32 (pow.f32 (exp.f32 9) 1/18) (pow.f32 (exp.f32 9) 1/18))
(pow.f32 (exp.f32 4) 1/4)
(pow.f32 (exp.f32 1/4) 4)
(E.f32)
(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)
(exp.f32 1)
(E.f32)
(log1p.f32 (expm1.f32 (E.f32)))
(E.f32)
(fma.f32 1 (+.f32 (E.f32) 1) -1)
(E.f32)
(fma.f32 (+.f32 (E.f32) 1) 1 -1)
(E.f32)
(fma.f32 (*.f32 (cbrt.f32 (+.f32 (E.f32) 1)) (cbrt.f32 (+.f32 (E.f32) 1))) (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)

eval2.3s (1.5%)

Compiler: Compiled 113964 to 79764 computations (30% saved)

prune312.0ms (0.2%)

Pruning

12 alts after pruning (7 fresh and 5 done)

	Pruned	Kept	Total
New	3053	4	3057
Fresh	0	3	3
Picked	2	3	5
Done	0	2	2
Total	3055	12	3067

Accuracy

56.5%

Counts

3067 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	55.3%	(.f32 (sin.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))))))
	55.3%	(.f32 (sin.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))))))
✓	55.4%	(.f32 (sin.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))))))
▶	55.5%	(.f32 (sin.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))))))
	55.4%	(.f32 (sin.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))))))
✓	55.5%	(.f32 (sin.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.5%	(.f32 (sin.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.4%	(.f32 (sin.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)))
▶	55.2%	(.f32 (sin.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (pow.f32 (exp.f32 1/9) 9)) (PI.f32))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
▶	55.5%	(.f32 (sin.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.6%	(.f32 (sin.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.6%	(.f32 (sin.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 625 to 477 computations (23.7% saved)

localize38.4s (25.6%)

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 704 to 440 computations (37.5% saved)

Precisions

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

Operation ival-exp, time spent: 6.9s, 28.0% of total-time

Operation ival-log, time spent: 4.1s, 17.0% of total-time

Operation ival-sub, time spent: 3.5s, 14.0% of total-time

Operation ival-add, time spent: 2.9s, 12.0% of total-time

Operation ival-mult, time spent: 2.2s, 9.0% of total-time

Operation ival-fma, time spent: 1.2s, 5.0% of total-time

Operation ival-sqrt, time spent: 1.0s, 4.0% of total-time

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

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

Operation const, time spent: 488.0ms, 2.0% of total-time

Operation ival-e, time spent: 488.0ms, 2.0% of total-time

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

eval2.6s (1.7%)

Compiler: Compiled 114376 to 77427 computations (32.3% saved)

prune336.0ms (0.2%)

Pruning

18 alts after pruning (9 fresh and 9 done)

	Pruned	Kept	Total
New	3034	8	3042
Fresh	1	1	2
Picked	1	4	5
Done	0	5	5
Total	3036	18	3054

Accuracy

56.8%

Counts

3054 → 18

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	55.3%	(.f32 (sin.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))))))
✓	55.4%	(.f32 (sin.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))))))
	55.3%	(.f32 (sin.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))))))
▶	55.1%	(.f32 (sin.f32 (.f32 (.f32 uy 2) (.f32 (log.f32 (pow.f32 (exp.f32 1/9) 9)) (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
▶	55.4%	(.f32 (sin.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))))))
✓	55.5%	(.f32 (sin.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))))))
✓	55.5%	(.f32 (sin.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.5%	(.f32 (sin.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.1%	(.f32 (sin.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)))
	55.2%	(.f32 (sin.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)))
✓	55.4%	(.f32 (sin.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)))
▶	55.3%	(.f32 (sin.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (pow.f32 (exp.f32 1/9) 9)) (-.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.1%	(.f32 (sin.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (pow.f32 (exp.f32 1/9) 9)) (.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 (sin.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (pow.f32 (exp.f32 1/9) 9)) (.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.2%	(.f32 (sin.f32 (.f32 uy (.f32 2 (.f32 (log.f32 (pow.f32 (exp.f32 1/9) 9)) (PI.f32))))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 -1 (*.f32 ux (+.f32 maxCos -1))) 1)))
✓	55.5%	(.f32 (sin.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.6%	(.f32 (sin.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.6%	(.f32 (sin.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 932 to 732 computations (21.5% saved)

localize50.4s (33.5%)

Results

Compiler

Compiled 858 to 561 computations (34.6% saved)

Precisions

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

Operation ival-exp, time spent: 7.3s, 24.0% of total-time

Operation ival-log, time spent: 5.0s, 16.0% of total-time

Operation ival-sub, time spent: 4.6s, 15.0% of total-time

Operation ival-add, time spent: 4.4s, 14.0% of total-time

Operation ival-mult, time spent: 3.3s, 11.0% of total-time

Operation ival-pow, time spent: 1.6s, 5.0% of total-time

Operation ival-sqrt, time spent: 1.3s, 4.0% of total-time

Operation ival-fma, time spent: 1.0s, 3.0% of total-time

Operation ival-sin, time spent: 727.0ms, 2.0% of total-time

Operation const, time spent: 681.0ms, 2.0% of total-time

Operation ival-e, time spent: 600.0ms, 2.0% of total-time

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

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

analyze249.0ms (0.2%)

sample4.1s (2.7%)

preprocess4.2s (2.8%)

eval1.0ms (0%)

prune2.0ms (0%)

localize3.4s (2.3%)

series0.0ms (0%)

rewrite220.0ms (0.1%)

simplify82.0ms (0.1%)

eval91.0ms (0.1%)

prune310.0ms (0.2%)

localize43.1s (28.7%)

series0.0ms (0%)

rewrite87.0ms (0.1%)

simplify90.0ms (0.1%)

eval2.3s (1.5%)

prune312.0ms (0.2%)

localize38.4s (25.6%)

eval2.6s (1.7%)

prune336.0ms (0.2%)

localize50.4s (33.5%)

Profiling