Details

analyze1.0ms (0%)

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 (41.5%)

Results

2.4s

8256×

body

128

valid

Compiler

Compiled 132 to 96 computations (27.3% saved)

preprocess32.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

696×	`associate-/l*_binary32`
691×	`associate-/l/_binary32`
677×	`times-frac_binary32`
373×	`associate-/r/_binary32`
359×	`associate-/r*_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	102	374
1	361	374
2	1272	352
0	5	5
1	5	5

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1
2
3
4

Outputs
0
1
0
2
3
2
4

Call 2

Inputs
(/.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))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_O cosTheta_i) v)) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 cosTheta_i sinTheta_O) v))) (/.f32 (.f32 sinTheta_i cosTheta_O) v)) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i cosTheta_i) v))) (/.f32 (.f32 sinTheta_O cosTheta_O) v)) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) cosTheta_i))) (/.f32 (.f32 v cosTheta_O) cosTheta_i)) (.f32 (*.f32 (sinh.f32 (/.f32 1 cosTheta_i)) 2) cosTheta_i))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 cosTheta_O sinTheta_O) v))) (/.f32 (.f32 cosTheta_i sinTheta_i) v)) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i cosTheta_O) v))) (/.f32 (.f32 cosTheta_i sinTheta_O) v)) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) cosTheta_O))) (/.f32 (.f32 cosTheta_i v) cosTheta_O)) (.f32 (*.f32 (sinh.f32 (/.f32 1 cosTheta_O)) 2) cosTheta_O))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_O sinTheta_i) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 v sinTheta_O) sinTheta_i))) (/.f32 (.f32 cosTheta_i cosTheta_O) sinTheta_i)) (.f32 (*.f32 (sinh.f32 (/.f32 1 sinTheta_i)) 2) sinTheta_i))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i v) sinTheta_O))) (/.f32 (.f32 cosTheta_i cosTheta_O) sinTheta_O)) (.f32 (*.f32 (sinh.f32 (/.f32 1 sinTheta_O)) 2) sinTheta_O))

Outputs
(/.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))
(.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (.f32 sinTheta_i sinTheta_O)) v)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) v))
(.f32 (/.f32 (exp.f32 (/.f32 (.f32 sinTheta_i (neg.f32 sinTheta_O)) v)) (.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 cosTheta_O (.f32 v (/.f32 v cosTheta_i))))
(/.f32 (/.f32 (.f32 (/.f32 cosTheta_O v) cosTheta_i) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) (pow.f32 (exp.f32 (/.f32 sinTheta_O v)) sinTheta_i))) v)
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_O cosTheta_i) v)) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
(.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (.f32 sinTheta_i sinTheta_O)) v)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) v))
(.f32 (/.f32 (exp.f32 (/.f32 (.f32 sinTheta_i (neg.f32 sinTheta_O)) v)) (.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 cosTheta_O (.f32 v (/.f32 v cosTheta_i))))
(/.f32 (/.f32 (.f32 (/.f32 cosTheta_O v) cosTheta_i) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) (pow.f32 (exp.f32 (/.f32 sinTheta_O v)) sinTheta_i))) v)
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 cosTheta_i sinTheta_O) v))) (/.f32 (.f32 sinTheta_i cosTheta_O) v)) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
(.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (.f32 sinTheta_O cosTheta_i)) v)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 sinTheta_i (/.f32 v cosTheta_O)) v))
(.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 cosTheta_i) (/.f32 v sinTheta_O))) (.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (.f32 sinTheta_i cosTheta_O) (.f32 v v)))
(/.f32 (/.f32 (/.f32 (/.f32 cosTheta_O (/.f32 v sinTheta_i)) (exp.f32 (.f32 (/.f32 sinTheta_O v) cosTheta_i))) (sinh.f32 (/.f32 1 v))) (.f32 v 2))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i cosTheta_i) v))) (/.f32 (.f32 sinTheta_O cosTheta_O) v)) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
(.f32 (/.f32 (exp.f32 (neg.f32 (/.f32 cosTheta_i (/.f32 v sinTheta_i)))) (.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 sinTheta_O (/.f32 v cosTheta_O)) v))
(.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 cosTheta_i) (/.f32 v sinTheta_i))) (.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 cosTheta_O (*.f32 v (/.f32 v sinTheta_O))))
(/.f32 (/.f32 (.f32 (/.f32 sinTheta_O v) cosTheta_O) (.f32 v (exp.f32 (.f32 (/.f32 cosTheta_i v) sinTheta_i)))) (.f32 (sinh.f32 (/.f32 1 v)) 2))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) cosTheta_i))) (/.f32 (.f32 v cosTheta_O) cosTheta_i)) (.f32 (*.f32 (sinh.f32 (/.f32 1 cosTheta_i)) 2) cosTheta_i))
(.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (.f32 sinTheta_i sinTheta_O)) cosTheta_i)) (*.f32 2 (sinh.f32 (/.f32 1 cosTheta_i)))) (/.f32 (/.f32 v (/.f32 cosTheta_i cosTheta_O)) cosTheta_i))
(.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 sinTheta_i) (/.f32 cosTheta_i sinTheta_O))) (.f32 2 (sinh.f32 (/.f32 1 cosTheta_i)))) (/.f32 (*.f32 (/.f32 v cosTheta_i) cosTheta_O) cosTheta_i))
(/.f32 (/.f32 (.f32 v cosTheta_O) (pow.f32 (exp.f32 (/.f32 sinTheta_i cosTheta_i)) sinTheta_O)) (.f32 (.f32 (sinh.f32 (/.f32 1 cosTheta_i)) (.f32 cosTheta_i 2)) cosTheta_i))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 cosTheta_O sinTheta_O) v))) (/.f32 (.f32 cosTheta_i sinTheta_i) v)) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
(.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (.f32 sinTheta_O cosTheta_O)) v)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 cosTheta_i (/.f32 v sinTheta_i)) v))
(.f32 (/.f32 (exp.f32 (/.f32 (.f32 cosTheta_O (neg.f32 sinTheta_O)) v)) (.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 sinTheta_i (.f32 v (/.f32 v cosTheta_i))))
(/.f32 (/.f32 (.f32 (/.f32 cosTheta_i v) sinTheta_i) (.f32 2 (pow.f32 (exp.f32 (/.f32 sinTheta_O v)) cosTheta_O))) (*.f32 (sinh.f32 (/.f32 1 v)) v))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i cosTheta_O) v))) (/.f32 (.f32 cosTheta_i sinTheta_O) v)) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
(/.f32 (exp.f32 (/.f32 (neg.f32 (.f32 sinTheta_i cosTheta_O)) v)) (/.f32 (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 cosTheta_i (/.f32 v sinTheta_O))))
(/.f32 (/.f32 sinTheta_O (/.f32 v cosTheta_i)) (/.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) (exp.f32 (/.f32 (*.f32 sinTheta_i (neg.f32 cosTheta_O)) v))))
(/.f32 (/.f32 (/.f32 (.f32 (/.f32 sinTheta_O v) cosTheta_i) (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) cosTheta_O)) (sinh.f32 (/.f32 1 v))) (.f32 v 2))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) cosTheta_O))) (/.f32 (.f32 cosTheta_i v) cosTheta_O)) (.f32 (*.f32 (sinh.f32 (/.f32 1 cosTheta_O)) 2) cosTheta_O))
(.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (.f32 sinTheta_i sinTheta_O)) cosTheta_O)) (*.f32 2 (sinh.f32 (/.f32 1 cosTheta_O)))) (/.f32 (/.f32 cosTheta_i (/.f32 cosTheta_O v)) cosTheta_O))
(/.f32 (exp.f32 (/.f32 (.f32 sinTheta_i (neg.f32 sinTheta_O)) cosTheta_O)) (.f32 (/.f32 (.f32 (sinh.f32 (/.f32 1 cosTheta_O)) (.f32 cosTheta_O 2)) cosTheta_i) (/.f32 cosTheta_O v)))
(/.f32 (/.f32 (/.f32 cosTheta_i (/.f32 cosTheta_O v)) (pow.f32 (exp.f32 (/.f32 sinTheta_i cosTheta_O)) sinTheta_O)) (.f32 (sinh.f32 (/.f32 1 cosTheta_O)) (.f32 cosTheta_O 2)))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_O sinTheta_i) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
(.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (.f32 sinTheta_i sinTheta_O)) v)) (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) v))
(.f32 (/.f32 (exp.f32 (/.f32 (.f32 sinTheta_i (neg.f32 sinTheta_O)) v)) (.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 cosTheta_O (.f32 v (/.f32 v cosTheta_i))))
(/.f32 (/.f32 (.f32 (/.f32 cosTheta_O v) cosTheta_i) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) (pow.f32 (exp.f32 (/.f32 sinTheta_O v)) sinTheta_i))) v)
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 v sinTheta_O) sinTheta_i))) (/.f32 (.f32 cosTheta_i cosTheta_O) sinTheta_i)) (.f32 (*.f32 (sinh.f32 (/.f32 1 sinTheta_i)) 2) sinTheta_i))
(/.f32 (.f32 (exp.f32 (/.f32 (neg.f32 (.f32 sinTheta_O v)) sinTheta_i)) (/.f32 (.f32 cosTheta_i cosTheta_O) sinTheta_i)) (.f32 (sinh.f32 (/.f32 1 sinTheta_i)) (*.f32 2 sinTheta_i)))
(.f32 (/.f32 (.f32 (/.f32 cosTheta_i sinTheta_i) cosTheta_O) (sinh.f32 (/.f32 1 sinTheta_i))) (/.f32 (exp.f32 (/.f32 (.f32 v (neg.f32 sinTheta_O)) sinTheta_i)) (.f32 sinTheta_i 2)))
(/.f32 (.f32 (/.f32 cosTheta_i sinTheta_i) cosTheta_O) (.f32 (.f32 (sinh.f32 (/.f32 1 sinTheta_i)) (.f32 sinTheta_i 2)) (pow.f32 (exp.f32 (/.f32 v sinTheta_i)) sinTheta_O)))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i v) sinTheta_O))) (/.f32 (.f32 cosTheta_i cosTheta_O) sinTheta_O)) (.f32 (*.f32 (sinh.f32 (/.f32 1 sinTheta_O)) 2) sinTheta_O))
(/.f32 (.f32 (exp.f32 (/.f32 (neg.f32 (.f32 sinTheta_i v)) sinTheta_O)) (/.f32 cosTheta_i (/.f32 sinTheta_O cosTheta_O))) (.f32 (sinh.f32 (/.f32 1 sinTheta_O)) (.f32 2 sinTheta_O)))
(.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (.f32 sinTheta_i v)) sinTheta_O)) (.f32 2 (sinh.f32 (/.f32 1 sinTheta_O)))) (/.f32 cosTheta_i (.f32 sinTheta_O (/.f32 sinTheta_O cosTheta_O))))
(/.f32 (.f32 (/.f32 cosTheta_i sinTheta_O) cosTheta_O) (.f32 (.f32 2 (.f32 (sinh.f32 (/.f32 1 sinTheta_O)) sinTheta_O)) (exp.f32 (/.f32 sinTheta_i (/.f32 sinTheta_O v)))))

Symmetry

(sort cosTheta_i cosTheta_O)

(sort sinTheta_i sinTheta_O)

Compiler

Compiled 27 to 19 computations (29.6% saved)

simplify13.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

914×	`times-frac_binary32`
551×	`associate-/l*_binary32`
460×	`associate-/l/_binary32`
360×	`associate-*l/_binary32`
311×	`associate-/r/_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	20	34
1	54	34
2	173	32
3	800	32

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(/.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))

