Details

analyze159.0ms (2.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	2.1%	97.9%	0
0%	2.1%	97.9%	1
1%	1%	97.9%	2
1%	1%	97.9%	3
1.5%	0.5%	97.9%	4
1.5%	0.5%	97.9%	5
1.8%	0.3%	97.9%	6
1.8%	0.3%	97.9%	7
1.9%	0.1%	97.9%	8
1.9%	0.1%	97.9%	9
2%	0.1%	97.9%	10
2%	0.1%	97.9%	11
2%	0%	97.9%	12
2%	0%	97.9%	13
2%	0%	97.9%	14

Compiler

Compiled 44 to 32 computations (27.3% saved)

sample60.0ms (0.8%)

Algorithm

1×

intervals

Results

34.0ms	256×	body	128	valid
6.0ms	256×	pre	128	true

Compiler

Compiled 81 to 59 computations (27.2% saved)

simplify94.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

634×	`associate-l_binary32`
530×	`associate-r_binary32`
445×	`associate-/r*_binary32`
406×	`*-commutative_binary32`
367×	`associate-/l*_binary32`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	26	53
1	66	45
2	235	35
3	850	32
4	2524	32
5	3762	32
6	4029	32
7	4426	32
8	4756	32
9	4857	32
10	4783	32

prune9.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

2 → 2

Alt Table

Status	Error	Program
▶	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 PI.f32) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 PI.f32) s) r)))
	1.3b	(.f32 (/.f32 (/.f32 1/8 (.f32 s PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/3)))

Status

Error

Program

▶

0.1b

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

1.3b

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

Compiler

Compiled 136 to 98 computations (27.9% saved)

localize93.0ms (1.3%)

Local error

Found 4 expressions with local error:

0.2b	(.f32 (.f32 (*.f32 2 PI.f32) s) r)
0.2b	(/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 PI.f32) s) r))
0.2b	(.f32 (.f32 (*.f32 6 PI.f32) s) r)
0.3b	(.f32 (.f32 2 PI.f32) s)

rewrite356.0ms (5.1%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

59×	`add-cbrt-cube_binary32`
55×	`add-exp-log_binary32`
31×	`cbrt-unprod_binary32`
31×	`prod-exp_binary32`
27×	`pow1_binary32`

Counts

4 → 92

Calls

4 calls:

17.0ms	(/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 PI.f32) s) r))
6.0ms	(.f32 (.f32 (*.f32 2 PI.f32) s) r)
5.0ms	(.f32 (.f32 (*.f32 6 PI.f32) s) r)
5.0ms	(.f32 (.f32 2 PI.f32) s)

Compiler

Compiled 3524 to 2008 computations (43% saved)

series202.0ms (2.9%)

Error

0.1b

Counts

4 → 30

Calls

4 calls:

110.0ms	(/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 PI.f32) s) r))
30.0ms	(.f32 (.f32 (*.f32 6 PI.f32) s) r)
30.0ms	(.f32 (.f32 (*.f32 2 PI.f32) s) r)
14.0ms	(.f32 (.f32 2 PI.f32) s)

Compiler

Compiled 2083 to 1488 computations (28.6% saved)

simplify143.0ms (2%)

Algorithm

1×	egg-herbie

Rules

453×	`associate-l_binary32`
424×	`times-frac_binary32`
402×	`associate-/r/_binary32`
311×	`associate-r_binary32`
260×	`associate-/r*_binary32`

Counts

122 → 109

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	208	3716
1	582	2882
2	3266	2736
3	4568	2736
4	4992	2736
5	4929	2736

prune144.0ms (2.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	102	7	109
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	103	8	111

Error

0.1b

Counts

111 → 8

Alt Table

Status	Error	Program
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 PI.f32) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 s (.f32 PI.f32 6)) (*.f32 (cbrt.f32 r) (cbrt.f32 r))) (cbrt.f32 r))))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (exp.f32 (log.f32 (.f32 r (.f32 2 (.f32 s PI.f32)))))) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 PI.f32) s) r)))
▶	0.1b	(+.f32 (.f32 (/.f32 1/8 (.f32 s PI.f32)) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 PI.f32) s) r)))
	0.1b	(+.f32 (/.f32 (.f32 (exp.f32 (/.f32 (neg.f32 r) s)) -1/4) (.f32 (.f32 r PI.f32) (.f32 s -2))) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 PI.f32) s) r)))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 PI.f32) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (exp.f32 (log.f32 (.f32 r (.f32 s (*.f32 PI.f32 6)))))))
	1.3b	(.f32 (/.f32 (/.f32 1/8 (.f32 s PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/3)))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 PI.f32) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 6 PI.f32) (*.f32 r s))))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 PI.f32) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (sqrt.f32 (.f32 r (.f32 s (.f32 PI.f32 6)))) (sqrt.f32 (.f32 r (.f32 s (*.f32 PI.f32 6)))))))

