Details

analyze273.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)

sample54.0ms (0.1%)

Algorithm

1×

intervals

Results

31.0ms	256×	body	128	valid
5.0ms	256×	pre	128	true

Compiler

Compiled 89 to 69 computations (22.5% saved)

simplify98.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

prune9.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)

localize70.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(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 PI.f32 s)
0.3b	(/.f32 (neg.f32 PI.f32) s)
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)))

rewrite559.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

56×	`add-sqr-sqrt_binary32`
54×	`*-un-lft-identity_binary32`
45×	`times-frac_binary32`
42×	`add-cube-cbrt_binary32`
24×	`log-prod_binary32`

Counts

4 → 146

Calls

4 calls:

62.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)))
54.0ms	(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))
5.0ms	(/.f32 (neg.f32 PI.f32) s)
3.0ms	(/.f32 PI.f32 s)

Compiler

Compiled 5324 to 2955 computations (44.5% saved)

series1.3s (1.9%)

Error

0.4b

Counts

4 → 28

Calls

4 calls:

684.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)))
427.0ms	(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))
16.0ms	(/.f32 (neg.f32 PI.f32) s)
15.0ms	(/.f32 PI.f32 s)

Compiler

Compiled 12110 to 7384 computations (39% saved)

simplify222.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

803×	`associate-/r*_binary32`
757×	`associate-/l*_binary32`
231×	`+-commutative_binary32`
200×	`associate-+r+_binary32`
197×	`*-commutative_binary32`

Counts

174 → 110

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	805	13731
1	2440	13189
2	5298	13189

prune401.0ms (0.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	101	9	110
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	102	9	111

Error

0.0b

Counts

111 → 9

Alt Table

Status	Error	Program
	0.8b	(.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))))
	18.5b	(cbrt.f32 (*.f32 (pow.f32 (neg.f32 s) 3) (pow.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)))))))) 3)))
	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.6b	(*.f32 (neg.f32 s) (-.f32 (log.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)) (log.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))))
	1.8b	(*.f32 (neg.f32 s) (exp.f32 (log.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)))))))))))
▶	0.4b	(*.f32 (neg.f32 s) (+.f32 (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))))))))) (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.7b	(.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.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.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))))

Compiler

Compiled 8649 to 4471 computations (48.3% saved)

localize78.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f32 PI.f32 s)
0.3b	(/.f32 PI.f32 s)
0.3b	(/.f32 PI.f32 s)
0.3b	(*.f32 (neg.f32 s) (+.f32 (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))))))))) (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)))))))))))

rewrite519.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

42×	`*-un-lft-identity_binary32`
38×	`add-sqr-sqrt_binary32`
36×	`add-cube-cbrt_binary32`
27×	`times-frac_binary32`
26×	`associate-r_binary32`

Counts

4 → 134

Calls

4 calls:

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

Compiler

Compiled 7999 to 4585 computations (42.7% saved)

series675.0ms (1%)

Error

0.0b

Counts

4 → 22

Calls

4 calls:

533.0ms	(*.f32 (neg.f32 s) (+.f32 (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))))))))) (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)))))))))))
23.0ms	(/.f32 PI.f32 s)
23.0ms	(/.f32 PI.f32 s)
22.0ms	(/.f32 PI.f32 s)

Compiler

Compiled 5511 to 3222 computations (41.5% saved)

simplify175.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

637×	`times-frac_binary32`
383×	`associate-/l*_binary32`
358×	`associate-/r*_binary32`
272×	`associate-r_binary32`
211×	`associate-l_binary32`

Counts

156 → 81

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	390	6696
1	1262	6083
2	4956	6079
3	5001	6079

