Details

analyze326.0ms (0.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	1.6%	98.4%	0
0%	1.6%	98.4%	1
0%	1.6%	98.4%	2
0.4%	1.2%	98.4%	3
0.6%	1%	98.4%	4
0.9%	0.7%	98.4%	5
1%	0.5%	98.4%	6
1.2%	0.4%	98.4%	7
1.3%	0.3%	98.4%	8
1.4%	0.2%	98.4%	9
1.4%	0.1%	98.4%	10
1.5%	0.1%	98.4%	11
1.5%	0.1%	98.4%	12
1.5%	0%	98.4%	13
1.5%	0%	98.4%	14

Compiler

Compiled 48 to 37 computations (22.9% saved)

sample66.0ms (0.1%)

Algorithm

1×

intervals

Results

40.0ms	256×	body	128	valid
7.0ms	256×	pre	128	true

Compiler

Compiled 89 to 69 computations (22.5% saved)

simplify93.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

524×	`exp-prod_binary32`
518×	`unswap-sqr_binary32`
420×	`times-frac_binary32`
354×	`associate-l_binary32`
311×	`div-sub_binary32`

Counts

1 → 1

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	22	61
1	41	61
2	70	61
3	115	51
4	157	51
5	266	46
6	399	46
7	621	46
8	980	46
9	2223	46
10	3765	46
11	4506	46
12	4950	46
13	4764	46

prune8.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

0.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.4b	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 PI.f32) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1)))

Compiler

Compiled 90 to 72 computations (20% saved)

localize85.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 PI.f32) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1)
0.3b	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 PI.f32) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1)))
0.4b	(/.f32 PI.f32 s)
0.4b	(/.f32 (neg.f32 PI.f32) s)

rewrite388.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

55×	`add-sqr-sqrt_binary32`
53×	`*-un-lft-identity_binary32`
45×	`times-frac_binary32`
41×	`add-cube-cbrt_binary32`
16×	`log-prod_binary32`

Counts

4 → 143

Calls

4 calls:

47.0ms	(+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 PI.f32) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1)
47.0ms	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 PI.f32) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1)))
4.0ms	(/.f32 (neg.f32 PI.f32) s)
3.0ms	(/.f32 PI.f32 s)

Compiler

Compiled 5176 to 2866 computations (44.6% saved)

series1.1s (1.3%)

Error

0.4b

Counts

4 → 36

Calls

4 calls:

627.0ms	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 PI.f32) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1)))
285.0ms	(+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 PI.f32) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1)
16.0ms	(/.f32 PI.f32 s)
14.0ms	(/.f32 (neg.f32 PI.f32) s)

Compiler

Compiled 11898 to 7060 computations (40.7% saved)

simplify215.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

717×	`associate-/r*_binary32`
684×	`associate-/l*_binary32`
217×	`+-commutative_binary32`
207×	`*-commutative_binary32`
183×	`associate-+r+_binary32`

Counts

179 → 111

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	814	13515
1	2372	12898
2	5296	12898

prune325.0ms (0.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	101	10	111
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	102	10	112

Error

0.0b

Counts

112 → 10

Alt Table

Status	Error	Program
	0.9b	(.f32 (.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))) (neg.f32 (cbrt.f32 s))))
	0.4b	(+.f32 (.f32 (neg.f32 s) (log.f32 (sqrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))) (.f32 (neg.f32 s) (log.f32 (sqrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))))
	0.6b	(.f32 (sqrt.f32 s) (.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))) (neg.f32 (sqrt.f32 s))))
	0.8b	(.f32 (.f32 (cbrt.f32 (.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))) (cbrt.f32 (.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))))))) (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))))
	0.4b	(+.f32 (.f32 (neg.f32 s) (log.f32 (+.f32 1 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))) (.f32 (neg.f32 s) (log.f32 (+.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))) -1))))
	0.4b	(.f32 (neg.f32 s) (log.f32 (.f32 (*.f32 (cbrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))) (cbrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))))) (cbrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))))
	26.5b	(*.f32 (neg.f32 s) (log.f32 (log.f32 (exp.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))))