Outputs
(/.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))
(/.f32 (exp.f32 (/.f32 (neg.f32 (.f32 sinTheta_i sinTheta_O)) v)) (/.f32 (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (/.f32 cosTheta_i (/.f32 v cosTheta_O))))
(.f32 (/.f32 (exp.f32 (/.f32 (.f32 sinTheta_i (neg.f32 sinTheta_O)) v)) (sinh.f32 (/.f32 1 v))) (/.f32 (/.f32 cosTheta_i (/.f32 v cosTheta_O)) (*.f32 v 2)))
(/.f32 (.f32 (/.f32 cosTheta_O v) cosTheta_i) (.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) (pow.f32 (exp.f32 (/.f32 sinTheta_i v)) sinTheta_O)))
(.f32 (/.f32 (/.f32 1/2 (sinh.f32 (/.f32 1 v))) (pow.f32 (exp.f32 sinTheta_O) (/.f32 sinTheta_i v))) (.f32 (/.f32 cosTheta_i (*.f32 v v)) cosTheta_O))

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.4b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.5b	(.f32 (/.f32 (/.f32 1/2 (sinh.f32 (/.f32 1 v))) (pow.f32 (exp.f32 sinTheta_O) (/.f32 sinTheta_i v))) (.f32 (/.f32 cosTheta_i (*.f32 v v)) cosTheta_O))
▶	0.5b	(/.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))

Status

Error

Program

0.5b

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

▶

0.5b

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

Compiler

Compiled 154 to 106 computations (31.2% saved)

localize58.0ms (1%)

Local error

Found 4 expressions with local error:

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

series17.0ms (0.3%)

Counts

4 → 24

Calls

24 calls:

Time	Variable		Point	Expression
1.0ms	v	@	-inf	(/.f32 (*.f32 cosTheta_i cosTheta_O) v)
1.0ms	v	@	inf	(sinh.f32 (/.f32 1 v))
1.0ms	v	@	0	(sinh.f32 (/.f32 1 v))
1.0ms	v	@	inf	(.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v)
1.0ms	v	@	0	(.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v)

rewrite66.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

