Metrics for Disney BSSRDF, PDF of scattering profile

analyze63.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	2.1%	97.9%	0%	0%	0%	0
0%	0%	2.1%	97.9%	0%	0%	0%	1
50%	1%	1%	97.9%	0%	0%	0%	2
50%	1%	1%	97.9%	0%	0%	0%	3
75%	1.5%	0.5%	97.9%	0%	0%	0%	4
75%	1.5%	0.5%	97.9%	0%	0%	0%	5
87.5%	1.8%	0.3%	97.9%	0%	0%	0%	6
87.5%	1.8%	0.3%	97.9%	0%	0%	0%	7
93.7%	1.9%	0.1%	97.9%	0%	0%	0%	8
93.7%	1.9%	0.1%	97.9%	0%	0%	0%	9
96.9%	2%	0.1%	97.9%	0%	0%	0%	10
96.9%	2%	0.1%	97.9%	0%	0%	0%	11
98.4%	2%	0%	97.9%	0%	0%	0%	12

Compiler

Compiled 50 to 36 computations (28% saved)

Precisions

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

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

Operation ival-div, time spent: 7.0ms, 28.0% of total-time

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

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

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

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

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

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

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

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

sample5.4s (7.6%)

Results

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

Precisions

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

Operation ival-mult, time spent: 1.1s, 33.0% of total-time

Operation ival-<, time spent: 729.0ms, 22.0% of total-time

Operation ival-div, time spent: 587.0ms, 17.0% of total-time

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

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

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

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

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

Operation ival-neg, time spent: 73.0ms, 2.0% of total-time

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

Bogosity

preprocess4.8s (6.8%)

Algorithm

1×	egg-herbie

Rules

882×	`times-frac`
544×	`fma-neg`
488×	`distribute-frac-neg2`
410×	`distribute-lft-neg-out`
325×	`distribute-rgt-neg-out`

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
256	-	256	(3.945961779550089e-9 0.00020263370242901146)	`(PI.f32)`
0	-	0	-	`r`
0	-	0	-	`(.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s))))`
0	-	0	-	`(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))`
0	-	0	-	`(*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s)))`
0	-	0	-	`3/4`
0	-	0	-	`(*.f32 6 (PI.f32))`
0	-	0	-	`(exp.f32 (/.f32 (neg.f32 r) s))`
0	-	0	-	`(/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r))`
0	-	0	-	`(*.f32 2 (PI.f32))`
0	-	0	-	`(/.f32 (neg.f32 r) s)`
0	-	0	-	`(/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r))`
0	-	0	-	`1/4`
0	-	0	-	`(.f32 (.f32 (*.f32 6 (PI.f32)) s) r)`
0	-	0	-	`(.f32 (.f32 6 (PI.f32)) s)`
0	-	0	-	`(.f32 (.f32 2 (PI.f32)) s)`
0	-	0	-	`(.f32 (.f32 (*.f32 2 (PI.f32)) s) r)`
0	-	0	-	`s`
0	-	0	-	`(neg.f32 r)`
0	-	0	-	`6`
0	-	0	-	`(*.f32 3 s)`
0	-	0	-	`3`
0	-	0	-	`2`
0	-	0	-	`(exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))`
0	-	0	-	`(/.f32 (neg.f32 r) (*.f32 3 s))`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	74	943
1	230	771
2	1095	606
3	5165	606

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) (neg.f32 s)))) (.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 s)) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 (neg.f32 s))))) (.f32 (.f32 (*.f32 6 (PI.f32)) (neg.f32 s)) r)))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 (neg.f32 r)) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) (neg.f32 r))) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 (neg.f32 r)) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) (neg.f32 r))))
(neg.f32 (+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) (neg.f32 s)))) (.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 s)) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 (neg.f32 s))))) (.f32 (.f32 (*.f32 6 (PI.f32)) (neg.f32 s)) r))))
(neg.f32 (+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 (neg.f32 r)) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) (neg.f32 r))) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 (neg.f32 r)) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) (neg.f32 r)))))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 s) r))) (.f32 (.f32 (.f32 2 (PI.f32)) r) s)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 s) (.f32 3 r)))) (.f32 (.f32 (*.f32 6 (PI.f32)) r) s)))

