Details

analyze333.0ms (0.2%)

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 54 to 41 computations (24.1% saved)

sample90.0ms (0.1%)

Algorithm

1×

intervals

Results

56.0ms	256×	body	128	valid
9.0ms	256×	pre	128	true

Compiler

Compiled 95 to 73 computations (23.2% saved)

simplify88.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1145×	`fma-def_binary32`
518×	`unswap-sqr_binary32`
445×	`fma-neg_binary32`
420×	`times-frac_binary32`
354×	`associate-l_binary32`

Counts

1 → 2

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	22	59
1	42	59
2	72	59
3	120	51
4	179	48
5	319	46
6	505	46
7	788	46
8	1249	46
9	2584	46
10	4419	46
11	4832	46
12	4827	46

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	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)))

Compiler

Compiled 127 to 93 computations (26.8% saved)

localize101.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(exp.f32 (/.f32 (PI.f32) s))
✓	0.2b	(*.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)

series1.2s (0.8%)

Counts

4 → 44

Calls

4 calls:

1.2s	(*.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)))
6.0ms	(/.f32 (neg.f32 (PI.f32)) s)
4.0ms	(exp.f32 (/.f32 (PI.f32) s))
3.0ms	(/.f32 (PI.f32) s)

rewrite71.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`add-sqr-sqrt_binary32`
56×	`*-un-lft-identity_binary32`
52×	`times-frac_binary32`
48×	`add-cube-cbrt_binary32`
16×	`log-prod_binary32`

Counts

4 → 156

Calls

4 calls:

51.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)))
3.0ms	(/.f32 (neg.f32 (PI.f32)) s)
2.0ms	(/.f32 (PI.f32) s)
2.0ms	(exp.f32 (/.f32 (PI.f32) s))

simplify155.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

717×	`times-frac_binary32`
490×	`associate-/l*_binary32`
475×	`associate-/r*_binary32`
286×	`fma-def_binary32`
146×	`*-commutative_binary32`

Counts

200 → 237

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	593	9374
1	1771	8936
2	5237	8936

prune393.0ms (0.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	229	8	237
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	230	8	238

Error

0.0b

Counts

238 → 8

Alt Table

Status	Error	Program
	0.6b	(.f32 (sqrt.f32 s) (.f32 (neg.f32 (sqrt.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 (.f32 (neg.f32 s) (log1p.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))))))))) (.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.8b	(.f32 (.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (neg.f32 (cbrt.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 (.f32 (log.f32 (sqrt.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))) (neg.f32 s)) (.f32 (log.f32 (sqrt.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))) (neg.f32 s)))
	0.5b	(+.f32 (.f32 (neg.f32 s) (.f32 2 (log.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))))))))))) (*.f32 (neg.f32 s) (log.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)))))))))))
	0.5b	(+.f32 (.f32 (log.f32 (+.f32 (/.f32 1 (sqrt.f32 (+.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)) (neg.f32 s)) (.f32 (log.f32 (-.f32 (/.f32 1 (sqrt.f32 (+.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)) (neg.f32 s)))
	1.5b	(.f32 (.f32 (neg.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)))) (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 (/.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))) (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))))) (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 13805 to 7712 computations (44.1% saved)

localize159.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.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.2b	(*.f32 (log.f32 (sqrt.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))) (neg.f32 s))
	0.4b	(/.f32 (PI.f32) s)
	0.4b	(/.f32 (neg.f32 (PI.f32)) s)

series2.6s (1.7%)

Counts

2 → 48

Calls

2 calls:

2.1s

(*.f32 (log.f32 (sqrt.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))) (neg.f32 s))

458.0ms

(sqrt.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))