292×	`log1p-udef_binary32`
166×	`add-sqr-sqrt_binary32`
162×	`*-un-lft-identity_binary32`
162×	`pow1_binary32`
152×	`add-cbrt-cube_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	32
1	332	32
2	4359	32

Stop Event

1×	node limit

Counts

4 → 131

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (sinh.f32 (/.f32 1 v)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (/.f32 (exp.f32 (/.f32 1 v)) 2) (/.f32 (exp.f32 (/.f32 -1 v)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (sinh.f32 (/.f32 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sinh.f32 (/.f32 1 v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2) (cbrt.f32 (sinh.f32 (/.f32 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (sinh.f32 (/.f32 1 v))) (sqrt.f32 (sinh.f32 (/.f32 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 2 (.f32 (sinh.f32 (/.f32 1 v)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sinh.f32 (/.f32 1 v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (sinh.f32 (/.f32 1 v))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (sinh.f32 (/.f32 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (sinh.f32 (/.f32 1 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (sinh.f32 (/.f32 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (sinh.f32 (/.f32 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (sinh.f32 (/.f32 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (sinh.f32 (/.f32 1 v))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) (.f32 v 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 v) (.f32 (sinh.f32 (/.f32 1 v)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 v 3) (pow.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) 3) (pow.f32 v 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (.f32 (/.f32 cosTheta_i v) cosTheta_O))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 v) (.f32 cosTheta_i cosTheta_O))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 cosTheta_i (/.f32 1 (/.f32 v cosTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 cosTheta_O (.f32 cosTheta_i (/.f32 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 cosTheta_i cosTheta_O) (/.f32 1 v))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)) (cbrt.f32 (pow.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (pow.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O) 2)) (cbrt.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (.f32 cosTheta_i cosTheta_O)) 2) (.f32 (cbrt.f32 (.f32 cosTheta_i cosTheta_O)) (/.f32 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)) (sqrt.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (.f32 cosTheta_i cosTheta_O)) (.f32 (sqrt.f32 (.f32 cosTheta_i cosTheta_O)) (/.f32 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 v -1/2) (/.f32 (.f32 cosTheta_i cosTheta_O) (sqrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 cosTheta_i (neg.f32 cosTheta_O)) (/.f32 -1 v))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 cosTheta_i 1) (/.f32 cosTheta_O v))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 cosTheta_O 1) (/.f32 cosTheta_i v))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 cosTheta_i v) cosTheta_O)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (.f32 cosTheta_i cosTheta_O)) 2) 1) (/.f32 (cbrt.f32 (.f32 cosTheta_i cosTheta_O)) v))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (.f32 cosTheta_i cosTheta_O)) 1) (/.f32 (sqrt.f32 (.f32 cosTheta_i cosTheta_O)) v))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (pow.f32 (cbrt.f32 v) 2)) (/.f32 (.f32 cosTheta_i cosTheta_O) (cbrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 cosTheta_i (pow.f32 (cbrt.f32 v) 2)) (/.f32 cosTheta_O (cbrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 cosTheta_O (pow.f32 (cbrt.f32 v) 2)) (/.f32 cosTheta_i (cbrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (.f32 cosTheta_i cosTheta_O)) 2) (pow.f32 (cbrt.f32 v) 2)) (cbrt.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (.f32 cosTheta_i cosTheta_O)) (pow.f32 (cbrt.f32 v) 2)) (/.f32 (sqrt.f32 (.f32 cosTheta_i cosTheta_O)) (cbrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 cosTheta_i (sqrt.f32 v)) (/.f32 cosTheta_O (sqrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 cosTheta_O (sqrt.f32 v)) (/.f32 cosTheta_i (sqrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (.f32 cosTheta_i cosTheta_O)) 2) (sqrt.f32 v)) (/.f32 (cbrt.f32 (.f32 cosTheta_i cosTheta_O)) (sqrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (.f32 cosTheta_i cosTheta_O) (cbrt.f32 (pow.f32 v -2))) (/.f32 1 (cbrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (.f32 cosTheta_i cosTheta_O) (pow.f32 v -1/2)) (pow.f32 v -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 (/.f32 v cosTheta_O) cosTheta_i) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) (neg.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (/.f32 (pow.f32 (.f32 cosTheta_i cosTheta_O) 3) (pow.f32 v 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 (.f32 cosTheta_i cosTheta_O) 3) (/.f32 (pow.f32 v -2) v)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (.f32 (/.f32 sinTheta_i v) sinTheta_O))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 v) (.f32 sinTheta_i sinTheta_O))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 sinTheta_i (/.f32 1 (/.f32 v sinTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 sinTheta_i (.f32 sinTheta_O (/.f32 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 sinTheta_O (.f32 sinTheta_i (/.f32 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 sinTheta_i sinTheta_O) (/.f32 1 v))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (pow.f32 (.f32 sinTheta_i sinTheta_O) 2)) (.f32 (cbrt.f32 (.f32 sinTheta_i sinTheta_O)) (/.f32 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)) (cbrt.f32 (pow.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (pow.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O) 2)) (cbrt.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (.f32 sinTheta_i sinTheta_O)) (.f32 (sqrt.f32 (.f32 sinTheta_i sinTheta_O)) (/.f32 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)) (sqrt.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 v -1/2) (/.f32 (.f32 sinTheta_i sinTheta_O) (sqrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 sinTheta_O (neg.f32 sinTheta_i)) (/.f32 -1 v))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (pow.f32 (cbrt.f32 v) 2)) (/.f32 (.f32 sinTheta_i sinTheta_O) (cbrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 sinTheta_i 1) (/.f32 sinTheta_O v))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 sinTheta_O 1) (/.f32 sinTheta_i v))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 sinTheta_i v) sinTheta_O)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (cbrt.f32 (pow.f32 (.f32 sinTheta_i sinTheta_O) 2)) 1) (/.f32 (cbrt.f32 (.f32 sinTheta_i sinTheta_O)) v))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (.f32 sinTheta_i sinTheta_O)) 1) (/.f32 (sqrt.f32 (.f32 sinTheta_i sinTheta_O)) v))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 sinTheta_i (pow.f32 (cbrt.f32 v) 2)) (/.f32 sinTheta_O (cbrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 sinTheta_O (pow.f32 (cbrt.f32 v) 2)) (/.f32 sinTheta_i (cbrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (cbrt.f32 (pow.f32 (.f32 sinTheta_i sinTheta_O) 2)) (pow.f32 (cbrt.f32 v) 2)) (cbrt.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (.f32 sinTheta_i sinTheta_O)) (pow.f32 (cbrt.f32 v) 2)) (/.f32 (sqrt.f32 (.f32 sinTheta_i sinTheta_O)) (cbrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 sinTheta_i (sqrt.f32 v)) (/.f32 sinTheta_O (sqrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 sinTheta_O (sqrt.f32 v)) (/.f32 sinTheta_i (sqrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (cbrt.f32 (pow.f32 (.f32 sinTheta_i sinTheta_O) 2)) (sqrt.f32 v)) (/.f32 (cbrt.f32 (.f32 sinTheta_i sinTheta_O)) (sqrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (.f32 sinTheta_i sinTheta_O) (cbrt.f32 (pow.f32 v -2))) (/.f32 1 (cbrt.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (.f32 sinTheta_i sinTheta_O) (pow.f32 v -1/2)) (pow.f32 v -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 v (.f32 sinTheta_i sinTheta_O)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) (neg.f32 v)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (/.f32 (pow.f32 (.f32 sinTheta_i sinTheta_O) 3) (pow.f32 v 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 (.f32 sinTheta_i sinTheta_O) 3) (/.f32 (pow.f32 v -2) v)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (.f32 (/.f32 sinTheta_i v) sinTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (*.f32 (/.f32 sinTheta_i v) sinTheta_O)) 1))))))

simplify48.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

509×	`unswap-sqr_binary32`
478×	`times-frac_binary32`
374×	`fma-def_binary32`
322×	`associate-*l/_binary32`
302×	`associate-/r*_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	50	408
1	125	392
2	279	392
3	636	392
4	1902	392

Stop Event

1×	node limit

Counts

155 → 149

Calls

Call 1

Inputs
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(/.f32 1 v)
(+.f32 (/.f32 1 v) (*.f32 1/6 (/.f32 1 (pow.f32 v 3))))
(+.f32 (/.f32 1 v) (+.f32 (.f32 1/120 (/.f32 1 (pow.f32 v 5))) (.f32 1/6 (/.f32 1 (pow.f32 v 3)))))
(+.f32 (/.f32 1 v) (+.f32 (.f32 1/5040 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 1/120 (/.f32 1 (pow.f32 v 5))) (*.f32 1/6 (/.f32 1 (pow.f32 v 3))))))
(/.f32 1 v)
(+.f32 (/.f32 1 v) (*.f32 1/6 (/.f32 1 (pow.f32 v 3))))
(+.f32 (/.f32 1 v) (+.f32 (.f32 1/120 (/.f32 1 (pow.f32 v 5))) (.f32 1/6 (/.f32 1 (pow.f32 v 3)))))
(+.f32 (/.f32 1 v) (+.f32 (.f32 1/5040 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 1/120 (/.f32 1 (pow.f32 v 5))) (*.f32 1/6 (/.f32 1 (pow.f32 v 3))))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
2
(+.f32 2 (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))
(+.f32 2 (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (.f32 1/3 (/.f32 1 (pow.f32 v 2)))))
(+.f32 2 (+.f32 (.f32 1/2520 (/.f32 1 (pow.f32 v 6))) (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))))
2
(+.f32 2 (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))
(+.f32 2 (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (.f32 1/3 (/.f32 1 (pow.f32 v 2)))))
(+.f32 2 (+.f32 (.f32 1/2520 (/.f32 1 (pow.f32 v 6))) (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))))