Outputs
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (PI.f32) s))))))
(fma.f32 (/.f32 1/8 (.f32 s (PI.f32))) (/.f32 (exp.f32 (.f32 -1/3 (/.f32 r s))) r) (.f32 (/.f32 1/8 (.f32 s (PI.f32))) (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r)))
(.f32 (/.f32 1/8 (.f32 s (PI.f32))) (+.f32 (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r) (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 r s)) r)))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (PI.f32) s))))))
(fma.f32 (/.f32 1/8 (.f32 s (PI.f32))) (/.f32 (exp.f32 (.f32 -1/3 (/.f32 r s))) r) (.f32 (/.f32 1/8 (.f32 s (PI.f32))) (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r)))
(.f32 (/.f32 1/8 (.f32 s (PI.f32))) (+.f32 (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r) (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 r s)) r)))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) (neg.f32 s)))) (.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 s)) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 (neg.f32 s))))) (.f32 (.f32 (*.f32 6 (PI.f32)) (neg.f32 s)) r)))
(+.f32 (.f32 (/.f32 1/4 (.f32 2 (.f32 (PI.f32) (neg.f32 s)))) (/.f32 (exp.f32 (/.f32 r s)) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 (neg.f32 s)))) (.f32 r (.f32 6 (.f32 (PI.f32) (neg.f32 s)))))))
(fma.f32 (/.f32 1/8 (.f32 s (PI.f32))) (/.f32 (exp.f32 (/.f32 r s)) (neg.f32 r)) (.f32 (/.f32 1/8 (.f32 s (PI.f32))) (/.f32 (exp.f32 (/.f32 r (.f32 s 3))) (neg.f32 r))))
(.f32 (/.f32 -1/8 (.f32 s (PI.f32))) (+.f32 (/.f32 (cbrt.f32 (exp.f32 (/.f32 r s))) r) (/.f32 (exp.f32 (/.f32 r s)) r)))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 (neg.f32 r)) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) (neg.f32 r))) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 (neg.f32 r)) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) (neg.f32 r))))
(+.f32 (.f32 (/.f32 1/4 (.f32 2 (.f32 (PI.f32) (neg.f32 s)))) (/.f32 (exp.f32 (/.f32 r s)) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 (neg.f32 s)))) (.f32 r (.f32 6 (.f32 (PI.f32) (neg.f32 s)))))))
(fma.f32 (/.f32 1/8 (.f32 s (PI.f32))) (/.f32 (exp.f32 (/.f32 r s)) (neg.f32 r)) (.f32 (/.f32 1/8 (.f32 s (PI.f32))) (/.f32 (exp.f32 (/.f32 r (.f32 s 3))) (neg.f32 r))))
(.f32 (/.f32 -1/8 (.f32 s (PI.f32))) (+.f32 (/.f32 (cbrt.f32 (exp.f32 (/.f32 r s))) r) (/.f32 (exp.f32 (/.f32 r s)) r)))
(neg.f32 (+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) (neg.f32 s)))) (.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 s)) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 (neg.f32 s))))) (.f32 (.f32 (*.f32 6 (PI.f32)) (neg.f32 s)) r))))
(neg.f32 (+.f32 (.f32 (/.f32 1/4 (.f32 2 (.f32 (PI.f32) (neg.f32 s)))) (/.f32 (exp.f32 (/.f32 r s)) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 (neg.f32 s)))) (.f32 r (.f32 6 (.f32 (PI.f32) (neg.f32 s))))))))
(+.f32 (.f32 (/.f32 1/8 (.f32 s (PI.f32))) (/.f32 (exp.f32 (/.f32 r (.f32 s 3))) r)) (.f32 (/.f32 1/8 (*.f32 s (PI.f32))) (/.f32 (exp.f32 (/.f32 r s)) r)))
(.f32 (/.f32 1/8 (.f32 s (PI.f32))) (+.f32 (/.f32 (cbrt.f32 (exp.f32 (/.f32 r s))) r) (/.f32 (exp.f32 (/.f32 r s)) r)))
(neg.f32 (+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 (neg.f32 r)) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) (neg.f32 r))) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 (neg.f32 r)) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) (neg.f32 r)))))
(neg.f32 (+.f32 (.f32 (/.f32 1/4 (.f32 2 (.f32 (PI.f32) (neg.f32 s)))) (/.f32 (exp.f32 (/.f32 r s)) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 (neg.f32 s)))) (.f32 r (.f32 6 (.f32 (PI.f32) (neg.f32 s))))))))
(+.f32 (.f32 (/.f32 1/8 (.f32 s (PI.f32))) (/.f32 (exp.f32 (/.f32 r (.f32 s 3))) r)) (.f32 (/.f32 1/8 (*.f32 s (PI.f32))) (/.f32 (exp.f32 (/.f32 r s)) r)))
(.f32 (/.f32 1/8 (.f32 s (PI.f32))) (+.f32 (/.f32 (cbrt.f32 (exp.f32 (/.f32 r s))) r) (/.f32 (exp.f32 (/.f32 r s)) r)))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 s) r))) (.f32 (.f32 (.f32 2 (PI.f32)) r) s)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 s) (.f32 3 r)))) (.f32 (.f32 (*.f32 6 (PI.f32)) r) s)))
(+.f32 (.f32 1/4 (/.f32 (exp.f32 (neg.f32 (/.f32 s r))) (.f32 (.f32 2 (PI.f32)) (.f32 r s)))) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 s) (.f32 r 3))) (.f32 (.f32 (PI.f32) 6) (*.f32 r s)))))
(fma.f32 (/.f32 1/8 (.f32 r (PI.f32))) (/.f32 (exp.f32 (.f32 -1/3 (/.f32 s r))) s) (.f32 (/.f32 1/8 (.f32 r (PI.f32))) (/.f32 (exp.f32 (/.f32 s (neg.f32 r))) s)))
(.f32 (/.f32 1/8 (.f32 r (PI.f32))) (+.f32 (/.f32 (exp.f32 (/.f32 s (neg.f32 r))) s) (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 s r)) s)))