rewrite94.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary32`
12×	`*-un-lft-identity_binary32`
10×	`associate-r_binary32`
8×	`sqrt-prod_binary32`
7×	`add-cube-cbrt_binary32`

Counts

2 → 56

Calls

2 calls:

74.0ms

(sqrt.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))

9.0ms

(*.f32 (log.f32 (sqrt.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))) (neg.f32 s))

simplify334.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

855×	`fma-def_binary32`
556×	`associate-/l*_binary32`
313×	`*-commutative_binary32`
206×	`+-commutative_binary32`
166×	`associate-+r+_binary32`

Counts

104 → 148

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	815	12754
1	2831	12121
2	5310	12121

prune3.1s (2.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	505	3	508
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	506	10	516

Error

0.0b

Counts

516 → 10

Alt Table

Status	Error	Program
	0.6b	(.f32 (sqrt.f32 s) (.f32 (neg.f32 (sqrt.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 (.f32 (neg.f32 s) (log1p.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))))))))) (.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.5b	(+.f32 (.f32 (neg.f32 s) (.f32 2 (log.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))))))))))) (*.f32 (neg.f32 s) (log.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)))))))))))
	0.6b	(+.f32 (.f32 (log.f32 (sqrt.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))) (neg.f32 s)) (.f32 (.f32 (log.f32 (sqrt.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))) (.f32 (cbrt.f32 s) (cbrt.f32 s))) (neg.f32 (cbrt.f32 s))))
	0.4b	(+.f32 (.f32 (log.f32 (sqrt.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))) (neg.f32 s)) (.f32 (log.f32 (.f32 (.f32 (cbrt.f32 (sqrt.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))) (cbrt.f32 (sqrt.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)))) (cbrt.f32 (sqrt.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))))) (neg.f32 s)))
	0.8b	(.f32 (.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (neg.f32 (cbrt.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.3b	(+.f32 (.f32 (log.f32 (sqrt.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))) (neg.f32 s)) (.f32 (log.f32 (/.f32 (sqrt.f32 (+.f32 (/.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) -1)) (sqrt.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) 1)))) (neg.f32 s)))
✓	0.4b	(+.f32 (.f32 (log.f32 (sqrt.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))) (neg.f32 s)) (.f32 (log.f32 (sqrt.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))) (neg.f32 s)))
	0.5b	(+.f32 (.f32 (log.f32 (+.f32 (/.f32 1 (sqrt.f32 (+.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)) (neg.f32 s)) (.f32 (log.f32 (-.f32 (/.f32 1 (sqrt.f32 (+.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)) (neg.f32 s)))
	0.9b	(.f32 (.f32 (neg.f32 s) (*.f32 (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))) (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))))) (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 53243 to 30287 computations (43.1% saved)

localize318.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1))))
	0.4b	(/.f32 (PI.f32) s)
	0.4b	(/.f32 (neg.f32 (PI.f32)) s)
✓	0.4b	(/.f32 (sqrt.f32 (+.f32 (/.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) -1)) (sqrt.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) 1)))

series2.0min (79.8%)

Counts

2 → 48

Calls

2 calls:

2.0min

(/.f32 (sqrt.f32 (+.f32 (/.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) -1)) (sqrt.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) 1)))

637.0ms

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

rewrite739.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

4182×	`*-un-lft-identity_binary32`
2453×	`times-frac_binary32`
1446×	`distribute-lft-out_binary32`
372×	`add-sqr-sqrt_binary32`
332×	`distribute-lft-out--_binary32`

Counts

2 → 731

Calls

2 calls:

193.0ms

(/.f32 (sqrt.f32 (+.f32 (/.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) -1)) (sqrt.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) 1)))

71.0ms

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

simplify1.9s (1.2%)

Algorithm

1×	egg-herbie

Rules

1372×	`fma-def_binary32`
3×	`fma-neg_binary32`

Counts

779 → 278

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4770	207331
1	6138	207331

prune4.1s (2.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	573	3	576
Fresh	1	7	8
Picked	1	0	1
Done	1	0	1
Total	576	10	586

Error

0.0b

Counts

586 → 10

Alt Table

Status	Error	Program
	0.6b	(.f32 (sqrt.f32 s) (.f32 (neg.f32 (sqrt.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 (.f32 (neg.f32 s) (log1p.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))))))))) (.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.5b	(+.f32 (.f32 (neg.f32 s) (.f32 2 (log.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))))))))))) (*.f32 (neg.f32 s) (log.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)))))))))))
	0.6b	(+.f32 (.f32 (log.f32 (sqrt.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))) (neg.f32 s)) (.f32 (.f32 (log.f32 (sqrt.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))) (.f32 (cbrt.f32 s) (cbrt.f32 s))) (neg.f32 (cbrt.f32 s))))
	0.9b	(.f32 (.f32 (neg.f32 s) (*.f32 (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))) (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))))) (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 (.f32 (log.f32 (sqrt.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))) (neg.f32 s)) (.f32 (log.f32 (/.f32 (sqrt.f32 (+.f32 (*.f32 (/.f32 (/.f32 1 (sqrt.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1))))) 1) (/.f32 (/.f32 1 (sqrt.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1))))) (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1))))) -1)) (sqrt.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) 1)))) (neg.f32 s)))
	0.8b	(.f32 (.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (neg.f32 (cbrt.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))))
	17.9b	(+.f32 (.f32 (log.f32 (sqrt.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))) (neg.f32 s)) (.f32 (log.f32 (log.f32 (exp.f32 (/.f32 (sqrt.f32 (+.f32 (/.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) -1)) (sqrt.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) 1)))))) (neg.f32 s)))
▶	0.3b	(+.f32 (.f32 (log.f32 (sqrt.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))) (neg.f32 s)) (.f32 (log.f32 (sqrt.f32 (/.f32 (-.f32 (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 (PI.f32) s)))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (PI.f32) s))))) 2)) 1) (+.f32 1 (/.f32 1 (-.f32 (+.f32 (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 (PI.f32) s)))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))))))) (neg.f32 s)))
	0.5b	(+.f32 (.f32 (log.f32 (+.f32 (/.f32 1 (sqrt.f32 (+.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)) (neg.f32 s)) (.f32 (log.f32 (-.f32 (/.f32 1 (sqrt.f32 (+.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)) (neg.f32 s)))

Compiler

Compiled 221301 to 118950 computations (46.2% saved)

localize148.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 (PI.f32) s)))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (PI.f32) s))))) 2))
	0.4b	(/.f32 (PI.f32) s)
	0.4b	(/.f32 (neg.f32 (PI.f32)) s)
✓	0.5b	(/.f32 (-.f32 (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 (PI.f32) s)))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (PI.f32) s))))) 2)) 1) (+.f32 1 (/.f32 1 (-.f32 (+.f32 (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 (PI.f32) s)))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (PI.f32) s))))))))

series6.4s (4.2%)

Counts

2 → 40

Calls

2 calls:

5.7s

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

633.0ms

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

rewrite262.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

582×	`*-un-lft-identity_binary32`
467×	`times-frac_binary32`
307×	`add-sqr-sqrt_binary32`
154×	`distribute-lft-out_binary32`
116×	`difference-of-squares_binary32`

Counts

2 → 327

Calls

2 calls:

96.0ms

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

32.0ms

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

simplify712.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

655×	`fma-def_binary32`
493×	`associate-*r/_binary32`
478×	`associate-/r*_binary32`
425×	`associate-/l*_binary32`
385×	`times-frac_binary32`

Counts

367 → 295

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2195	81804
1	5407	81804

prune2.7s (1.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	593	0	593
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	593	10	603

Error

0.0b

Counts

603 → 10

Alt Table

Status	Error	Program
	0.6b	(.f32 (sqrt.f32 s) (.f32 (neg.f32 (sqrt.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 (.f32 (neg.f32 s) (log1p.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))))))))) (.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.5b	(+.f32 (.f32 (neg.f32 s) (.f32 2 (log.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))))))))))) (*.f32 (neg.f32 s) (log.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)))))))))))
	0.6b	(+.f32 (.f32 (log.f32 (sqrt.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))) (neg.f32 s)) (.f32 (.f32 (log.f32 (sqrt.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))) (.f32 (cbrt.f32 s) (cbrt.f32 s))) (neg.f32 (cbrt.f32 s))))
	0.9b	(.f32 (.f32 (neg.f32 s) (*.f32 (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))) (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))))) (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 (.f32 (log.f32 (sqrt.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))) (neg.f32 s)) (.f32 (log.f32 (/.f32 (sqrt.f32 (+.f32 (*.f32 (/.f32 (/.f32 1 (sqrt.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1))))) 1) (/.f32 (/.f32 1 (sqrt.f32 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1))))) (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1))))) -1)) (sqrt.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) 1)))) (neg.f32 s)))
	0.8b	(.f32 (.f32 (cbrt.f32 s) (cbrt.f32 s)) (*.f32 (neg.f32 (cbrt.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))))
	17.9b	(+.f32 (.f32 (log.f32 (sqrt.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))) (neg.f32 s)) (.f32 (log.f32 (log.f32 (exp.f32 (/.f32 (sqrt.f32 (+.f32 (/.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) -1)) (sqrt.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 (exp.f32 (neg.f32 (/.f32 (PI.f32) s))) 1)) (/.f32 (-.f32 1 u) (+.f32 (exp.f32 (/.f32 (PI.f32) s)) 1)))) 1)))))) (neg.f32 s)))
✓	0.3b	(+.f32 (.f32 (log.f32 (sqrt.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))) (neg.f32 s)) (.f32 (log.f32 (sqrt.f32 (/.f32 (-.f32 (/.f32 1 (pow.f32 (-.f32 (+.f32 (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 (PI.f32) s)))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (PI.f32) s))))) 2)) 1) (+.f32 1 (/.f32 1 (-.f32 (+.f32 (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (neg.f32 (/.f32 (PI.f32) s)))))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))))))) (neg.f32 s)))
	0.5b	(+.f32 (.f32 (log.f32 (+.f32 (/.f32 1 (sqrt.f32 (+.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)) (neg.f32 s)) (.f32 (log.f32 (-.f32 (/.f32 1 (sqrt.f32 (+.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)) (neg.f32 s)))

Compiler

Compiled 116256 to 63073 computations (45.7% saved)

regimes646.0ms (0.4%)

Accuracy

Total 0.3b remaining (87.3%)

Threshold costs 0.3b (87.3%)

Counts

120 → 1

Compiler

Compiled 24915 to 17057 computations (31.5% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

22×	`+-commutative_binary32`
14×	`*-commutative_binary32`
13×	`sub-neg_binary32`
11×	`neg-sub0_binary32`
11×	`neg-mul-1_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	43	163
1	67	161
2	97	161
3	115	161
4	125	161
5	128	161
6	125	161