Outputs
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))
(/.f32 1 v)
(+.f32 (/.f32 1 v) (*.f32 1/6 (/.f32 1 (pow.f32 v 3))))
(+.f32 (/.f32 1 v) (/.f32 1/6 (pow.f32 v 3)))
(+.f32 (/.f32 1 v) (+.f32 (.f32 1/120 (/.f32 1 (pow.f32 v 5))) (.f32 1/6 (/.f32 1 (pow.f32 v 3)))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/120 (pow.f32 v 5))))
(+.f32 (/.f32 1 v) (+.f32 (.f32 1/5040 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 1/120 (/.f32 1 (pow.f32 v 5))) (*.f32 1/6 (/.f32 1 (pow.f32 v 3))))))
(+.f32 (/.f32 1 v) (+.f32 (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/120 (pow.f32 v 5))) (/.f32 1/5040 (pow.f32 v 7))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (+.f32 (/.f32 1/120 (pow.f32 v 5)) (/.f32 1/5040 (pow.f32 v 7)))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/120 (pow.f32 v 5)) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/5040 (pow.f32 v 7)))))
(+.f32 (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/120 (pow.f32 v 5))) (+.f32 (/.f32 1 v) (/.f32 1/5040 (pow.f32 v 7))))
(/.f32 1 v)
(+.f32 (/.f32 1 v) (*.f32 1/6 (/.f32 1 (pow.f32 v 3))))
(+.f32 (/.f32 1 v) (/.f32 1/6 (pow.f32 v 3)))
(+.f32 (/.f32 1 v) (+.f32 (.f32 1/120 (/.f32 1 (pow.f32 v 5))) (.f32 1/6 (/.f32 1 (pow.f32 v 3)))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/120 (pow.f32 v 5))))
(+.f32 (/.f32 1 v) (+.f32 (.f32 1/5040 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 1/120 (/.f32 1 (pow.f32 v 5))) (*.f32 1/6 (/.f32 1 (pow.f32 v 3))))))
(+.f32 (/.f32 1 v) (+.f32 (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/120 (pow.f32 v 5))) (/.f32 1/5040 (pow.f32 v 7))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (+.f32 (/.f32 1/120 (pow.f32 v 5)) (/.f32 1/5040 (pow.f32 v 7)))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/120 (pow.f32 v 5)) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/5040 (pow.f32 v 7)))))
(+.f32 (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/120 (pow.f32 v 5))) (+.f32 (/.f32 1 v) (/.f32 1/5040 (pow.f32 v 7))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))
2
(+.f32 2 (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))
(+.f32 2 (/.f32 1/3 (*.f32 v v)))
(+.f32 2 (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (.f32 1/3 (/.f32 1 (pow.f32 v 2)))))
(+.f32 2 (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))))
(+.f32 2 (+.f32 (.f32 1/2520 (/.f32 1 (pow.f32 v 6))) (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))))
(+.f32 2 (+.f32 (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))) (/.f32 1/2520 (pow.f32 v 6))))
(+.f32 2 (+.f32 (/.f32 1/3 (*.f32 v v)) (+.f32 (/.f32 1/60 (pow.f32 v 4)) (/.f32 1/2520 (pow.f32 v 6)))))
2
(+.f32 2 (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))
(+.f32 2 (/.f32 1/3 (*.f32 v v)))
(+.f32 2 (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (.f32 1/3 (/.f32 1 (pow.f32 v 2)))))
(+.f32 2 (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))))
(+.f32 2 (+.f32 (.f32 1/2520 (/.f32 1 (pow.f32 v 6))) (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))))
(+.f32 2 (+.f32 (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))) (/.f32 1/2520 (pow.f32 v 6))))
(+.f32 2 (+.f32 (/.f32 1/3 (*.f32 v v)) (+.f32 (/.f32 1/60 (pow.f32 v 4)) (/.f32 1/2520 (pow.f32 v 6)))))

prune329.0ms (5.7%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	135	14	149
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	136	15	151

Error

0.1b

Counts

151 → 15

Alt Table

Status	Error	Program
▶	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.6b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (expm1.f32 (log1p.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)) (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)) (.f32 (.f32 (.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2)) 2) v))
	0.6b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (/.f32 (pow.f32 (cbrt.f32 (.f32 cosTheta_i cosTheta_O)) 2) (sqrt.f32 v)) (/.f32 (cbrt.f32 (.f32 cosTheta_i cosTheta_O)) (sqrt.f32 v)))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.5b	(.f32 (/.f32 (/.f32 1/2 (sinh.f32 (/.f32 1 v))) (pow.f32 (exp.f32 sinTheta_O) (/.f32 sinTheta_i v))) (.f32 (/.f32 cosTheta_i (*.f32 v v)) cosTheta_O))
	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))
	0.5b	(/.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))
	11.2b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (pow.f32 (sqrt.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)) 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 (.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 (sqrt.f32 v)) (/.f32 cosTheta_O (sqrt.f32 v)))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	2.3b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (log.f32 (pow.f32 (exp.f32 v) (.f32 (sinh.f32 (/.f32 1 v)) 2))))
	0.6b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (/.f32 1 (pow.f32 (cbrt.f32 v) 2)) (/.f32 (.f32 cosTheta_i cosTheta_O) (cbrt.f32 v)))) (.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.6b	(/.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))
	11.7b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (exp.f32 (log.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))

Compiler

Compiled 4940 to 2518 computations (49% saved)

localize60.0ms (1%)

Local error

Found 4 expressions with local error:

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

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	cosTheta_O	@	0	(*.f32 cosTheta_O (/.f32 1 v))
0.0ms	v	@	0	(*.f32 cosTheta_O (/.f32 1 v))
0.0ms	cosTheta_O	@	-inf	(*.f32 cosTheta_O (/.f32 1 v))
0.0ms	v	@	-inf	(*.f32 cosTheta_O (/.f32 1 v))
0.0ms	cosTheta_O	@	inf	(*.f32 cosTheta_O (/.f32 1 v))

rewrite34.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