Compiler

Compiled 333 to 193 computations (42% saved)

Precisions

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

Operation ival-mult, time spent: 1.5s, 65.0% of total-time

Operation ival-div, time spent: 347.0ms, 15.0% of total-time

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

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

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

Operation ival-neg, time spent: 25.0ms, 1.0% of total-time

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

eval1.0ms (0%)

Compiler: Compiled 84 to 49 computations (41.7% saved)

prune3.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
▶	99.6%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (PI.f32) s))))))
▶	99.3%	(.f32 (/.f32 1/8 (.f32 s (PI.f32))) (+.f32 (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r) (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 r s)) r)))

Status

Accuracy

Program

▶

99.6%

(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))

▶

99.6%

(+.f32 (*.f32 (/.f32 1/4 (*.f32 s (*.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (*.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (*.f32 s 3))) (*.f32 r (*.f32 6 (*.f32 (PI.f32) s))))))

▶

99.3%

(*.f32 (/.f32 1/8 (*.f32 s (PI.f32))) (+.f32 (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r) (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 r s)) r)))

Compiler

Compiled 94 to 68 computations (27.7% saved)

localize5.6s (7.9%)

Localize:

Found 3 expressions with local error:

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

Compiler

Compiled 392 to 190 computations (51.5% saved)

Precisions

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

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

Operation ival-div, time spent: 616.0ms, 22.0% of total-time