Compiler

Compiled 2265 to 1329 computations (41.3% saved)

localize88.0ms (1.2%)

Local error

Found 4 expressions with local error:

0.2b	(/.f32 (neg.f32 r) (*.f32 3 s))
0.2b	(.f32 (.f32 (*.f32 6 PI.f32) s) r)
0.2b	(/.f32 1/8 (*.f32 s PI.f32))
0.3b	(*.f32 s PI.f32)

rewrite302.0ms (4.3%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

25×	`add-cbrt-cube_binary32`
25×	`add-exp-log_binary32`
17×	`add-sqr-sqrt_binary32`
15×	`*-un-lft-identity_binary32`
15×	`add-cube-cbrt_binary32`

Counts

4 → 97

Calls

4 calls:

6.0ms	(.f32 (.f32 (*.f32 6 PI.f32) s) r)
5.0ms	(/.f32 (neg.f32 r) (*.f32 3 s))
3.0ms	(/.f32 1/8 (*.f32 s PI.f32))
3.0ms	(*.f32 s PI.f32)

Compiler

Compiled 3222 to 1620 computations (49.7% saved)

series100.0ms (1.4%)

Error

0.1b

Counts

4 → 18

Calls

4 calls:

31.0ms	(.f32 (.f32 (*.f32 6 PI.f32) s) r)
30.0ms	(/.f32 (neg.f32 r) (*.f32 3 s))
16.0ms	(/.f32 1/8 (*.f32 s PI.f32))
14.0ms	(*.f32 s PI.f32)

Compiler

Compiled 1270 to 881 computations (30.6% saved)

simplify90.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

787×	`associate-/l*_binary32`
296×	`associate-*l/_binary32`
268×	`associate-/l/_binary32`
250×	`associate-l_binary32`
209×	`distribute-rgt-neg-out_binary32`

Counts

115 → 82

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	197	2131
1	449	1797
2	1740	1611
3	4663	1611
4	4936	1611

prune146.0ms (2.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	78	4	82
Fresh	4	3	7
Picked	1	0	1
Done	0	0	0
Total	83	7	90

Error

0.1b

Counts

90 → 7

Alt Table

Status	Error	Program
	0.3b	(+.f32 (.f32 (/.f32 1/8 (.f32 s PI.f32)) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r)) (/.f32 (.f32 3/4 (exp.f32 (.f32 (.f32 (cbrt.f32 (.f32 -1/3 (/.f32 r s))) (cbrt.f32 (.f32 -1/3 (/.f32 r s)))) (cbrt.f32 (.f32 -1/3 (/.f32 r s)))))) (.f32 (.f32 (*.f32 6 PI.f32) s) r)))
	1.3b	(.f32 (/.f32 (/.f32 1/8 (.f32 s PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/3)))
	0.2b	(+.f32 (.f32 (/.f32 1/8 (.f32 s PI.f32)) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (sqrt.f32 (.f32 r (.f32 s (.f32 PI.f32 6)))) (sqrt.f32 (.f32 r (.f32 s (*.f32 PI.f32 6)))))))
	0.2b	(+.f32 (.f32 (/.f32 1/8 (.f32 s PI.f32)) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (exp.f32 (log.f32 (.f32 r (.f32 s (*.f32 PI.f32 6)))))))
▶	0.1b	(+.f32 (/.f32 (.f32 (exp.f32 (/.f32 (neg.f32 r) s)) -1/4) (.f32 (.f32 r PI.f32) (.f32 s -2))) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 PI.f32) s) r)))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 PI.f32) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 6 PI.f32) (*.f32 r s))))
	0.2b	(+.f32 (.f32 (/.f32 1/8 (.f32 s PI.f32)) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 s (.f32 PI.f32 6)) (*.f32 (cbrt.f32 r) (cbrt.f32 r))) (cbrt.f32 r))))

Compiler

Compiled 2025 to 1120 computations (44.7% saved)

localize93.0ms (1.3%)

Local error

Found 4 expressions with local error:

0.2b	(/.f32 (.f32 (exp.f32 (/.f32 (neg.f32 r) s)) -1/4) (.f32 (.f32 r PI.f32) (.f32 s -2)))
0.2b	(.f32 (.f32 (*.f32 6 PI.f32) s) r)
0.2b	(.f32 (.f32 r PI.f32) (*.f32 s -2))
0.3b	(*.f32 r PI.f32)