537×	`pow1_binary32`
495×	`add-log-exp_binary32`
495×	`log1p-expm1-u_binary32`
495×	`expm1-log1p-u_binary32`
484×	`add-exp-log_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	4
1	120	4
2	1424	4

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

Inputs
(*.f32 cosTheta_O (/.f32 1 v))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 1 (/.f32 cosTheta_O v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 cosTheta_O v)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 v cosTheta_O))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (pow.f32 (cbrt.f32 cosTheta_O) 2) (/.f32 v (cbrt.f32 cosTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (sqrt.f32 cosTheta_O) (/.f32 v (sqrt.f32 cosTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 cosTheta_O) (neg.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (/.f32 cosTheta_O (sqrt.f32 v)) (sqrt.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (/.f32 cosTheta_O 1) v)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (/.f32 cosTheta_O (pow.f32 (cbrt.f32 v) 2)) (cbrt.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 -1 cosTheta_O) (neg.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 cosTheta_O -1) (neg.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 cosTheta_O v) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (/.f32 cosTheta_O v) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (/.f32 cosTheta_O v)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (/.f32 cosTheta_O v)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (/.f32 cosTheta_O v) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (/.f32 cosTheta_O v)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (/.f32 cosTheta_O v) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (/.f32 (pow.f32 cosTheta_O 3) (pow.f32 v 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 cosTheta_O 3) (/.f32 (pow.f32 v -2) v)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (/.f32 (pow.f32 v -2) v) (pow.f32 cosTheta_O 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (/.f32 cosTheta_O v)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (/.f32 cosTheta_O v)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (/.f32 cosTheta_O v)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 1 (/.f32 cosTheta_O v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 cosTheta_O v)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 v cosTheta_O))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (pow.f32 (cbrt.f32 cosTheta_O) 2) (/.f32 v (cbrt.f32 cosTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (sqrt.f32 cosTheta_O) (/.f32 v (sqrt.f32 cosTheta_O)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 cosTheta_O) (neg.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (/.f32 cosTheta_O (sqrt.f32 v)) (sqrt.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (/.f32 cosTheta_O 1) v)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (/.f32 cosTheta_O (pow.f32 (cbrt.f32 v) 2)) (cbrt.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 -1 cosTheta_O) (neg.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 cosTheta_O -1) (neg.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 cosTheta_O v) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (/.f32 cosTheta_O v) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (/.f32 cosTheta_O v)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (/.f32 cosTheta_O v)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (/.f32 cosTheta_O v) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (/.f32 cosTheta_O v)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (/.f32 cosTheta_O v) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (/.f32 (pow.f32 cosTheta_O 3) (pow.f32 v 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 cosTheta_O 3) (/.f32 (pow.f32 v -2) v)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (/.f32 (pow.f32 v -2) v) (pow.f32 cosTheta_O 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (/.f32 cosTheta_O v)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (/.f32 cosTheta_O v)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (/.f32 cosTheta_O v)))))))

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	96

Stop Event

1×

saturated

Counts

48 → 24

Calls

Call 1

Inputs
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)

Outputs
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)
(/.f32 cosTheta_O v)

prune316.0ms (5.5%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	120	7	127
Fresh	5	9	14
Picked	1	0	1
Done	0	0	0
Total	126	16	142

Error

0.1b

Counts

142 → 16

Alt Table

Status	Error	Program
	0.4b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (.f32 (.f32 (exp.f32 (log.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)) (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)) (.f32 (.f32 (.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2)) 2) v))
	11.7b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (exp.f32 (log.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.6b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (pow.f32 (cbrt.f32 (/.f32 cosTheta_O v)) 3))) (.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))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (.f32 (.f32 (pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3) 1/3) 2) v))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (.f32 (.f32 (pow.f32 (sqrt.f32 (sinh.f32 (/.f32 1 v))) 2) 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 (expm1.f32 (log1p.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
	0.5b	(.f32 (/.f32 (/.f32 1/2 (sinh.f32 (/.f32 1 v))) (pow.f32 (exp.f32 sinTheta_O) (/.f32 sinTheta_i v))) (.f32 (/.f32 cosTheta_i (*.f32 v v)) cosTheta_O))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (/.f32 cosTheta_i (sqrt.f32 v)) (/.f32 cosTheta_O (sqrt.f32 v)))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	2.2b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (log.f32 (pow.f32 (exp.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 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (expm1.f32 (log1p.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)))))
	0.6b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (/.f32 1 (pow.f32 (cbrt.f32 v) 2)) (/.f32 (.f32 cosTheta_i cosTheta_O) (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 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (exp.f32 (log.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)))))
	0.6b	(/.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))

Compiler

Compiled 4588 to 2802 computations (38.9% saved)

localize72.0ms (1.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))
	0.3b	(*.f32 cosTheta_O (/.f32 1 v))
✓	0.5b	(exp.f32 (log.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))))
	0.9b	(sinh.f32 (/.f32 1 v))

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	v	@	0	(exp.f32 (log.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))))
0.0ms	v	@	-inf	(exp.f32 (log.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))))
0.0ms	v	@	inf	(exp.f32 (log.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))))
0.0ms	v	@	-inf	(.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))
0.0ms	v	@	inf	(.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))

rewrite39.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

812×	`pow1_binary32`
748×	`log1p-expm1-u_binary32`
748×	`expm1-log1p-u_binary32`
88×	`add-sqr-sqrt_binary32`
84×	`*-un-lft-identity_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	24
1	189	24
2	2126	24

Stop Event

1×	node limit

Counts

2 → 52

Calls

Call 1

Inputs
(exp.f32 (log.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))))
(.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 2 (*.f32 v (sinh.f32 (/.f32 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))) (pow.f32 (cbrt.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))) 2) (cbrt.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 v) 2) (*.f32 (cbrt.f32 v) (*.f32 (sinh.f32 (/.f32 1 v)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) 2)) (*.f32 (cbrt.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2)) v))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))) (sqrt.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 v) (*.f32 (sqrt.f32 v) (*.f32 (sinh.f32 (/.f32 1 v)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2)) (*.f32 (sqrt.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2)) v))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 v (sinh.f32 (/.f32 1 v))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 v 2) (sinh.f32 (/.f32 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 v (cbrt.f32 (pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) 2))) (cbrt.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 v (sqrt.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2))) (sqrt.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) (pow.f32 (cbrt.f32 v) 2)) (cbrt.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) (sqrt.f32 v)) (sqrt.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (E.f32) (log.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (cbrt.f32 (pow.f32 (log.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))) 2))) (cbrt.f32 (log.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (sqrt.f32 (log.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))))) (sqrt.f32 (log.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 v) (*.f32 (sinh.f32 (/.f32 1 v)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 v 3) (pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) 3) (pow.f32 v 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (E.f32) (log.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (cbrt.f32 (pow.f32 (log.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))) 2))) (cbrt.f32 (log.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (exp.f32 (sqrt.f32 (log.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))))) (sqrt.f32 (log.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 v) (*.f32 (sinh.f32 (/.f32 1 v)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 v 3) (pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) 3) (pow.f32 v 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 (sinh.f32 (/.f32 1 v)) (*.f32 2 v))))))))

simplify46.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