Operation ival-pow, time spent: 450.0ms, 16.0% of total-time

Operation ival-exp, time spent: 416.0ms, 15.0% of total-time

Operation ival-neg, time spent: 203.0ms, 7.0% of total-time

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

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

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

series0.0ms (0%)

Counts: 3 → 0

rewrite219.0ms (0.3%)

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	9
1	24	9
2	235	9
3	2422	9

Stop Event

1×	node limit

Counts

3 → 189

Calls

Call 1

Inputs
(PI.f32)
(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)
(+.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)

simplify167.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	2403
1	368	2283
2	1436	2235
3	7030	2235

Stop Event

1×	node limit

Counts

189 → 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)
(+.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)
(+.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)

eval283.0ms (0.4%)

Compiler: Compiled 15959 to 8995 computations (43.6% saved)

prune88.0ms (0.1%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	407	8	415
Fresh	0	0	0
Picked	0	3	3
Done	0	0	0
Total	407	11	418

Accuracy

99.9%

Counts

418 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 6 (PI.f32)) s) r)))
▶	99.6%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (-.f32 (+.f32 (PI.f32) 1) 1)) s) r)))
✓	99.6%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
	99.6%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (*.f32 (PI.f32) s))))))
▶	99.5%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1) s))))))
▶	99.7%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (*.f32 (log.f32 (E.f32)) (PI.f32)) s))))))
	99.6%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))) s))))))
✓	99.6%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (PI.f32) s))))))
	99.3%	(.f32 (/.f32 1/8 (.f32 s (*.f32 (log.f32 (E.f32)) (PI.f32)))) (+.f32 (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r) (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 r s)) r)))
▶	99.2%	(.f32 (/.f32 1/8 (.f32 s (*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))))) (+.f32 (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r) (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 r s)) r)))
✓	99.3%	(.f32 (/.f32 1/8 (.f32 s (PI.f32))) (+.f32 (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r) (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 r s)) r)))

Compiler

Compiled 692 to 516 computations (25.4% saved)

localize14.1s (19.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%	(E.f32)
	6.3%	(PI.f32)
	6.3%	(PI.f32)
✓	6.3%	(E.f32)

Compiler

Compiled 890 to 462 computations (48.1% saved)

Precisions

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

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

Operation ival-add, time spent: 1.4s, 17.0% of total-time

Operation ival-div, time spent: 1.1s, 14.0% of total-time

Operation ival-pow, time spent: 674.0ms, 9.0% of total-time

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

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

Operation composed, time spent: 401.0ms, 5.0% of total-time

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

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

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

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

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

Operation ival-neg, time spent: 32.0ms, 0.0% of total-time

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

series0.0ms (0%)

Counts: 2 → 0

rewrite90.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	6
1	25	6
2	224	6
3	2107	6

Stop Event

1×	node limit

Counts

2 → 116

Calls

Call 1

Inputs
(E.f32)
(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)
(+.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)

simplify82.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	8589935504
1	301	944
2	1193	944

Stop Event

1×	node limit

Counts

116 → 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)
(+.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)
(+.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)

eval5.3s (7.5%)

Compiler: Compiled 208365 to 121555 computations (41.7% saved)

prune628.0ms (0.9%)

Pruning

12 alts after pruning (6 fresh and 6 done)

	Pruned	Kept	Total
New	4698	5	4703
Fresh	2	1	3
Picked	2	3	5
Done	0	3	3
Total	4702	12	4714

Accuracy

99.9%

Counts

4714 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 6 (-.f32 (+.f32 (PI.f32) 1) 1)) s) r)))
✓	99.6%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 6 (PI.f32)) s) r)))
▶	99.5%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 6 (-.f32 (+.f32 (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))) 1) 1)) s) r)))
✓	99.6%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (-.f32 (+.f32 (PI.f32) 1) 1)) s) r)))
✓	99.6%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
▶	99.6%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (*.f32 (PI.f32) s))))))
▶	99.5%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (*.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (PI.f32)) s))))))
▶	99.6%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32))) s))))))
	99.5%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (.f32 (log.f32 (E.f32)) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8)))) s))))))