rewrite286.0ms (4.1%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

68×	`add-cbrt-cube_binary32`
63×	`add-exp-log_binary32`
36×	`cbrt-unprod_binary32`
36×	`prod-exp_binary32`
27×	`pow1_binary32`

Counts

4 → 96

Calls

4 calls:

17.0ms	(/.f32 (.f32 (exp.f32 (/.f32 (neg.f32 r) s)) -1/4) (.f32 (.f32 r PI.f32) (.f32 s -2)))
7.0ms	(.f32 (.f32 (*.f32 6 PI.f32) s) r)
5.0ms	(*.f32 r PI.f32)
5.0ms	(.f32 (.f32 r PI.f32) (*.f32 s -2))

Compiler

Compiled 3695 to 1970 computations (46.7% saved)

series157.0ms (2.2%)

Error

0.1b

Counts

4 → 30

Calls

4 calls:

60.0ms	(/.f32 (.f32 (exp.f32 (/.f32 (neg.f32 r) s)) -1/4) (.f32 (.f32 r PI.f32) (.f32 s -2)))
33.0ms	(.f32 (.f32 r PI.f32) (*.f32 s -2))
30.0ms	(.f32 (.f32 (*.f32 6 PI.f32) s) r)
13.0ms	(*.f32 r PI.f32)

Compiler

Compiled 2083 to 1487 computations (28.6% saved)

simplify267.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

403×	`times-frac_binary32`
390×	`associate-l_binary32`
335×	`associate-/r/_binary32`
306×	`associate-r_binary32`
273×	`associate-/r*_binary32`

Counts

126 → 96

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	212	4016
1	591	2951
2	3047	2771
3	4479	2771
4	4926	2771

prune129.0ms (1.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	96	7	103

Error

0.1b

Counts

103 → 7

Alt Table

Status	Error	Program
	0.3b	(+.f32 (.f32 (/.f32 1/8 (.f32 s PI.f32)) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r)) (/.f32 (.f32 3/4 (exp.f32 (.f32 (.f32 (cbrt.f32 (.f32 -1/3 (/.f32 r s))) (cbrt.f32 (.f32 -1/3 (/.f32 r s)))) (cbrt.f32 (.f32 -1/3 (/.f32 r s)))))) (.f32 (.f32 (*.f32 6 PI.f32) s) r)))
	1.3b	(.f32 (/.f32 (/.f32 1/8 (.f32 s PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/3)))
	0.2b	(+.f32 (.f32 (/.f32 1/8 (.f32 s PI.f32)) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (sqrt.f32 (.f32 r (.f32 s (.f32 PI.f32 6)))) (sqrt.f32 (.f32 r (.f32 s (*.f32 PI.f32 6)))))))
	0.2b	(+.f32 (.f32 (/.f32 1/8 (.f32 s PI.f32)) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (exp.f32 (log.f32 (.f32 r (.f32 s (*.f32 PI.f32 6)))))))
✓	0.1b	(+.f32 (/.f32 (.f32 (exp.f32 (/.f32 (neg.f32 r) s)) -1/4) (.f32 (.f32 r PI.f32) (.f32 s -2))) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 PI.f32) s) r)))
▶	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 PI.f32) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 6 PI.f32) (*.f32 r s))))
	0.2b	(+.f32 (.f32 (/.f32 1/8 (.f32 s PI.f32)) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 s (.f32 PI.f32 6)) (*.f32 (cbrt.f32 r) (cbrt.f32 r))) (cbrt.f32 r))))

Compiler

Compiled 1748 to 1003 computations (42.6% saved)

localize92.0ms (1.3%)

Local error

Found 4 expressions with local error:

0.2b	(.f32 (.f32 (*.f32 2 PI.f32) s) r)
0.2b	(/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 PI.f32) s) r))
0.3b	(.f32 (.f32 6 PI.f32) (*.f32 r s))
0.3b	(.f32 (.f32 2 PI.f32) s)

rewrite311.0ms (4.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

62×	`add-cbrt-cube_binary32`
58×	`add-exp-log_binary32`
33×	`cbrt-unprod_binary32`
33×	`prod-exp_binary32`
30×	`pow1_binary32`

Counts

4 → 93

Calls

4 calls:

17.0ms	(/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 PI.f32) s) r))
7.0ms	(.f32 (.f32 (*.f32 2 PI.f32) s) r)
5.0ms	(.f32 (.f32 6 PI.f32) (*.f32 r s))
4.0ms	(.f32 (.f32 2 PI.f32) s)