▶	0.4b	(*.f32 (neg.f32 s) (log.f32 (/.f32 (+.f32 (/.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1) (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) 1))))
	1.7b	(.f32 (.f32 (neg.f32 s) (sqrt.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))) (sqrt.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 PI.f32) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1))))
	0.9b	(.f32 (.f32 (neg.f32 s) (*.f32 (cbrt.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))))) (cbrt.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))))))) (cbrt.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 PI.f32) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1))))

Compiler

Compiled 8656 to 4554 computations (47.4% saved)

localize101.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(/.f32 PI.f32 s)
0.4b	(/.f32 PI.f32 s)
0.4b	(/.f32 PI.f32 s)
0.5b	(/.f32 (+.f32 (/.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1) (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) 1))

rewrite973.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

102×	`times-frac_binary32`
92×	`*-un-lft-identity_binary32`
92×	`add-sqr-sqrt_binary32`
44×	`add-cube-cbrt_binary32`
30×	`difference-of-sqr--1_binary32`

Counts

4 → 156

Calls

4 calls:

219.0ms	(/.f32 (+.f32 (/.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1) (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) 1))
4.0ms	(/.f32 PI.f32 s)
3.0ms	(/.f32 PI.f32 s)
3.0ms	(/.f32 PI.f32 s)

Compiler

Compiled 12952 to 6941 computations (46.4% saved)

series21.6s (25.4%)

Error

0.0b

Counts

4 → 26

Calls

4 calls:

20.7s	(/.f32 (+.f32 (/.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1) (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) 1))
24.0ms	(/.f32 PI.f32 s)
23.0ms	(/.f32 PI.f32 s)
23.0ms	(/.f32 PI.f32 s)

Compiler

Compiled 65162 to 33462 computations (48.6% saved)

simplify718.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

617×	`associate-/r*_binary32`
576×	`associate-*r/_binary32`
567×	`associate-/l*_binary32`
557×	`times-frac_binary32`
24×	`sqr-pow_binary32`

Counts

182 → 77

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2430	67328
1	5633	67328

prune1.3s (1.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	75	2	77
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	77	10	87

Error

0.0b

Counts

87 → 10

Alt Table

Status	Error	Program
	0.3b	(.f32 (neg.f32 s) (log.f32 (/.f32 (-.f32 (.f32 (/.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) (/.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))) (.f32 -1 -1)) (.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) 1) (+.f32 (/.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) 1)))))
	0.9b	(.f32 (.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))) (neg.f32 (cbrt.f32 s))))
	0.4b	(+.f32 (.f32 (neg.f32 s) (log.f32 (sqrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))) (.f32 (neg.f32 s) (log.f32 (sqrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))))
	0.6b	(.f32 (sqrt.f32 s) (.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))) (neg.f32 (sqrt.f32 s))))
	0.8b	(.f32 (.f32 (cbrt.f32 (.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))) (cbrt.f32 (.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))))))) (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))))
	0.4b	(+.f32 (.f32 (neg.f32 s) (log.f32 (+.f32 1 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))) (.f32 (neg.f32 s) (log.f32 (+.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))) -1))))
	0.4b	(.f32 (neg.f32 s) (log.f32 (.f32 (*.f32 (cbrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))) (cbrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))))) (cbrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))))
	1.7b	(.f32 (.f32 (neg.f32 s) (sqrt.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))) (sqrt.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 PI.f32) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1))))
	0.9b	(.f32 (.f32 (neg.f32 s) (*.f32 (cbrt.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))))) (cbrt.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))))))) (cbrt.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 PI.f32) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1))))
▶	0.3b	(*.f32 (neg.f32 s) (log.f32 (/.f32 (+.f32 (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2)) -1) (+.f32 1 (/.f32 1 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))) (/.f32 u (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))))))))

Compiler

Compiled 37554 to 18987 computations (49.4% saved)

localize139.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(/.f32 PI.f32 s)
0.4b	(/.f32 PI.f32 s)
0.4b	(/.f32 PI.f32 s)
0.5b	(/.f32 (+.f32 (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2)) -1) (+.f32 1 (/.f32 1 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))) (/.f32 u (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))))))

rewrite1.1s (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

145×	`times-frac_binary32`
136×	`*-un-lft-identity_binary32`
103×	`add-sqr-sqrt_binary32`
54×	`difference-of-sqr--1_binary32`
49×	`add-cube-cbrt_binary32`

Counts

4 → 186

Calls

4 calls:

113.0ms	(/.f32 (+.f32 (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2)) -1) (+.f32 1 (/.f32 1 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))) (/.f32 u (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))))))
4.0ms	(/.f32 PI.f32 s)
3.0ms	(/.f32 PI.f32 s)
3.0ms	(/.f32 PI.f32 s)

