Details

analyze7.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 66 to 48 computations (27.3% saved)

sample2.4s (27.2%)

Alt Table

Status	Error	Program
▶	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))

Symmetry

(sort cosTheta_i cosTheta_O)

(sort sinTheta_i sinTheta_O)

Results

2.4s

8256×

body

128

valid

Compiler

Compiled 213 to 153 computations (28.2% saved)

localize61.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v)
✓	0.2b	(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
✓	0.3b	(/.f32 (*.f32 cosTheta_i cosTheta_O) v)
✓	0.8b	(sinh.f32 (/.f32 1 v))

series39.0ms (0.4%)

Counts

4 → 24

Calls

4 calls:

13.0ms	(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
12.0ms	(/.f32 (*.f32 cosTheta_i cosTheta_O) v)
8.0ms	(.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v)
7.0ms	(sinh.f32 (/.f32 1 v))

rewrite75.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

292×	`expm1-udef_binary32`
292×	`log1p-udef_binary32`
163×	`add-sqr-sqrt_binary32`
152×	`log1p-expm1-u_binary32`
152×	`expm1-log1p-u_binary32`

Counts

4 → 131

Calls

4 calls:

72.0ms	(.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v)
72.0ms	(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
72.0ms	(/.f32 (*.f32 cosTheta_i cosTheta_O) v)
72.0ms	(sinh.f32 (/.f32 1 v))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	32
1	332	32
2	4166	32
3	5199	32
0	0	0
1	0	0

prune290.0ms (3.3%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	140	15	155
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	141	15	156

Error

0.1b

Counts

156 → 15

Alt Table

Status	Error	Program
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (exp.f32 (log.f32 (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)))))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (.f32 (*.f32 (expm1.f32 (log1p.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (-.f32 (exp.f32 (log1p.f32 (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)))) 1))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (cbrt.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (pow.f32 (cbrt.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v)) 2))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (pow.f32 (cbrt.f32 (.f32 cosTheta_i cosTheta_O)) 2) (.f32 (cbrt.f32 (.f32 cosTheta_i cosTheta_O)) (/.f32 1 v)))) (.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (.f32 (*.f32 (pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3) 1/3) 2) v))
	10.8b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (exp.f32 (log.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v)))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
▶	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))) (.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (/.f32 1 v) (.f32 cosTheta_i cosTheta_O))) (.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (.f32 (.f32 cosTheta_i cosTheta_O) (cbrt.f32 (pow.f32 v -2))) (/.f32 1 (cbrt.f32 v)))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (.f32 (*.f32 (exp.f32 (log.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (cbrt.f32 (.f32 (pow.f32 v 3) (pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) 3))))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (pow.f32 (sqrt.f32 (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2))) 2))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (pow.f32 (cbrt.f32 (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2))) 3))
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (pow.f32 (pow.f32 (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)) 3) 1/3))

Compiler

Compiled 5128 to 2609 computations (49.1% saved)

localize57.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v)
✓	0.2b	(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
✓	0.2b	(*.f32 cosTheta_i (/.f32 1 v))
✓	0.8b	(sinh.f32 (/.f32 1 v))

series31.0ms (0.3%)

Counts

4 → 48

Calls

4 calls:

12.0ms	(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
8.0ms	(.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v)
5.0ms	(sinh.f32 (/.f32 1 v))
5.0ms	(*.f32 cosTheta_i (/.f32 1 v))

rewrite67.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

250×	`expm1-udef_binary32`
250×	`log1p-udef_binary32`
225×	`log-pow_binary32`
141×	`add-sqr-sqrt_binary32`
132×	`log1p-expm1-u_binary32`

Counts

4 → 112

Calls

4 calls:

64.0ms	(.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v)
64.0ms	(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
64.0ms	(*.f32 cosTheta_i (/.f32 1 v))
64.0ms	(sinh.f32 (/.f32 1 v))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	29
1	290	29
2	3489	29
3	4935	29
0	0	0
1	0	0

prune295.0ms (3.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	153	7	160
Fresh	8	6	14
Picked	1	0	1
Done	0	0	0
Total	162	13	175

Error

0.1b

Counts

175 → 13

Alt Table

Status	Error	Program
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (.f32 (*.f32 (exp.f32 (log.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))) (pow.f32 (pow.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) 3) 1/3))
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (exp.f32 (log.f32 (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)))))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (.f32 (*.f32 (expm1.f32 (log1p.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))) (-.f32 (exp.f32 (log1p.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)))) 1))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_O (pow.f32 (cbrt.f32 (/.f32 cosTheta_i v)) 3))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (cbrt.f32 (.f32 (pow.f32 v 3) (pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) 3))))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (cbrt.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (pow.f32 (cbrt.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v)) 2))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))) (.f32 (.f32 (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 3) 2) v))
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))) (.f32 (.f32 (pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3) 1/3) 2) v))
▶	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O))) (.f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))) (.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_O (/.f32 (/.f32 cosTheta_i (sqrt.f32 v)) (sqrt.f32 v)))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	10.8b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (exp.f32 (log.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v)))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))