✓	99.7%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (*.f32 (log.f32 (E.f32)) (PI.f32)) s))))))
✓	99.6%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (PI.f32) s))))))
✓	99.3%	(.f32 (/.f32 1/8 (.f32 s (PI.f32))) (+.f32 (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r) (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 r s)) r)))

Compiler

Compiled 719 to 540 computations (24.9% saved)

localize15.6s (22%)

Localize:

Found 8 expressions with local error:

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

Compiler

Compiled 1047 to 535 computations (48.9% saved)

Precisions

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

Operation ival-mult, time spent: 2.9s, 33.0% of total-time

Operation ival-div, time spent: 1.3s, 14.0% of total-time

Operation ival-add, time spent: 1.2s, 13.0% of total-time

Operation ival-exp, time spent: 1.1s, 12.0% of total-time

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

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

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

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

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

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

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

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

eval5.2s (7.3%)

Compiler: Compiled 255510 to 149805 computations (41.4% saved)

prune809.0ms (1.1%)

Pruning

14 alts after pruning (3 fresh and 11 done)

	Pruned	Kept	Total
New	5390	3	5393
Fresh	1	0	1
Picked	0	5	5
Done	0	6	6
Total	5391	14	5405

Accuracy

99.9%

Counts

5405 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 6 (-.f32 (+.f32 (PI.f32) 1) 1)) s) r)))
✓	99.6%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 6 (PI.f32)) s) r)))
✓	99.5%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 6 (-.f32 (+.f32 (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))) 1) 1)) s) r)))
✓	99.6%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (-.f32 (+.f32 (PI.f32) 1) 1)) s) r)))
✓	99.6%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
▶	99.6%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (-.f32 (+.f32 (PI.f32) 1) 1)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32))) s))))))
✓	99.6%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (*.f32 (PI.f32) s))))))
✓	99.5%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (*.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (PI.f32)) s))))))
▶	99.5%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (*.f32 (log.f32 (E.f32)) (PI.f32)))) s))))))
▶	99.4%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.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))))) s))))))
✓	99.6%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32))) s))))))
✓	99.7%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (*.f32 (log.f32 (E.f32)) (PI.f32)) s))))))
✓	99.6%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (PI.f32) s))))))
✓	99.3%	(.f32 (/.f32 1/8 (.f32 s (PI.f32))) (+.f32 (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r) (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 r s)) r)))

Compiler

Compiled 556 to 413 computations (25.7% saved)

localize8.9s (12.5%)

Localize:

Found 6 expressions with local error:

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

Compiler

Compiled 763 to 318 computations (58.3% saved)

Precisions

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

Operation ival-mult, time spent: 2.0s, 47.0% of total-time

Operation ival-div, time spent: 561.0ms, 14.0% of total-time

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

Operation ival-exp, time spent: 283.0ms, 7.0% of total-time

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

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

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

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

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

Operation ival-log, time spent: 90.0ms, 2.0% of total-time

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

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

eval2.5s (3.5%)

Compiler: Compiled 162623 to 89386 computations (45% saved)

prune767.0ms (1.1%)

Pruning

13 alts after pruning (1 fresh and 12 done)

	Pruned	Kept	Total
New	3191	1	3192
Fresh	0	0	0
Picked	1	2	3
Done	1	10	11
Total	3193	13	3206

Accuracy

99.9%

Counts