Compiler

Compiled 14293 to 7788 computations (45.5% saved)

series21.2s (24.9%)

Error

0.0b

Counts

4 → 26

Calls

4 calls:

20.3s	(/.f32 (+.f32 (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2)) -1) (+.f32 1 (/.f32 1 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))) (/.f32 u (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))))))
22.0ms	(/.f32 PI.f32 s)
22.0ms	(/.f32 PI.f32 s)
22.0ms	(/.f32 PI.f32 s)

Compiler

Compiled 67381 to 34486 computations (48.8% saved)

simplify817.0ms (1%)

Algorithm

1×	egg-herbie

Rules

631×	`associate-/r*_binary32`
585×	`associate-*r/_binary32`
576×	`associate-/l*_binary32`
566×	`times-frac_binary32`
25×	`sqr-pow_binary32`

Counts

212 → 104

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2484	73493
1	5693	73493

prune1.2s (1.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	104	10	114

Error

0.0b

Counts

114 → 10

Alt Table

Status	Error	Program
	0.9b	(.f32 (.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))) (neg.f32 (cbrt.f32 s))))
	0.4b	(+.f32 (.f32 (neg.f32 s) (log.f32 (sqrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))) (.f32 (neg.f32 s) (log.f32 (sqrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))))
	0.4b	(.f32 (neg.f32 s) (log.f32 (.f32 (*.f32 (cbrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))) (cbrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))))) (cbrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))))
▶	0.3b	(.f32 (neg.f32 s) (log.f32 (/.f32 (-.f32 (.f32 (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2)) (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2))) (.f32 -1 -1)) (.f32 (+.f32 1 (/.f32 1 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))) (/.f32 u (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))))) (+.f32 (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2)) 1)))))
	0.6b	(.f32 (sqrt.f32 s) (.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))) (neg.f32 (sqrt.f32 s))))
	0.8b	(.f32 (.f32 (cbrt.f32 (.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))) (cbrt.f32 (.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))))))) (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))))
	0.4b	(+.f32 (.f32 (neg.f32 s) (log.f32 (+.f32 1 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))) (.f32 (neg.f32 s) (log.f32 (+.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))) -1))))
	1.7b	(.f32 (.f32 (neg.f32 s) (sqrt.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))) (sqrt.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 PI.f32) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1))))
	0.9b	(.f32 (.f32 (neg.f32 s) (*.f32 (cbrt.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))))) (cbrt.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))))))) (cbrt.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 PI.f32) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1))))
✓	0.3b	(*.f32 (neg.f32 s) (log.f32 (/.f32 (+.f32 (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2)) -1) (+.f32 1 (/.f32 1 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))) (/.f32 u (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))))))))

Compiler

Compiled 38741 to 19530 computations (49.6% saved)

localize167.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(/.f32 PI.f32 s)
0.4b	(/.f32 PI.f32 s)
0.4b	(*.f32 (+.f32 1 (/.f32 1 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))) (/.f32 u (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))))) (+.f32 (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2)) 1))
0.6b	(*.f32 (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2)) (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2)))

rewrite4.7s (5.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

3818×	`*-un-lft-identity_binary32`
2130×	`times-frac_binary32`
1144×	`distribute-lft-out_binary32`
636×	`unpow-prod-down_binary32`
522×	`distribute-lft-out--_binary32`

Counts

4 → 701

Calls

4 calls:

190.0ms	(*.f32 (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2)) (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2)))
108.0ms	(*.f32 (+.f32 1 (/.f32 1 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))) (/.f32 u (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))))) (+.f32 (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2)) 1))
3.0ms	(/.f32 PI.f32 s)
3.0ms	(/.f32 PI.f32 s)

Compiler

Compiled 58114 to 32218 computations (44.6% saved)

series18.7s (21.9%)

Error

0.0b

Counts

4 → 46

Calls

4 calls:

9.9s	(*.f32 (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2)) (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2)))
7.2s	(*.f32 (+.f32 1 (/.f32 1 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))) (/.f32 u (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))))) (+.f32 (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2)) 1))
108.0ms	(/.f32 PI.f32 s)
40.0ms	(/.f32 PI.f32 s)