prune285.0ms (0.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	79	2	81
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	81	9	90

Error

0.0b

Counts

90 → 9

Alt Table

Status	Error	Program
	0.8b	(.f32 (.f32 (neg.f32 s) (cbrt.f32 (log.f32 (sqrt.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 (cbrt.f32 (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)))))))))) (cbrt.f32 (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 (cbrt.f32 (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)))))))))) (cbrt.f32 (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)))))))))))))
	1.7b	(.f32 (.f32 (neg.f32 s) (sqrt.f32 (*.f32 2 (log.f32 (sqrt.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)))))) (sqrt.f32 (+.f32 (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))))))))) (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.8b	(.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))))
	18.5b	(cbrt.f32 (*.f32 (pow.f32 (neg.f32 s) 3) (pow.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)))))))) 3)))
▶	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.6b	(*.f32 (neg.f32 s) (-.f32 (log.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)) (log.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))))
	1.8b	(*.f32 (neg.f32 s) (exp.f32 (log.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)))))))))))
	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.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))))

Compiler

Compiled 5615 to 3257 computations (42% saved)

localize90.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f32 PI.f32 s)
0.3b	(/.f32 PI.f32 s)
0.3b	(*.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))))))))))
0.3b	(+.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))))

rewrite874.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

50×	`add-sqr-sqrt_binary32`
48×	`*-un-lft-identity_binary32`
40×	`log-prod_binary32`
30×	`add-cube-cbrt_binary32`
22×	`times-frac_binary32`

Counts

4 → 135

Calls

4 calls:

118.0ms	(+.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))))
61.0ms	(*.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))))))))))
3.0ms	(/.f32 PI.f32 s)
3.0ms	(/.f32 PI.f32 s)

Compiler

Compiled 9028 to 5135 computations (43.1% saved)

series29.8s (42.3%)

Error

0.0b

Counts

4 → 30

Calls

4 calls:

21.8s	(+.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))))
6.6s	(*.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))))))))))
24.0ms	(/.f32 PI.f32 s)
24.0ms	(/.f32 PI.f32 s)

Compiler

Compiled 68981 to 41961 computations (39.2% saved)

simplify628.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

475×	`associate-/l*_binary32`
419×	`associate-/r*_binary32`
407×	`times-frac_binary32`
29×	`sqr-pow_binary32`
23×	`sub-neg_binary32`

Counts

165 → 73

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2737	60865
1	5203	60865

prune1.4s (2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	71	2	73
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	73	9	82

Error

0.0b

Counts

82 → 9

Alt Table

Status	Error	Program
	0.8b	(.f32 (.f32 (neg.f32 s) (cbrt.f32 (log.f32 (sqrt.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 (cbrt.f32 (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)))))))))) (cbrt.f32 (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 (cbrt.f32 (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)))))))))) (cbrt.f32 (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)))))))))))))
	1.7b	(.f32 (.f32 (neg.f32 s) (sqrt.f32 (*.f32 2 (log.f32 (sqrt.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)))))) (sqrt.f32 (+.f32 (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))))))))) (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.8b	(.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.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.6b	(*.f32 (neg.f32 s) (-.f32 (log.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)) (log.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))))
	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.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.5b	(+.f32 (.f32 (neg.f32 s) (log.f32 (.f32 (cbrt.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))))))))) (cbrt.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) (+.f32 (log.f32 (cbrt.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)))))))))) (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) (log.f32 1)) (.f32 (neg.f32 s) (+.f32 (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))))))))) (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)))))

Compiler

Compiled 36716 to 21229 computations (42.2% saved)

localize99.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f32 PI.f32 s)
0.3b	(/.f32 PI.f32 s)
0.3b	(/.f32 PI.f32 s)
0.3b	(*.f32 (neg.f32 s) (+.f32 (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))))))))) (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))))

rewrite648.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

36×	`*-un-lft-identity_binary32`
34×	`add-sqr-sqrt_binary32`
32×	`add-cube-cbrt_binary32`
27×	`times-frac_binary32`
12×	`add-cbrt-cube_binary32`

Counts

4 → 115

Calls

4 calls:

9.0ms	(*.f32 (neg.f32 s) (+.f32 (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))))))))) (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))))
3.0ms	(/.f32 PI.f32 s)
3.0ms	(/.f32 PI.f32 s)
3.0ms	(/.f32 PI.f32 s)

Compiler

Compiled 7940 to 4593 computations (42.2% saved)

series25.0s (35.4%)

Error

0.0b

Counts

4 → 20

Calls

4 calls:

23.8s	(*.f32 (neg.f32 s) (+.f32 (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))))))))) (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))))
25.0ms	(/.f32 PI.f32 s)
25.0ms	(/.f32 PI.f32 s)
24.0ms	(/.f32 PI.f32 s)

Compiler

Compiled 44775 to 26953 computations (39.8% saved)

simplify436.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

506×	`associate-+r+_binary32`
318×	`associate-/l*_binary32`
307×	`associate-r_binary32`
283×	`associate-*l/_binary32`
278×	`associate-/r*_binary32`

Counts

135 → 40

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1817	39506
1	5650	39506

prune931.0ms (1.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	40	9	49

Error

0.0b

Counts

49 → 9

Alt Table

Status	Error	Program
	0.8b	(.f32 (.f32 (neg.f32 s) (cbrt.f32 (log.f32 (sqrt.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 (cbrt.f32 (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)))))))))) (cbrt.f32 (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 (cbrt.f32 (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)))))))))) (cbrt.f32 (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)))))))))))))
	1.7b	(.f32 (.f32 (neg.f32 s) (sqrt.f32 (*.f32 2 (log.f32 (sqrt.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)))))) (sqrt.f32 (+.f32 (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))))))))) (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.8b	(.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.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.6b	(*.f32 (neg.f32 s) (-.f32 (log.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)) (log.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))))
	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.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.5b	(+.f32 (.f32 (neg.f32 s) (log.f32 (.f32 (cbrt.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))))))))) (cbrt.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) (+.f32 (log.f32 (cbrt.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)))))))))) (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) (log.f32 1)) (.f32 (neg.f32 s) (+.f32 (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))))))))) (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)))))

Compiler

Compiled 23676 to 13612 computations (42.5% saved)

regimes3.0s (4.3%)

Accuracy

Total 0.3b remaining (89.4%)

Threshold costs 0.3b (89.4%)

Compiler

Compiled 40542 to 28325 computations (30.1% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

11×	`+-commutative_binary32`
8×	`*-commutative_binary32`
7×	`sub-neg_binary32`
6×	`neg-sub0_binary32`
6×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	46
1	38	46
2	52	46
3	63	46
4	68	46
5	69	46
6	68	46

end2.0ms (0%)

Compiler: Compiled 30 to 24 computations (20% saved)

sample2.8s (4%)

Algorithm

1×

intervals

Results

924.0ms	8000×	body	128	valid
165.0ms	8000×	pre	128	true

Compiler

Compiled 817 to 552 computations (32.4% saved)

Details

analyze273.0ms (0.4%)

sample54.0ms (0.1%)

simplify98.0ms (0.1%)

prune9.0ms (0%)

localize70.0ms (0.1%)

rewrite559.0ms (0.8%)

series1.3s (1.9%)

simplify222.0ms (0.3%)

prune401.0ms (0.6%)

localize78.0ms (0.1%)

rewrite519.0ms (0.7%)

series675.0ms (1%)

simplify175.0ms (0.2%)

prune285.0ms (0.4%)

localize90.0ms (0.1%)

rewrite874.0ms (1.2%)

series29.8s (42.3%)

simplify628.0ms (0.9%)

prune1.4s (2%)

localize99.0ms (0.1%)

rewrite648.0ms (0.9%)

series25.0s (35.4%)

simplify436.0ms (0.6%)

prune931.0ms (1.3%)

regimes3.0s (4.3%)

simplify5.0ms (0%)

end2.0ms (0%)

sample2.8s (4%)

Profiling