3206 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 6 (-.f32 (+.f32 (PI.f32) 1) 1)) s) r)))
✓	99.6%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 6 (PI.f32)) s) r)))
✓	99.6%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (-.f32 (+.f32 (PI.f32) 1) 1)) s) r)))
✓	99.6%	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
✓	99.6%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (-.f32 (+.f32 (PI.f32) 1) 1)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32))) s))))))
✓	99.6%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (*.f32 (PI.f32) s))))))
✓	99.5%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (*.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (PI.f32)) s))))))
	99.4%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32))))) s))))))
✓	99.5%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (*.f32 (log.f32 (E.f32)) (PI.f32)))) s))))))
✓	99.6%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32))) s))))))
✓	99.7%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (*.f32 (log.f32 (E.f32)) (PI.f32)) s))))))
✓	99.6%	(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (PI.f32) s))))))
✓	99.3%	(.f32 (/.f32 1/8 (.f32 s (PI.f32))) (+.f32 (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r) (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 r s)) r)))

Compiler

Compiled 1264 to 785 computations (37.9% saved)

regimes24.0ms (0%)

Counts

20 → 1

Calls

Call 1

Inputs
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (PI.f32) s))))))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (-.f32 (+.f32 (PI.f32) 1) 1)) s) r)))
(.f32 (/.f32 1/8 (.f32 s (PI.f32))) (+.f32 (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r) (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 r s)) r)))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (*.f32 (log.f32 (E.f32)) (PI.f32)) s))))))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (*.f32 (PI.f32) s))))))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 6 (PI.f32)) s) r)))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (.f32 (log.f32 (E.f32)) (PI.f32))) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 6 (-.f32 (+.f32 (PI.f32) 1) 1)) s) r)))
(.f32 (/.f32 1/8 (.f32 s (*.f32 (log.f32 (E.f32)) (PI.f32)))) (+.f32 (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r) (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 r s)) r)))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32))) s))))))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (-.f32 (+.f32 (PI.f32) 1) 1)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32))) s))))))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (*.f32 (log.f32 (pow.f32 (exp.f32 1/3) 3)) (PI.f32)) s))))))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (*.f32 (log.f32 (E.f32)) (PI.f32)))) s))))))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1) s))))))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (.f32 (log.f32 (E.f32)) (PI.f32))))) s))))))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))) s))))))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 6 (-.f32 (+.f32 (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))) 1) 1)) s) r)))
(.f32 (/.f32 1/8 (.f32 s (*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8))))) (+.f32 (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r) (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 r s)) r)))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (.f32 (log.f32 (E.f32)) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8)))) s))))))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.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))))) s))))))

Outputs

(+.f32 (*.f32 (/.f32 1/4 (*.f32 s (*.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (*.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (*.f32 s 3))) (*.f32 r (*.f32 6 (*.f32 (*.f32 (log.f32 (E.f32)) (PI.f32)) s))))))

Calls

3 calls:

11.0ms

8.0ms

3.0ms

(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))

Results

Accuracy	Segments	Branch
99.7%	1	`s`
99.7%	1	`r`
99.7%	1	`(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))`

Compiler

Compiled 41 to 29 computations (29.3% saved)

regimes11.0ms (0%)

Counts

4 → 1

Calls

Call 1

Inputs
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (PI.f32) s))))))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (-.f32 (+.f32 (PI.f32) 1) 1)) s) r)))
(.f32 (/.f32 1/8 (.f32 s (PI.f32))) (+.f32 (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r) (/.f32 (pow.f32 (exp.f32 -1/3) (/.f32 r s)) r)))

Outputs
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))

Calls

3 calls:

4.0ms

3.0ms

(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))

Results

Accuracy	Segments	Branch
99.6%	1	`s`
99.6%	1	`r`
99.6%	1	`(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))`

Compiler

Compiled 41 to 29 computations (29.3% saved)

regimes5.0ms (0%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (PI.f32) s))))))

Outputs
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (PI.f32) s))))))

Calls

2 calls:

3.0ms	r
2.0ms	s

Results

Accuracy	Segments	Branch
99.6%	1	`s`
99.6%	1	`r`