end2.0ms (0%)

Compiler: Compiled 99 to 62 computations (37.4% saved)

sample3.8s (2.5%)

Algorithm

1×

intervals

Results

1.1s	8000×	body	128	valid
190.0ms	8000×	pre	128	true

Compiler

Compiled 1086 to 729 computations (32.9% saved)

Details

analyze333.0ms (0.2%)

sample90.0ms (0.1%)

simplify88.0ms (0.1%)

prune4.0ms (0%)

localize101.0ms (0.1%)

series1.2s (0.8%)

rewrite71.0ms (0%)

simplify155.0ms (0.1%)

prune393.0ms (0.3%)

localize159.0ms (0.1%)

series2.6s (1.7%)

rewrite94.0ms (0.1%)

simplify334.0ms (0.2%)

prune3.1s (2.1%)

localize318.0ms (0.2%)

series2.0min (79.8%)

rewrite739.0ms (0.5%)

simplify1.9s (1.2%)

prune4.1s (2.7%)

localize148.0ms (0.1%)

series6.4s (4.2%)

rewrite262.0ms (0.2%)

simplify712.0ms (0.5%)

prune2.7s (1.8%)

regimes646.0ms (0.4%)

simplify7.0ms (0%)

end2.0ms (0%)

sample3.8s (2.5%)

Profiling