Compiler

Compiled 5215 to 2993 computations (42.6% saved)

localize57.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f32 (.f32 (exp.f32 (neg.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O))) (.f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))) (.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v))
✓	0.2b	(.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v)
✓	0.2b	(*.f32 cosTheta_i (/.f32 1 v))
✓	0.8b	(sinh.f32 (/.f32 1 v))

series435.0ms (4.9%)

Counts

4 → 108

Calls

4 calls:

415.0ms	(/.f32 (.f32 (exp.f32 (neg.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O))) (.f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))) (.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v))
8.0ms	(.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v)
5.0ms	(sinh.f32 (/.f32 1 v))
5.0ms	(*.f32 cosTheta_i (/.f32 1 v))

rewrite78.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

211×	`add-sqr-sqrt_binary32`
198×	`times-frac_binary32`
196×	`add-log-exp_binary32`
196×	`log1p-expm1-u_binary32`
196×	`expm1-log1p-u_binary32`

Counts

4 → 107

Calls

4 calls:

75.0ms	(/.f32 (.f32 (exp.f32 (neg.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O))) (.f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))) (.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v))
75.0ms	(.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v)
75.0ms	(*.f32 cosTheta_i (/.f32 1 v))
75.0ms	(sinh.f32 (/.f32 1 v))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	56
1	428	54
2	4770	54
3	4986	54
0	0	0
1	0	0

prune412.0ms (4.6%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	211	4	215
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	213	15	228

Error

0.0b

Counts

228 → 15

Alt Table

Status	Error	Program
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (.f32 (*.f32 (exp.f32 (log.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))) (pow.f32 (pow.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) 3) 1/3))
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (exp.f32 (log.f32 (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)))))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (.f32 (*.f32 (expm1.f32 (log1p.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))) (-.f32 (exp.f32 (log1p.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)))) 1))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_O (pow.f32 (cbrt.f32 (/.f32 cosTheta_i v)) 3))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (cbrt.f32 (.f32 (pow.f32 v 3) (pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) 3))))
	0.5b	(.f32 (/.f32 (.f32 (exp.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)) cosTheta_O) (sqrt.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)))) (/.f32 (/.f32 cosTheta_i v) (sqrt.f32 (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)))))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (cbrt.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (pow.f32 (cbrt.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v)) 2))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))) (.f32 (.f32 (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 3) 2) v))
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))) (.f32 (.f32 (pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3) 1/3) 2) v))
▶	0.4b	(.f32 (/.f32 (.f32 (exp.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)) cosTheta_O) 1) (/.f32 (/.f32 cosTheta_i v) (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2))))
	0.4b	(.f32 (/.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O) (sinh.f32 (/.f32 1 v))) (/.f32 (exp.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)) (.f32 2 v)))
	0.4b	(.f32 (.f32 (exp.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)) (.f32 (/.f32 cosTheta_i v) cosTheta_O)) (/.f32 1 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))))
	10.8b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (exp.f32 (log.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v)))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))

Compiler

Compiled 7322 to 3929 computations (46.3% saved)

localize174.0ms (2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f32 (/.f32 (.f32 (exp.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)) cosTheta_O) 1) (/.f32 (/.f32 cosTheta_i v) (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2))))
✓	0.2b	(.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))
✓	0.3b	(/.f32 (/.f32 cosTheta_i v) (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)))
✓	0.8b	(sinh.f32 (/.f32 1 v))

series683.0ms (7.7%)

Counts

4 → 108

Calls

4 calls:

542.0ms	(.f32 (/.f32 (.f32 (exp.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)) cosTheta_O) 1) (/.f32 (/.f32 cosTheta_i v) (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2))))
125.0ms	(/.f32 (/.f32 cosTheta_i v) (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)))
10.0ms	(.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))
5.0ms	(sinh.f32 (/.f32 1 v))

rewrite84.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

201×	`add-sqr-sqrt_binary32`
187×	`add-log-exp_binary32`
187×	`log1p-expm1-u_binary32`
187×	`expm1-log1p-u_binary32`
185×	`add-cbrt-cube_binary32`

Counts

4 → 145

Calls

4 calls:

80.0ms	(.f32 (/.f32 (.f32 (exp.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)) cosTheta_O) 1) (/.f32 (/.f32 cosTheta_i v) (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2))))
80.0ms	(.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))
80.0ms	(/.f32 (/.f32 cosTheta_i v) (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)))
80.0ms	(sinh.f32 (/.f32 1 v))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	68
1	411	68
2	4870	68
3	5008	68
0	0	0
1	0	0

prune491.0ms (5.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	250	3	253
Fresh	3	11	14
Picked	1	0	1
Done	0	0	0
Total	254	14	268

Error

0.0b

Counts

268 → 14

Alt Table

Status	Error	Program
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (exp.f32 (log.f32 (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)))))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (.f32 (*.f32 (expm1.f32 (log1p.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))) (-.f32 (exp.f32 (log1p.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)))) 1))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_O (pow.f32 (cbrt.f32 (/.f32 cosTheta_i v)) 3))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (cbrt.f32 (.f32 (pow.f32 v 3) (pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) 3))))
	0.5b	(.f32 (/.f32 (.f32 (exp.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)) cosTheta_O) (sqrt.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)))) (/.f32 (/.f32 cosTheta_i v) (sqrt.f32 (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)))))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (cbrt.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (pow.f32 (cbrt.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v)) 2))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))) (.f32 (.f32 (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 3) 2) v))
	10.8b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (exp.f32 (log.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v)))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.4b	(.f32 (/.f32 (.f32 (exp.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)) cosTheta_O) 1) (/.f32 (/.f32 cosTheta_i v) (.f32 v (*.f32 (exp.f32 (log.f32 (sinh.f32 (/.f32 1 v)))) 2))))
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))) (.f32 (.f32 (pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3) 1/3) 2) v))
	0.4b	(.f32 (/.f32 (.f32 (exp.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)) cosTheta_O) 1) (.f32 (/.f32 cosTheta_i (*.f32 v (sinh.f32 (/.f32 1 v)))) (/.f32 (/.f32 1 v) 2)))
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))) (pow.f32 (pow.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) 3) 1/3))
	0.5b	(.f32 (/.f32 (.f32 (exp.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)) cosTheta_O) 1) (pow.f32 (cbrt.f32 (/.f32 (/.f32 cosTheta_i v) (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)))) 3))

Compiler

Compiled 7782 to 4183 computations (46.2% saved)

regimes2.7s (30.7%)

Accuracy

Total 0.4b remaining (83.8%)

Threshold costs 0.4b (83.8%)

Counts

227 → 1

Compiler

Compiled 58688 to 42639 computations (27.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary32`
1×	`/-rgt-identity_binary32`
1×	`1-exp_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	35
1	27	35
2	26	35

end412.0ms (4.6%)

Remove: (sort sinTheta_i sinTheta_O)
Compiler: Compiled 669 to 485 computations (27.5% saved)

Details

analyze7.0ms (0.1%)

sample2.4s (27.2%)

localize61.0ms (0.7%)

series39.0ms (0.4%)

rewrite75.0ms (0.8%)

prune290.0ms (3.3%)

localize57.0ms (0.6%)

series31.0ms (0.3%)

rewrite67.0ms (0.8%)

prune295.0ms (3.3%)

localize57.0ms (0.6%)

series435.0ms (4.9%)

rewrite78.0ms (0.9%)

prune412.0ms (4.6%)

localize174.0ms (2%)

series683.0ms (7.7%)

rewrite84.0ms (0.9%)

prune491.0ms (5.5%)

regimes2.7s (30.7%)

simplify2.0ms (0%)

end412.0ms (4.6%)

Profiling