797×	`fma-def_binary32`
519×	`associate-l_binary32`
351×	`associate-r_binary32`
333×	`associate-/l/_binary32`
289×	`unswap-sqr_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	28	384
1	67	368
2	142	368
3	330	368
4	967	368
5	4068	368

Stop Event

1×	node limit

Counts

76 → 45

Calls

Call 1

Inputs
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
2
(+.f32 2 (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))
(+.f32 2 (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (.f32 1/3 (/.f32 1 (pow.f32 v 2)))))
(+.f32 2 (+.f32 (.f32 1/2520 (/.f32 1 (pow.f32 v 6))) (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))))
2
(+.f32 2 (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))
(+.f32 2 (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (.f32 1/3 (/.f32 1 (pow.f32 v 2)))))
(+.f32 2 (+.f32 (.f32 1/2520 (/.f32 1 (pow.f32 v 6))) (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
2
(+.f32 2 (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))
(+.f32 2 (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (.f32 1/3 (/.f32 1 (pow.f32 v 2)))))
(+.f32 2 (+.f32 (.f32 1/2520 (/.f32 1 (pow.f32 v 6))) (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))))
2
(+.f32 2 (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))
(+.f32 2 (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (.f32 1/3 (/.f32 1 (pow.f32 v 2)))))
(+.f32 2 (+.f32 (.f32 1/2520 (/.f32 1 (pow.f32 v 6))) (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))))

Outputs
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))
2
(+.f32 2 (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))
(+.f32 2 (/.f32 1/3 (*.f32 v v)))
(+.f32 2 (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (.f32 1/3 (/.f32 1 (pow.f32 v 2)))))
(+.f32 2 (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))))
(+.f32 (/.f32 1/60 (pow.f32 v 4)) (+.f32 2 (/.f32 1/3 (*.f32 v v))))
(+.f32 2 (+.f32 (.f32 1/2520 (/.f32 1 (pow.f32 v 6))) (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))))
(+.f32 (+.f32 2 (/.f32 1/2520 (pow.f32 v 6))) (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))))
(+.f32 2 (+.f32 (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))) (/.f32 1/2520 (pow.f32 v 6))))
2
(+.f32 2 (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))
(+.f32 2 (/.f32 1/3 (*.f32 v v)))
(+.f32 2 (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (.f32 1/3 (/.f32 1 (pow.f32 v 2)))))
(+.f32 2 (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))))
(+.f32 (/.f32 1/60 (pow.f32 v 4)) (+.f32 2 (/.f32 1/3 (*.f32 v v))))
(+.f32 2 (+.f32 (.f32 1/2520 (/.f32 1 (pow.f32 v 6))) (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))))
(+.f32 (+.f32 2 (/.f32 1/2520 (pow.f32 v 6))) (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))))
(+.f32 2 (+.f32 (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))) (/.f32 1/2520 (pow.f32 v 6))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))))
(*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))
2
(+.f32 2 (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))
(+.f32 2 (/.f32 1/3 (*.f32 v v)))
(+.f32 2 (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (.f32 1/3 (/.f32 1 (pow.f32 v 2)))))
(+.f32 2 (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))))
(+.f32 (/.f32 1/60 (pow.f32 v 4)) (+.f32 2 (/.f32 1/3 (*.f32 v v))))
(+.f32 2 (+.f32 (.f32 1/2520 (/.f32 1 (pow.f32 v 6))) (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))))
(+.f32 (+.f32 2 (/.f32 1/2520 (pow.f32 v 6))) (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))))
(+.f32 2 (+.f32 (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))) (/.f32 1/2520 (pow.f32 v 6))))
2
(+.f32 2 (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))
(+.f32 2 (/.f32 1/3 (*.f32 v v)))
(+.f32 2 (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (.f32 1/3 (/.f32 1 (pow.f32 v 2)))))
(+.f32 2 (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))))
(+.f32 (/.f32 1/60 (pow.f32 v 4)) (+.f32 2 (/.f32 1/3 (*.f32 v v))))
(+.f32 2 (+.f32 (.f32 1/2520 (/.f32 1 (pow.f32 v 6))) (+.f32 (.f32 1/60 (/.f32 1 (pow.f32 v 4))) (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))))
(+.f32 (+.f32 2 (/.f32 1/2520 (pow.f32 v 6))) (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))))
(+.f32 2 (+.f32 (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))) (/.f32 1/2520 (pow.f32 v 6))))

prune261.0ms (4.5%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	98	3	101
Fresh	2	13	15
Picked	1	0	1
Done	0	0	0
Total	101	16	117

Error

0.0b

Counts

117 → 16

Alt Table

Status	Error	Program
	0.5b	(/.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)) (.f32 (.f32 (.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2)) 2) v))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (/.f32 1 (/.f32 v cosTheta_O)))) (exp.f32 (log.f32 (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)))))
	0.5b	(.f32 (/.f32 (/.f32 1/2 (sinh.f32 (/.f32 1 v))) (pow.f32 (exp.f32 sinTheta_O) (/.f32 sinTheta_i v))) (.f32 (/.f32 cosTheta_i (*.f32 v v)) cosTheta_O))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (pow.f32 (E.f32) (log.f32 (.f32 (sinh.f32 (/.f32 1 v)) (.f32 2 v)))))
	11.7b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (exp.f32 (log.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.6b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (pow.f32 (cbrt.f32 (/.f32 cosTheta_O v)) 3))) (.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))
▶	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (.f32 (.f32 (pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3) 1/3) 2) v))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (.f32 (.f32 (pow.f32 (sqrt.f32 (sinh.f32 (/.f32 1 v))) 2) 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 (expm1.f32 (log1p.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
	0.6b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (pow.f32 (cbrt.f32 (/.f32 cosTheta_O v)) 3))) (exp.f32 (log.f32 (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)))))
	2.2b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (log.f32 (pow.f32 (exp.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 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (expm1.f32 (log1p.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)))))
	0.6b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (/.f32 1 (pow.f32 (cbrt.f32 v) 2)) (/.f32 (.f32 cosTheta_i cosTheta_O) (cbrt.f32 v)))) (.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.6b	(/.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))

Compiler

Compiled 3985 to 2443 computations (38.7% saved)

localize73.0ms (1.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f32 cosTheta_O (/.f32 1 v))
✓	0.8b	(pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3) 1/3)
✓	0.8b	(pow.f32 (sinh.f32 (/.f32 1 v)) 3)
	0.9b	(sinh.f32 (/.f32 1 v))

series13.0ms (0.2%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
8.0ms	v	@	-inf	(pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3) 1/3)
2.0ms	v	@	0	(pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3) 1/3)
1.0ms	v	@	0	(pow.f32 (sinh.f32 (/.f32 1 v)) 3)
1.0ms	v	@	inf	(pow.f32 (sinh.f32 (/.f32 1 v)) 3)
0.0ms	v	@	-inf	(pow.f32 (sinh.f32 (/.f32 1 v)) 3)

rewrite48.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

704×	`pow1_binary32`
666×	`add-log-exp_binary32`
664×	`log1p-expm1-u_binary32`
664×	`expm1-log1p-u_binary32`
81×	`add-sqr-sqrt_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	15
1	199	15
2	1922	15

Stop Event

1×	node limit

Counts

2 → 46

Calls

Call 1