Compiler

Compiled 3532 to 1928 computations (45.4% saved)

series182.0ms (2.6%)

Error

0.1b

Counts

4 → 30

Calls

4 calls:

61.0ms	(/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 PI.f32) s) r))
56.0ms	(.f32 (.f32 (*.f32 2 PI.f32) s) r)
31.0ms	(.f32 (.f32 6 PI.f32) (*.f32 r s))
14.0ms	(.f32 (.f32 2 PI.f32) s)

Compiler

Compiled 2083 to 1482 computations (28.9% saved)

simplify146.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

418×	`times-frac_binary32`
417×	`associate-l_binary32`
413×	`associate-/r/_binary32`
335×	`associate-r_binary32`
274×	`associate-/r*_binary32`

Counts

123 → 110

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	207	3657
1	573	2893
2	3270	2801
3	4624	2801
4	4987	2801
5	4979	2801

prune137.0ms (1.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	110	7	117

Error

0.1b

Counts

117 → 7

Alt Table

Status	Error	Program
	0.3b	(+.f32 (.f32 (/.f32 1/8 (.f32 s PI.f32)) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r)) (/.f32 (.f32 3/4 (exp.f32 (.f32 (.f32 (cbrt.f32 (.f32 -1/3 (/.f32 r s))) (cbrt.f32 (.f32 -1/3 (/.f32 r s)))) (cbrt.f32 (.f32 -1/3 (/.f32 r s)))))) (.f32 (.f32 (*.f32 6 PI.f32) s) r)))
	1.3b	(.f32 (/.f32 (/.f32 1/8 (.f32 s PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/3)))
	0.2b	(+.f32 (.f32 (/.f32 1/8 (.f32 s PI.f32)) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (sqrt.f32 (.f32 r (.f32 s (.f32 PI.f32 6)))) (sqrt.f32 (.f32 r (.f32 s (*.f32 PI.f32 6)))))))
	0.2b	(+.f32 (.f32 (/.f32 1/8 (.f32 s PI.f32)) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (exp.f32 (log.f32 (.f32 r (.f32 s (*.f32 PI.f32 6)))))))
✓	0.1b	(+.f32 (/.f32 (.f32 (exp.f32 (/.f32 (neg.f32 r) s)) -1/4) (.f32 (.f32 r PI.f32) (.f32 s -2))) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 PI.f32) s) r)))
✓	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 PI.f32) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 6 PI.f32) (*.f32 r s))))
	0.2b	(+.f32 (.f32 (/.f32 1/8 (.f32 s PI.f32)) (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (.f32 s (.f32 PI.f32 6)) (*.f32 (cbrt.f32 r) (cbrt.f32 r))) (cbrt.f32 r))))

Compiler

Compiled 1875 to 1021 computations (45.5% saved)

regimes971.0ms (13.8%)

Accuracy

Total 0.1b remaining (35.6%)

Threshold costs 0.1b (35.6%)

Compiler

Compiled 13495 to 9514 computations (29.5% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary32`
4×	`+-commutative_binary32`
3×	`sub-neg_binary32`
3×	`neg-sub0_binary32`
3×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	53
1	43	53
2	49	53
3	54	53
4	56	53
5	55	53

end2.0ms (0%)

Compiler: Compiled 35 to 25 computations (28.6% saved)

sample2.3s (32.3%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 338 to 238 computations (29.6% saved)

Details

analyze159.0ms (2.3%)

sample60.0ms (0.8%)

simplify94.0ms (1.3%)

prune9.0ms (0.1%)

localize93.0ms (1.3%)

rewrite356.0ms (5.1%)

series202.0ms (2.9%)

simplify143.0ms (2%)

prune144.0ms (2.1%)

localize88.0ms (1.2%)

rewrite302.0ms (4.3%)

series100.0ms (1.4%)

simplify90.0ms (1.3%)

prune146.0ms (2.1%)

localize93.0ms (1.3%)

rewrite286.0ms (4.1%)

series157.0ms (2.2%)

simplify267.0ms (3.8%)

prune129.0ms (1.8%)

localize92.0ms (1.3%)

rewrite311.0ms (4.4%)

series182.0ms (2.6%)

simplify146.0ms (2.1%)

prune137.0ms (1.9%)

regimes971.0ms (13.8%)

simplify4.0ms (0.1%)

end2.0ms (0%)

sample2.3s (32.3%)

Profiling