Details

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

sample2.4s (3.7%)

Results

2.3s

8256×

body

128

valid

Compiler

Compiled 147 to 112 computations (23.8% saved)

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

localize74.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series1.1s (1.6%)

Counts

4 → 44

Calls

4 calls:

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

rewrite87.0ms (0.1%)

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:

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

simplify151.0ms (0.2%)

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

prune345.0ms (0.5%)

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.4b	(+.f32 (.f32 (log.f32 (+.f32 (sqrt.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 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 (.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.8b	(.f32 (.f32 (cbrt.f32 (.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)))) (cbrt.f32 (.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))))) (cbrt.f32 (*.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)))))
	1.6b	(.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))))
	24.2b	(log.f32 (pow.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 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 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.8b	(.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 13861 to 7746 computations (44.1% saved)

localize88.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series1.1s (1.7%)

Counts

1 → 24

Calls

1 calls:

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

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`associate-r_binary32`
7×	`add-sqr-sqrt_binary32`
6×	`associate-l_binary32`
5×	`*-un-lft-identity_binary32`
5×	`add-cube-cbrt_binary32`

Counts

1 → 31

Calls

1 calls:

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

simplify112.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

737×	`times-frac_binary32`
537×	`associate-/r*_binary32`
447×	`associate-/l*_binary32`
405×	`fma-def_binary32`
179×	`*-commutative_binary32`

Counts

55 → 84

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	485	6970
1	1692	6632
2	5208	6632

prune1.5s (2.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	446	0	446
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	446	8	454

Error

0.0b

Counts

454 → 8

Alt Table

Status	Error	Program
▶	0.4b	(+.f32 (.f32 (log.f32 (+.f32 (sqrt.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 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 (.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.8b	(.f32 (.f32 (cbrt.f32 (.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)))) (cbrt.f32 (.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))))) (cbrt.f32 (*.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)))))
	1.6b	(.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))))
	24.2b	(log.f32 (pow.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 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 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.8b	(.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 39555 to 22168 computations (44% saved)

localize100.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series25.4s (38.8%)

Counts

2 → 34

Calls

2 calls:

19.7s

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

5.8s

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

rewrite15.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`associate-r_binary32`
8×	`add-sqr-sqrt_binary32`
6×	`*-un-lft-identity_binary32`
6×	`add-cube-cbrt_binary32`
5×	`pow1_binary32`

Counts

2 → 46

Calls

2 calls:

7.0ms

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

4.0ms

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

simplify688.0ms (1%)

Algorithm

1×	egg-herbie

Rules

867×	`fma-def_binary32`
509×	`associate-/l*_binary32`
443×	`times-frac_binary32`
35×	`sqr-pow_binary32`
22×	`sub-neg_binary32`

Counts

80 → 115

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2852	64040
1	5772	64040

prune2.1s (3.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	326	1	327
Fresh	2	4	6
Picked	1	0	1
Done	0	1	1
Total	329	6	335

Error

0.0b

Counts

335 → 6

Alt Table

Status	Error	Program
	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	(fma.f32 (log.f32 (+.f32 (sqrt.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 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.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 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 (.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.8b	(.f32 (.f32 (cbrt.f32 (.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)))) (cbrt.f32 (.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))))) (cbrt.f32 (*.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.8b	(.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 90925 to 54925 computations (39.6% saved)

localize93.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(fma.f32 (log.f32 (+.f32 (sqrt.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 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.2b	(*.f32 (log.f32 (-.f32 (sqrt.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.3b	(/.f32 (PI.f32) s)
	0.3b	(/.f32 (neg.f32 (PI.f32)) s)

series24.4s (37.2%)

Counts

2 → 36

Calls

2 calls:

18.6s

(fma.f32 (log.f32 (+.f32 (sqrt.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 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)))

5.8s

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

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`associate-r_binary32`
8×	`add-sqr-sqrt_binary32`
6×	`*-un-lft-identity_binary32`
6×	`add-cube-cbrt_binary32`
5×	`pow1_binary32`

Counts

2 → 39

Calls

2 calls:

4.0ms

(*.f32 (log.f32 (-.f32 (sqrt.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.0ms

(fma.f32 (log.f32 (+.f32 (sqrt.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 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)))

simplify677.0ms (1%)

Algorithm

1×	egg-herbie

Rules

861×	`fma-def_binary32`
364×	`associate-/l*_binary32`
340×	`associate-/r*_binary32`
320×	`times-frac_binary32`
31×	`sqr-pow_binary32`

Counts

75 → 105

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2339	63378
1	5135	63378

prune2.3s (3.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	315	2	317
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	315	8	323

Error

0.0b

Counts

323 → 8

Alt Table

Status	Error	Program
	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	(fma.f32 (log.f32 (+.f32 (sqrt.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 (-.f32 (sqrt.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 s)) (neg.f32 (sqrt.f32 s))))
✓	0.3b	(fma.f32 (log.f32 (+.f32 (sqrt.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 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.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 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 (.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.8b	(.f32 (.f32 (cbrt.f32 (.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)))) (cbrt.f32 (.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))))) (cbrt.f32 (*.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.8b	(.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.6b	(fma.f32 (log.f32 (+.f32 (sqrt.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 (cbrt.f32 (.f32 (log.f32 (-.f32 (sqrt.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))) (cbrt.f32 (.f32 (log.f32 (-.f32 (sqrt.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)))) (cbrt.f32 (*.f32 (log.f32 (-.f32 (sqrt.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)))))

Compiler

Compiled 89491 to 53952 computations (39.7% saved)

regimes2.2s (3.3%)

Accuracy

Total 0.3b remaining (86%)

Threshold costs 0.3b (86%)

Counts

305 → 1

Compiler

Compiled 56970 to 40124 computations (29.6% saved)

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	96
1	44	96
2	59	96
3	70	96
4	75	96
5	76	96
6	74	96

end333.0ms (0.5%)

Compiler: Compiled 704 to 473 computations (32.8% saved)

Details

analyze265.0ms (0.4%)

sample2.4s (3.7%)

simplify77.0ms (0.1%)

prune4.0ms (0%)

localize74.0ms (0.1%)

series1.1s (1.6%)

rewrite87.0ms (0.1%)

simplify151.0ms (0.2%)

prune345.0ms (0.5%)

localize88.0ms (0.1%)

series1.1s (1.7%)

rewrite8.0ms (0%)

simplify112.0ms (0.2%)

prune1.5s (2.3%)

localize100.0ms (0.2%)

series25.4s (38.8%)

rewrite15.0ms (0%)

simplify688.0ms (1%)

prune2.1s (3.1%)

localize93.0ms (0.1%)

series24.4s (37.2%)

rewrite8.0ms (0%)

simplify677.0ms (1%)

prune2.3s (3.5%)

regimes2.2s (3.3%)

simplify9.0ms (0%)

end333.0ms (0.5%)

Profiling