Inputs
(pow.f32 (sinh.f32 (/.f32 1 v)) 3)
(pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3) 1/3)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (pow.f32 (sinh.f32 (/.f32 1 v)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sinh.f32 (/.f32 1 v)) (pow.f32 (sinh.f32 (/.f32 1 v)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 2) (sinh.f32 (/.f32 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2) (*.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) (pow.f32 (sinh.f32 (/.f32 1 v)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (sinh.f32 (/.f32 1 v))) (*.f32 (sqrt.f32 (sinh.f32 (/.f32 1 v))) (pow.f32 (sinh.f32 (/.f32 1 v)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3/2) (pow.f32 (sinh.f32 (/.f32 1 v)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2) 3) (sinh.f32 (/.f32 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (sqrt.f32 (sinh.f32 (/.f32 1 v))) 3) (pow.f32 (sqrt.f32 (sinh.f32 (/.f32 1 v))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 2) 1) (sinh.f32 (/.f32 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 2) (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2)) (cbrt.f32 (sinh.f32 (/.f32 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 2) (sqrt.f32 (sinh.f32 (/.f32 1 v)))) (sqrt.f32 (sinh.f32 (/.f32 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (pow.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) 3) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) (pow.f32 (sinh.f32 (/.f32 1 v)) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 2) (*.f32 2 (sinh.f32 (/.f32 1 v)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 6))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 3 (log.f32 (sinh.f32 (/.f32 1 v)))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (sinh.f32 (/.f32 1 v)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (/.f32 (exp.f32 (/.f32 1 v)) 2) (/.f32 (exp.f32 (/.f32 -1 v)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (sinh.f32 (/.f32 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sinh.f32 (/.f32 1 v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) (pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2) (cbrt.f32 (sinh.f32 (/.f32 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (sinh.f32 (/.f32 1 v))) (sqrt.f32 (sinh.f32 (/.f32 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 1 1/3) (sinh.f32 (/.f32 1 v)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 2) 1/3) (cbrt.f32 (sinh.f32 (/.f32 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3/2) 1/3) (pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3/2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 2 (*.f32 2 (sinh.f32 (/.f32 1 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (*.f32 2 (sinh.f32 (/.f32 1 v)))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (sinh.f32 (/.f32 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (sinh.f32 (/.f32 1 v)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (sinh.f32 (/.f32 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x sinh.f32 (/.f32 1 v))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (sinh.f32 (/.f32 1 v))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (sinh.f32 (/.f32 1 v))))))))

simplify34.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

829×	`associate-/r*_binary32`
560×	`associate-l_binary32`
376×	`fma-def_binary32`
184×	`associate-/l/_binary32`
174×	`unswap-sqr_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	72	543
1	194	527
2	520	527
3	1648	527

Stop Event

1×	node limit

Counts

70 → 72

Calls

Call 1

Inputs
(*.f32 1/8 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 1/8 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 1/8 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 1/8 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(/.f32 1 (pow.f32 v 3))
(+.f32 (*.f32 1/2 (/.f32 1 (pow.f32 v 5))) (/.f32 1 (pow.f32 v 3)))
(+.f32 (.f32 13/120 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 1/2 (/.f32 1 (pow.f32 v 5))) (/.f32 1 (pow.f32 v 3))))
(+.f32 (.f32 41/3024 (/.f32 1 (pow.f32 v 9))) (+.f32 (.f32 13/120 (/.f32 1 (pow.f32 v 7))) (+.f32 (*.f32 1/2 (/.f32 1 (pow.f32 v 5))) (/.f32 1 (pow.f32 v 3)))))
(/.f32 1 (pow.f32 v 3))
(+.f32 (*.f32 1/2 (/.f32 1 (pow.f32 v 5))) (/.f32 1 (pow.f32 v 3)))
(+.f32 (.f32 13/120 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 1/2 (/.f32 1 (pow.f32 v 5))) (/.f32 1 (pow.f32 v 3))))
(+.f32 (.f32 41/3024 (/.f32 1 (pow.f32 v 9))) (+.f32 (.f32 13/120 (/.f32 1 (pow.f32 v 7))) (+.f32 (*.f32 1/2 (/.f32 1 (pow.f32 v 5))) (/.f32 1 (pow.f32 v 3)))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(/.f32 1 v)
(+.f32 (/.f32 1 v) (*.f32 1/6 (/.f32 1 (pow.f32 v 3))))
(+.f32 (/.f32 1 v) (+.f32 (.f32 1/120 (/.f32 1 (pow.f32 v 5))) (.f32 1/6 (/.f32 1 (pow.f32 v 3)))))
(+.f32 (/.f32 1 v) (+.f32 (.f32 1/5040 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 1/120 (/.f32 1 (pow.f32 v 5))) (*.f32 1/6 (/.f32 1 (pow.f32 v 3))))))
(*.f32 -1 (/.f32 (cbrt.f32 -1) v))
(-.f32 (.f32 1/6 (/.f32 1 (.f32 (pow.f32 v 3) (pow.f32 (cbrt.f32 -1) 2)))) (/.f32 (cbrt.f32 -1) v))
(-.f32 (+.f32 (.f32 1/6 (/.f32 1 (.f32 (pow.f32 v 3) (pow.f32 (cbrt.f32 -1) 2)))) (.f32 1/120 (/.f32 1 (.f32 (pow.f32 v 5) (pow.f32 (cbrt.f32 -1) 2))))) (/.f32 (cbrt.f32 -1) v))
(-.f32 (+.f32 (.f32 1/6 (/.f32 1 (.f32 (pow.f32 v 3) (pow.f32 (cbrt.f32 -1) 2)))) (+.f32 (.f32 1/120 (/.f32 1 (.f32 (pow.f32 v 5) (pow.f32 (cbrt.f32 -1) 2)))) (.f32 79/45360 (/.f32 1 (.f32 (pow.f32 v 7) (pow.f32 (cbrt.f32 -1) 2)))))) (+.f32 (/.f32 (cbrt.f32 -1) v) (.f32 1/648 (/.f32 1 (.f32 (pow.f32 v 7) (pow.f32 (cbrt.f32 -1) 8))))))

Outputs
(*.f32 1/8 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 1/8 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3))
(*.f32 1/8 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3))
(*.f32 1/8 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 1/8 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3))
(*.f32 1/8 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3))
(*.f32 1/8 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 1/8 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3))
(*.f32 1/8 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3))
(*.f32 1/8 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 1/8 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3))
(*.f32 1/8 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3))
(/.f32 1 (pow.f32 v 3))
(+.f32 (*.f32 1/2 (/.f32 1 (pow.f32 v 5))) (/.f32 1 (pow.f32 v 3)))
(+.f32 (/.f32 1 (pow.f32 v 3)) (/.f32 1/2 (pow.f32 v 5)))
(+.f32 (.f32 13/120 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 1/2 (/.f32 1 (pow.f32 v 5))) (/.f32 1 (pow.f32 v 3))))
(+.f32 (+.f32 (/.f32 1 (pow.f32 v 3)) (/.f32 1/2 (pow.f32 v 5))) (/.f32 13/120 (pow.f32 v 7)))
(+.f32 (+.f32 (/.f32 13/120 (pow.f32 v 7)) (/.f32 1 (pow.f32 v 3))) (/.f32 1/2 (pow.f32 v 5)))
(+.f32 (/.f32 1/2 (pow.f32 v 5)) (+.f32 (/.f32 1 (pow.f32 v 3)) (/.f32 13/120 (pow.f32 v 7))))
(+.f32 (.f32 41/3024 (/.f32 1 (pow.f32 v 9))) (+.f32 (.f32 13/120 (/.f32 1 (pow.f32 v 7))) (+.f32 (*.f32 1/2 (/.f32 1 (pow.f32 v 5))) (/.f32 1 (pow.f32 v 3)))))
(+.f32 (+.f32 (+.f32 (/.f32 1 (pow.f32 v 3)) (/.f32 1/2 (pow.f32 v 5))) (/.f32 13/120 (pow.f32 v 7))) (/.f32 41/3024 (pow.f32 v 9)))
(+.f32 (/.f32 13/120 (pow.f32 v 7)) (+.f32 (+.f32 (/.f32 1 (pow.f32 v 3)) (/.f32 1/2 (pow.f32 v 5))) (/.f32 41/3024 (pow.f32 v 9))))
(+.f32 (/.f32 1/2 (pow.f32 v 5)) (+.f32 (+.f32 (/.f32 1 (pow.f32 v 3)) (/.f32 13/120 (pow.f32 v 7))) (/.f32 41/3024 (pow.f32 v 9))))
(+.f32 (/.f32 1/2 (pow.f32 v 5)) (+.f32 (/.f32 1 (pow.f32 v 3)) (+.f32 (/.f32 13/120 (pow.f32 v 7)) (/.f32 41/3024 (pow.f32 v 9)))))
(/.f32 1 (pow.f32 v 3))
(+.f32 (*.f32 1/2 (/.f32 1 (pow.f32 v 5))) (/.f32 1 (pow.f32 v 3)))
(+.f32 (/.f32 1 (pow.f32 v 3)) (/.f32 1/2 (pow.f32 v 5)))
(+.f32 (.f32 13/120 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 1/2 (/.f32 1 (pow.f32 v 5))) (/.f32 1 (pow.f32 v 3))))
(+.f32 (+.f32 (/.f32 1 (pow.f32 v 3)) (/.f32 1/2 (pow.f32 v 5))) (/.f32 13/120 (pow.f32 v 7)))
(+.f32 (+.f32 (/.f32 13/120 (pow.f32 v 7)) (/.f32 1 (pow.f32 v 3))) (/.f32 1/2 (pow.f32 v 5)))
(+.f32 (/.f32 1/2 (pow.f32 v 5)) (+.f32 (/.f32 1 (pow.f32 v 3)) (/.f32 13/120 (pow.f32 v 7))))
(+.f32 (.f32 41/3024 (/.f32 1 (pow.f32 v 9))) (+.f32 (.f32 13/120 (/.f32 1 (pow.f32 v 7))) (+.f32 (*.f32 1/2 (/.f32 1 (pow.f32 v 5))) (/.f32 1 (pow.f32 v 3)))))
(+.f32 (+.f32 (+.f32 (/.f32 1 (pow.f32 v 3)) (/.f32 1/2 (pow.f32 v 5))) (/.f32 13/120 (pow.f32 v 7))) (/.f32 41/3024 (pow.f32 v 9)))
(+.f32 (/.f32 13/120 (pow.f32 v 7)) (+.f32 (+.f32 (/.f32 1 (pow.f32 v 3)) (/.f32 1/2 (pow.f32 v 5))) (/.f32 41/3024 (pow.f32 v 9))))
(+.f32 (/.f32 1/2 (pow.f32 v 5)) (+.f32 (+.f32 (/.f32 1 (pow.f32 v 3)) (/.f32 13/120 (pow.f32 v 7))) (/.f32 41/3024 (pow.f32 v 9))))
(+.f32 (/.f32 1/2 (pow.f32 v 5)) (+.f32 (/.f32 1 (pow.f32 v 3)) (+.f32 (/.f32 13/120 (pow.f32 v 7)) (/.f32 41/3024 (pow.f32 v 9)))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 1/2)
(*.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 1/2)
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 1/2)
(*.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 1/2)
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 1/2)
(*.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 1/2)
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))))
(*.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 1/2)
(*.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 1/2)
(/.f32 1 v)
(+.f32 (/.f32 1 v) (*.f32 1/6 (/.f32 1 (pow.f32 v 3))))
(+.f32 (/.f32 1 v) (/.f32 1/6 (pow.f32 v 3)))
(+.f32 (/.f32 1 v) (+.f32 (.f32 1/120 (/.f32 1 (pow.f32 v 5))) (.f32 1/6 (/.f32 1 (pow.f32 v 3)))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/120 (pow.f32 v 5))))
(+.f32 (/.f32 1/120 (pow.f32 v 5)) (+.f32 (/.f32 1 v) (/.f32 1/6 (pow.f32 v 3))))
(+.f32 (/.f32 1 v) (+.f32 (.f32 1/5040 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 1/120 (/.f32 1 (pow.f32 v 5))) (*.f32 1/6 (/.f32 1 (pow.f32 v 3))))))
(+.f32 (/.f32 1 v) (+.f32 (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/120 (pow.f32 v 5))) (/.f32 1/5040 (pow.f32 v 7))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (+.f32 (/.f32 1/120 (pow.f32 v 5)) (/.f32 1/5040 (pow.f32 v 7)))))
(+.f32 (/.f32 1/6 (pow.f32 v 3)) (+.f32 (/.f32 1/120 (pow.f32 v 5)) (+.f32 (/.f32 1 v) (/.f32 1/5040 (pow.f32 v 7)))))
(*.f32 -1 (/.f32 (cbrt.f32 -1) v))
(neg.f32 (/.f32 (cbrt.f32 -1) v))
(/.f32 (neg.f32 (cbrt.f32 -1)) v)
(-.f32 (.f32 1/6 (/.f32 1 (.f32 (pow.f32 v 3) (pow.f32 (cbrt.f32 -1) 2)))) (/.f32 (cbrt.f32 -1) v))
(-.f32 (/.f32 1/6 (*.f32 (pow.f32 v 3) (pow.f32 (cbrt.f32 -1) 2))) (/.f32 (cbrt.f32 -1) v))
(-.f32 (+.f32 (.f32 1/6 (/.f32 1 (.f32 (pow.f32 v 3) (pow.f32 (cbrt.f32 -1) 2)))) (.f32 1/120 (/.f32 1 (.f32 (pow.f32 v 5) (pow.f32 (cbrt.f32 -1) 2))))) (/.f32 (cbrt.f32 -1) v))
(+.f32 (/.f32 1/6 (.f32 (pow.f32 v 3) (pow.f32 (cbrt.f32 -1) 2))) (-.f32 (/.f32 1/120 (.f32 (pow.f32 v 5) (pow.f32 (cbrt.f32 -1) 2))) (/.f32 (cbrt.f32 -1) v)))
(-.f32 (+.f32 (.f32 1/6 (/.f32 1 (.f32 (pow.f32 v 3) (pow.f32 (cbrt.f32 -1) 2)))) (+.f32 (.f32 1/120 (/.f32 1 (.f32 (pow.f32 v 5) (pow.f32 (cbrt.f32 -1) 2)))) (.f32 79/45360 (/.f32 1 (.f32 (pow.f32 v 7) (pow.f32 (cbrt.f32 -1) 2)))))) (+.f32 (/.f32 (cbrt.f32 -1) v) (.f32 1/648 (/.f32 1 (.f32 (pow.f32 v 7) (pow.f32 (cbrt.f32 -1) 8))))))
(+.f32 (/.f32 1/6 (.f32 (pow.f32 v 3) (pow.f32 (cbrt.f32 -1) 2))) (-.f32 (+.f32 (/.f32 1/120 (.f32 (pow.f32 v 5) (pow.f32 (cbrt.f32 -1) 2))) (/.f32 79/45360 (.f32 (pow.f32 v 7) (pow.f32 (cbrt.f32 -1) 2)))) (+.f32 (/.f32 (cbrt.f32 -1) v) (/.f32 1/648 (.f32 (pow.f32 v 7) (pow.f32 (cbrt.f32 -1) 8))))))
(+.f32 (+.f32 (/.f32 1/120 (.f32 (pow.f32 v 5) (pow.f32 (cbrt.f32 -1) 2))) (/.f32 79/45360 (.f32 (pow.f32 v 7) (pow.f32 (cbrt.f32 -1) 2)))) (-.f32 (/.f32 1/6 (.f32 (pow.f32 v 3) (pow.f32 (cbrt.f32 -1) 2))) (+.f32 (/.f32 (cbrt.f32 -1) v) (/.f32 1/648 (.f32 (pow.f32 v 7) (pow.f32 (cbrt.f32 -1) 8))))))
(+.f32 (+.f32 (/.f32 1/6 (.f32 (pow.f32 v 3) (pow.f32 (cbrt.f32 -1) 2))) (/.f32 1/120 (.f32 (pow.f32 v 5) (pow.f32 (cbrt.f32 -1) 2)))) (-.f32 (/.f32 79/45360 (*.f32 (pow.f32 v 7) (pow.f32 (cbrt.f32 -1) 2))) (+.f32 (/.f32 (cbrt.f32 -1) v) (/.f32 (/.f32 1/648 (pow.f32 (cbrt.f32 -1) 2)) (pow.f32 v 7)))))

prune374.0ms (6.5%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	127	1	128
Fresh	0	15	15
Picked	0	1	1
Done	0	0	0
Total	127	17	144

Error

0.0b

Counts

144 → 17

Alt Table

Status	Error	Program
	0.5b	(/.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)) (.f32 (.f32 (.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2)) 2) v))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (/.f32 1 (/.f32 v cosTheta_O)))) (exp.f32 (log.f32 (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)))))
	0.5b	(.f32 (/.f32 (/.f32 1/2 (sinh.f32 (/.f32 1 v))) (pow.f32 (exp.f32 sinTheta_O) (/.f32 sinTheta_i v))) (.f32 (/.f32 cosTheta_i (*.f32 v v)) cosTheta_O))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (pow.f32 (E.f32) (log.f32 (.f32 (sinh.f32 (/.f32 1 v)) (.f32 2 v)))))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (.f32 (.f32 (pow.f32 (expm1.f32 (log1p.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3))) 1/3) 2) v))
	11.7b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (exp.f32 (log.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)))) (.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.6b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (pow.f32 (cbrt.f32 (/.f32 cosTheta_O v)) 3))) (.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))
✓	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (.f32 (.f32 (pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3) 1/3) 2) v))
	0.5b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (.f32 (.f32 (pow.f32 (sqrt.f32 (sinh.f32 (/.f32 1 v))) 2) 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 (expm1.f32 (log1p.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
	0.6b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (pow.f32 (cbrt.f32 (/.f32 cosTheta_O v)) 3))) (exp.f32 (log.f32 (.f32 v (*.f32 (sinh.f32 (/.f32 1 v)) 2)))))
	2.2b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (log.f32 (pow.f32 (exp.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 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (expm1.f32 (log1p.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)))))
	0.6b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (/.f32 1 (pow.f32 (cbrt.f32 v) 2)) (/.f32 (.f32 cosTheta_i cosTheta_O) (cbrt.f32 v)))) (.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v))
	0.6b	(/.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))

Compiler

Compiled 4797 to 3020 computations (37% saved)

regimes543.0ms (9.4%)

Accuracy

Total 0.3b remaining (81.7%)

Threshold costs 0.3b (81.7%)

Counts

124 → 1

Compiler

Compiled 3287 to 1657 computations (49.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	37
1	35	37
2	45	37
3	52	37
4	57	37
5	59	37

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 cosTheta_i (.f32 cosTheta_O (/.f32 1 v)))) (pow.f32 (.f32 (sinh.f32 (/.f32 1 v)) (.f32 2 v)) 1))

Outputs

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

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

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

end878.0ms (15.2%)

Stop Event

1×

fuel

Remove

(sort sinTheta_i sinTheta_O)

Compiler

Compiled 767 to 564 computations (26.5% saved)

Details

analyze1.0ms (0%)

sample2.4s (41.5%)

preprocess32.0ms (0.6%)

simplify13.0ms (0.2%)

prune4.0ms (0.1%)

localize58.0ms (1%)

series17.0ms (0.3%)

rewrite66.0ms (1.1%)

simplify48.0ms (0.8%)

prune329.0ms (5.7%)

localize60.0ms (1%)

series3.0ms (0.1%)

rewrite34.0ms (0.6%)

simplify7.0ms (0.1%)

prune316.0ms (5.5%)

localize72.0ms (1.3%)

series2.0ms (0%)

rewrite39.0ms (0.7%)

simplify46.0ms (0.8%)

prune261.0ms (4.5%)

localize73.0ms (1.3%)

series13.0ms (0.2%)

rewrite48.0ms (0.8%)

simplify34.0ms (0.6%)

prune374.0ms (6.5%)

regimes543.0ms (9.4%)

simplify3.0ms (0%)

end878.0ms (15.2%)

Profiling