Compiler

Compiled 92516 to 51740 computations (44.1% saved)

simplify1.5s (1.8%)

Algorithm

1×	egg-herbie

Rules

655×	`associate-/l*_binary32`
585×	`times-frac_binary32`
61×	`sqr-pow_binary32`
38×	`sub-neg_binary32`
35×	`distribute-rgt-in_binary32`

Counts

747 → 598

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3513	136876
1	5373	136876

prune2.2s (2.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	597	1	598
Fresh	0	8	8
Picked	1	0	1
Done	1	0	1
Total	599	9	608

Error

0.0b

Counts

608 → 9

Alt Table

Status	Error	Program
	0.9b	(.f32 (.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))) (neg.f32 (cbrt.f32 s))))
	0.4b	(+.f32 (.f32 (neg.f32 s) (log.f32 (sqrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))) (.f32 (neg.f32 s) (log.f32 (sqrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))))
	0.6b	(.f32 (sqrt.f32 s) (.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))) (neg.f32 (sqrt.f32 s))))
	0.4b	(.f32 (neg.f32 s) (log.f32 (/.f32 (-.f32 (pow.f32 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 4) -1) (.f32 -1 -1)) (*.f32 (+.f32 1 (/.f32 1 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))) (/.f32 u (+.f32 (exp.f32 (/.f32 PI.f32 s)) 1))))) (+.f32 (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 PI.f32 s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))) 2)) 1)))))
	0.8b	(.f32 (.f32 (cbrt.f32 (.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))) (cbrt.f32 (.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))))))) (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))))
	0.4b	(+.f32 (.f32 (neg.f32 s) (log.f32 (+.f32 1 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))) (.f32 (neg.f32 s) (log.f32 (+.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))) -1))))
	0.4b	(.f32 (neg.f32 s) (log.f32 (.f32 (*.f32 (cbrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))) (cbrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))))) (cbrt.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))))
	1.7b	(.f32 (.f32 (neg.f32 s) (sqrt.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))))))) (sqrt.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 PI.f32) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1))))
	0.9b	(.f32 (.f32 (neg.f32 s) (*.f32 (cbrt.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))))) (cbrt.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 PI.f32 s))))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s))))))))))) (cbrt.f32 (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 PI.f32) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 PI.f32 s)))))) -1))))

Compiler

Compiled 54506 to 29300 computations (46.2% saved)

regimes2.7s (3.2%)

Accuracy

Total 0.3b remaining (87.8%)

Threshold costs 0.3b (87.8%)

Compiler

Compiled 41343 to 26564 computations (35.7% saved)

simplify12.0ms (0%)

Algorithm

1×	egg-herbie

Rules

15×	`+-commutative_binary32`
10×	`*-commutative_binary32`
10×	`sub-neg_binary32`
7×	`neg-sub0_binary32`
7×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	220
1	53	220
2	70	220
3	83	220
4	90	220
5	92	220
6	88	220

end6.0ms (0%)

Compiler: Compiled 135 to 79 computations (41.5% saved)

sample3.2s (3.8%)

Algorithm

1×

intervals

Results

1.3s	8000×	body	128	valid
213.0ms	8000×	pre	128	true

Compiler

Compiled 802 to 531 computations (33.8% saved)

Details

analyze326.0ms (0.4%)

sample66.0ms (0.1%)

simplify93.0ms (0.1%)

prune8.0ms (0%)

localize85.0ms (0.1%)

rewrite388.0ms (0.5%)

series1.1s (1.3%)

simplify215.0ms (0.3%)

prune325.0ms (0.4%)

localize101.0ms (0.1%)

rewrite973.0ms (1.1%)

series21.6s (25.4%)

simplify718.0ms (0.8%)

prune1.3s (1.6%)

localize139.0ms (0.2%)

rewrite1.1s (1.3%)

series21.2s (24.9%)

simplify817.0ms (1%)

prune1.2s (1.4%)

localize167.0ms (0.2%)

rewrite4.7s (5.5%)

series18.7s (21.9%)

simplify1.5s (1.8%)

prune2.2s (2.6%)

regimes2.7s (3.2%)

simplify12.0ms (0%)

end6.0ms (0%)

sample3.2s (3.8%)

Profiling