Compiler

Compiled 6 to 4 computations (33.3% saved)

simplify11.0ms (0%)

Algorithm

1×	egg-herbie

Rules

25×	`*-commutative`
9×	`+-commutative`
6×	`sub-neg`
6×	`neg-sub0`
6×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	56	399
1	94	399
2	108	399
3	121	399
4	127	399
5	130	399
6	131	399

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

(+.f32 (*.f32 (/.f32 1/4 (*.f32 s (*.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (*.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (*.f32 s 3))) (*.f32 r (*.f32 6 (*.f32 (*.f32 (log.f32 (E.f32)) (PI.f32)) s))))))

(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))

(+.f32 (*.f32 (/.f32 1/4 (*.f32 s (*.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (*.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (*.f32 s 3))) (*.f32 r (*.f32 6 (*.f32 (PI.f32) s))))))

Outputs
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (*.f32 (log.f32 (E.f32)) (PI.f32)) s))))))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 s (*.f32 (PI.f32) (log.f32 (E.f32)))))))))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 r (.f32 3 (neg.f32 s)))) (.f32 r (.f32 6 (.f32 s (*.f32 (PI.f32) (log.f32 (E.f32)))))))))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 r (neg.f32 s)))) (.f32 (.f32 s (.f32 2 (PI.f32))) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3)))) (.f32 r (.f32 s (*.f32 (PI.f32) 6)))))
(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 r (neg.f32 s)))) (.f32 (.f32 s (.f32 2 (PI.f32))) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 r (.f32 3 (neg.f32 s))))) (.f32 r (.f32 s (*.f32 (PI.f32) 6)))))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (neg.f32 (/.f32 r s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 (PI.f32) s))))))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 (neg.f32 r) (.f32 s 3))) (.f32 r (.f32 6 (.f32 s (PI.f32)))))))
(+.f32 (.f32 (/.f32 1/4 (.f32 s (.f32 2 (PI.f32)))) (/.f32 (exp.f32 (/.f32 r (neg.f32 s))) r)) (.f32 3/4 (/.f32 (exp.f32 (/.f32 r (.f32 3 (neg.f32 s)))) (.f32 r (.f32 6 (.f32 s (PI.f32)))))))

Compiler

Compiled 108 to 78 computations (27.8% saved)

soundness278.0ms (0.4%)

Rules

882×	`times-frac`
737×	`log1p-expm1-u`
737×	`expm1-log1p-u`
647×	`prod-diff`
544×	`fma-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	74	943
1	230	771
2	1095	606
3	5165	606
0	3	9
1	24	9
2	235	9
3	2422	9

Stop Event

1×	node limit
1×	node limit

Compiler

Compiled 604 to 365 computations (39.6% saved)

end0.0ms (0%)

preprocess66.0ms (0.1%)

Compiler: Compiled 278 to 180 computations (35.3% saved)

analyze63.0ms (0.1%)

sample5.4s (7.6%)

preprocess4.8s (6.8%)

eval1.0ms (0%)

prune3.0ms (0%)

localize5.6s (7.9%)

series0.0ms (0%)

rewrite219.0ms (0.3%)

simplify167.0ms (0.2%)

eval283.0ms (0.4%)

prune88.0ms (0.1%)

localize14.1s (19.8%)

series0.0ms (0%)

rewrite90.0ms (0.1%)

simplify82.0ms (0.1%)

eval5.3s (7.5%)

prune628.0ms (0.9%)

localize15.6s (22%)

eval5.2s (7.3%)

prune809.0ms (1.1%)

localize8.9s (12.5%)

eval2.5s (3.5%)

prune767.0ms (1.1%)

regimes24.0ms (0%)

regimes11.0ms (0%)

regimes5.0ms (0%)

simplify11.0ms (0%)

soundness278.0ms (0.4%)

end0.0ms (0%)

preprocess66.0ms (0.1%)

Profiling