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.5s (43.5%)

Results

2.5s

8256×

body

128

valid

preprocess32.0ms (0.5%)

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)

simplify14.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 (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))
	0.6b	(.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))

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)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v))

0.6b

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

Compiler

Compiled 154 to 106 computations (31.2% saved)

localize64.0ms (1.1%)

Local error

Found 4 expressions with local error:

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

series18.0ms (0.3%)

Counts

4 → 24

Calls

24 calls:

Time	Variable		Point	Expression
2.0ms	cosTheta_i	@	inf	(/.f32 (*.f32 cosTheta_i cosTheta_O) v)
2.0ms	cosTheta_O	@	0	(/.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	sinTheta_i	@	inf	(/.f32 (*.f32 sinTheta_i sinTheta_O) v)

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

simplify27.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

509×	`unswap-sqr_binary32`
478×	`times-frac_binary32`
370×	`fma-def_binary32`
327×	`associate-*l/_binary32`
298×	`associate-/r*_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	50	408
1	121	392
2	270	392
3	624	392
4	1896	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/6 (/.f32 1 (pow.f32 v 3))) (+.f32 (/.f32 1 v) (.f32 1/120 (/.f32 1 (pow.f32 v 5)))))
(+.f32 (.f32 1/6 (/.f32 1 (pow.f32 v 3))) (+.f32 (/.f32 1 v) (+.f32 (.f32 1/5040 (/.f32 1 (pow.f32 v 7))) (*.f32 1/120 (/.f32 1 (pow.f32 v 5))))))
(/.f32 1 v)
(+.f32 (/.f32 1 v) (*.f32 1/6 (/.f32 1 (pow.f32 v 3))))
(+.f32 (.f32 1/6 (/.f32 1 (pow.f32 v 3))) (+.f32 (/.f32 1 v) (.f32 1/120 (/.f32 1 (pow.f32 v 5)))))
(+.f32 (.f32 1/6 (/.f32 1 (pow.f32 v 3))) (+.f32 (/.f32 1 v) (+.f32 (.f32 1/5040 (/.f32 1 (pow.f32 v 7))) (*.f32 1/120 (/.f32 1 (pow.f32 v 5))))))
(*.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/3 (/.f32 1 (pow.f32 v 2))) (.f32 1/60 (/.f32 1 (pow.f32 v 4)))))
(+.f32 (.f32 1/2520 (/.f32 1 (pow.f32 v 6))) (+.f32 2 (+.f32 (.f32 1/3 (/.f32 1 (pow.f32 v 2))) (*.f32 1/60 (/.f32 1 (pow.f32 v 4))))))
2
(+.f32 2 (*.f32 1/3 (/.f32 1 (pow.f32 v 2))))
(+.f32 2 (+.f32 (.f32 1/3 (/.f32 1 (pow.f32 v 2))) (.f32 1/60 (/.f32 1 (pow.f32 v 4)))))
(+.f32 (.f32 1/2520 (/.f32 1 (pow.f32 v 6))) (+.f32 2 (+.f32 (.f32 1/3 (/.f32 1 (pow.f32 v 2))) (*.f32 1/60 (/.f32 1 (pow.f32 v 4))))))

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/6 (/.f32 1 (pow.f32 v 3))) (+.f32 (/.f32 1 v) (.f32 1/120 (/.f32 1 (pow.f32 v 5)))))
(+.f32 (/.f32 1/6 (pow.f32 v 3)) (+.f32 (/.f32 1 v) (/.f32 1/120 (pow.f32 v 5))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/120 (pow.f32 v 5))))
(+.f32 (.f32 1/6 (/.f32 1 (pow.f32 v 3))) (+.f32 (/.f32 1 v) (+.f32 (.f32 1/5040 (/.f32 1 (pow.f32 v 7))) (*.f32 1/120 (/.f32 1 (pow.f32 v 5))))))
(+.f32 (/.f32 1/6 (pow.f32 v 3)) (+.f32 (/.f32 1 v) (+.f32 (/.f32 1/120 (pow.f32 v 5)) (/.f32 1/5040 (pow.f32 v 7)))))
(+.f32 (/.f32 1 v) (+.f32 (+.f32 (/.f32 1/120 (pow.f32 v 5)) (/.f32 1/5040 (pow.f32 v 7))) (/.f32 1/6 (pow.f32 v 3))))
(+.f32 (+.f32 (/.f32 1 v) (/.f32 1/120 (pow.f32 v 5))) (+.f32 (/.f32 1/5040 (pow.f32 v 7)) (/.f32 1/6 (pow.f32 v 3))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/5040 (pow.f32 v 7)) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/120 (pow.f32 v 5)))))
(+.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 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/6 (/.f32 1 (pow.f32 v 3))) (+.f32 (/.f32 1 v) (.f32 1/120 (/.f32 1 (pow.f32 v 5)))))
(+.f32 (/.f32 1/6 (pow.f32 v 3)) (+.f32 (/.f32 1 v) (/.f32 1/120 (pow.f32 v 5))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/120 (pow.f32 v 5))))
(+.f32 (.f32 1/6 (/.f32 1 (pow.f32 v 3))) (+.f32 (/.f32 1 v) (+.f32 (.f32 1/5040 (/.f32 1 (pow.f32 v 7))) (*.f32 1/120 (/.f32 1 (pow.f32 v 5))))))
(+.f32 (/.f32 1/6 (pow.f32 v 3)) (+.f32 (/.f32 1 v) (+.f32 (/.f32 1/120 (pow.f32 v 5)) (/.f32 1/5040 (pow.f32 v 7)))))
(+.f32 (/.f32 1 v) (+.f32 (+.f32 (/.f32 1/120 (pow.f32 v 5)) (/.f32 1/5040 (pow.f32 v 7))) (/.f32 1/6 (pow.f32 v 3))))
(+.f32 (+.f32 (/.f32 1 v) (/.f32 1/120 (pow.f32 v 5))) (+.f32 (/.f32 1/5040 (pow.f32 v 7)) (/.f32 1/6 (pow.f32 v 3))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/5040 (pow.f32 v 7)) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/120 (pow.f32 v 5)))))
(+.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 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/3 (/.f32 1 (pow.f32 v 2))) (.f32 1/60 (/.f32 1 (pow.f32 v 4)))))
(+.f32 2 (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))))
(+.f32 (+.f32 2 (/.f32 1/3 (*.f32 v v))) (/.f32 1/60 (pow.f32 v 4)))
(+.f32 (/.f32 1/3 (*.f32 v v)) (+.f32 2 (/.f32 1/60 (pow.f32 v 4))))
(+.f32 (.f32 1/2520 (/.f32 1 (pow.f32 v 6))) (+.f32 2 (+.f32 (.f32 1/3 (/.f32 1 (pow.f32 v 2))) (*.f32 1/60 (/.f32 1 (pow.f32 v 4))))))
(+.f32 (+.f32 2 (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4)))) (/.f32 1/2520 (pow.f32 v 6)))
(+.f32 (+.f32 (+.f32 2 (/.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)))))
(+.f32 (+.f32 2 (/.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/3 (/.f32 1 (pow.f32 v 2))) (.f32 1/60 (/.f32 1 (pow.f32 v 4)))))
(+.f32 2 (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4))))
(+.f32 (+.f32 2 (/.f32 1/3 (*.f32 v v))) (/.f32 1/60 (pow.f32 v 4)))
(+.f32 (/.f32 1/3 (*.f32 v v)) (+.f32 2 (/.f32 1/60 (pow.f32 v 4))))
(+.f32 (.f32 1/2520 (/.f32 1 (pow.f32 v 6))) (+.f32 2 (+.f32 (.f32 1/3 (/.f32 1 (pow.f32 v 2))) (*.f32 1/60 (/.f32 1 (pow.f32 v 4))))))
(+.f32 (+.f32 2 (+.f32 (/.f32 1/3 (*.f32 v v)) (/.f32 1/60 (pow.f32 v 4)))) (/.f32 1/2520 (pow.f32 v 6)))
(+.f32 (+.f32 (+.f32 2 (/.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)))))
(+.f32 (+.f32 2 (/.f32 1/3 (*.f32 v v))) (+.f32 (/.f32 1/60 (pow.f32 v 4)) (/.f32 1/2520 (pow.f32 v 6))))

prune277.0ms (4.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	136	13	149
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	137	14	151

Error

0.1b

Counts

151 → 14

Alt Table

Status	Error	Program
	12.7b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (cbrt.f32 (pow.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.6b	(/.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.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 (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)) (.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 1 (cbrt.f32 (.f32 v v))) (/.f32 (.f32 cosTheta_i cosTheta_O) (cbrt.f32 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)) (cbrt.f32 (.f32 (pow.f32 v 3) (pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) 3))))
	0.6b	(/.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 (sinh.f32 (/.f32 1 v)) (*.f32 v 2)))) 1))
	0.7b	(/.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 (sinh.f32 (/.f32 1 v)) (*.f32 v 2))) 3))
	0.6b	(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (pow.f32 (cbrt.f32 (.f32 (/.f32 cosTheta_i v) cosTheta_O)) 3)) (.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)) (.f32 (*.f32 (pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3) 1/3) 2) v))
	0.6b	(/.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))
	12.0b	(/.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.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))
	0.6b	(.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))

Compiler

Compiled 4882 to 2463 computations (49.5% saved)

localize62.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v)
✓	0.3b	(*.f32 cosTheta_i (/.f32 1 v))
	0.3b	(/.f32 (*.f32 sinTheta_i sinTheta_O) 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_i	@	0	(*.f32 cosTheta_i (/.f32 1 v))
1.0ms	v	@	inf	(*.f32 cosTheta_i (/.f32 1 v))
0.0ms	cosTheta_i	@	-inf	(*.f32 cosTheta_i (/.f32 1 v))
0.0ms	v	@	0	(*.f32 cosTheta_i (/.f32 1 v))
0.0ms	v	@	-inf	(*.f32 cosTheta_i (/.f32 1 v))

rewrite30.0ms (0.5%)

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_i (/.f32 1 v))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 1 (/.f32 cosTheta_i v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 cosTheta_i v)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 v cosTheta_i))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (pow.f32 (cbrt.f32 cosTheta_i) 2) (/.f32 v (cbrt.f32 cosTheta_i)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (sqrt.f32 cosTheta_i) (/.f32 v (sqrt.f32 cosTheta_i)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 cosTheta_i) (neg.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (/.f32 cosTheta_i (sqrt.f32 v)) (sqrt.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (/.f32 cosTheta_i 1) v)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (/.f32 cosTheta_i (pow.f32 (cbrt.f32 v) 2)) (cbrt.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 -1 cosTheta_i) (neg.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 cosTheta_i -1) (neg.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 cosTheta_i v) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (/.f32 cosTheta_i v) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (/.f32 cosTheta_i v)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (/.f32 cosTheta_i v)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (/.f32 cosTheta_i v) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (/.f32 cosTheta_i v)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (/.f32 cosTheta_i v) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (/.f32 (pow.f32 cosTheta_i 3) (pow.f32 v 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 cosTheta_i 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_i 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (/.f32 cosTheta_i v)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (/.f32 cosTheta_i v)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (/.f32 cosTheta_i v)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 1 (/.f32 cosTheta_i v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 cosTheta_i v)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 v cosTheta_i))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (pow.f32 (cbrt.f32 cosTheta_i) 2) (/.f32 v (cbrt.f32 cosTheta_i)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (sqrt.f32 cosTheta_i) (/.f32 v (sqrt.f32 cosTheta_i)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 cosTheta_i) (neg.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (/.f32 cosTheta_i (sqrt.f32 v)) (sqrt.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (/.f32 cosTheta_i 1) v)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (/.f32 cosTheta_i (pow.f32 (cbrt.f32 v) 2)) (cbrt.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 -1 cosTheta_i) (neg.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 cosTheta_i -1) (neg.f32 v))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 cosTheta_i v) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (/.f32 cosTheta_i v) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (/.f32 cosTheta_i v)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (/.f32 cosTheta_i v)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (/.f32 cosTheta_i v) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (/.f32 cosTheta_i v)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (/.f32 cosTheta_i v) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (/.f32 (pow.f32 cosTheta_i 3) (pow.f32 v 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 cosTheta_i 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_i 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (/.f32 cosTheta_i v)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (/.f32 cosTheta_i v)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (/.f32 cosTheta_i 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_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)

Outputs
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)
(/.f32 cosTheta_i v)

prune313.0ms (5.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	119	8	127
Fresh	8	5	13
Picked	1	0	1
Done	0	0	0
Total	128	13	141

Error

0.1b

Counts

141 → 13

Alt Table

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

Compiler

Compiled 4402 to 2657 computations (39.6% saved)

localize76.0ms (1.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
✓	0.4b	(.f32 (pow.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) 3) (pow.f32 v 3))
✓	0.7b	(pow.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) 3)
	0.9b	(sinh.f32 (/.f32 1 v))

series9.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite45.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

877×	`log1p-expm1-u_binary32`
877×	`expm1-log1p-u_binary32`
107×	`add-sqr-sqrt_binary32`
102×	`pow1_binary32`
101×	`add-cbrt-cube_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	27
1	240	27
2	2618	27

Stop Event

1×	node limit

Counts

2 → 43

Calls

Call 1

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

Outputs

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

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

simplify35.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

957×	`fma-def_binary32`
570×	`associate-l_binary32`
456×	`associate-r_binary32`
321×	`associate-/r*_binary32`
178×	`distribute-lft-in_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	51	456
1	129	440
2	319	440
3	987	440
4	4296	440

Stop Event

1×	node limit

Counts

67 → 61

Calls

Call 1

Inputs
(pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3)
(pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3)
(pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3)
(pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3)
(/.f32 8 (pow.f32 v 3))
(+.f32 (.f32 4 (/.f32 1 (pow.f32 v 5))) (.f32 8 (/.f32 1 (pow.f32 v 3))))
(+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 8 (/.f32 1 (pow.f32 v 3))) (*.f32 4 (/.f32 1 (pow.f32 v 5)))))
(+.f32 (.f32 41/378 (/.f32 1 (pow.f32 v 9))) (+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 8 (/.f32 1 (pow.f32 v 3))) (.f32 4 (/.f32 1 (pow.f32 v 5))))))
(/.f32 8 (pow.f32 v 3))
(+.f32 (.f32 4 (/.f32 1 (pow.f32 v 5))) (.f32 8 (/.f32 1 (pow.f32 v 3))))
(+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 8 (/.f32 1 (pow.f32 v 3))) (*.f32 4 (/.f32 1 (pow.f32 v 5)))))
(+.f32 (.f32 41/378 (/.f32 1 (pow.f32 v 9))) (+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 8 (/.f32 1 (pow.f32 v 3))) (.f32 4 (/.f32 1 (pow.f32 v 5))))))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
8
(+.f32 8 (*.f32 4 (/.f32 1 (pow.f32 v 2))))
(+.f32 8 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (.f32 13/15 (/.f32 1 (pow.f32 v 4)))))
(+.f32 8 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 4))) (*.f32 41/378 (/.f32 1 (pow.f32 v 6))))))
8
(+.f32 8 (*.f32 4 (/.f32 1 (pow.f32 v 2))))
(+.f32 8 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (.f32 13/15 (/.f32 1 (pow.f32 v 4)))))
(+.f32 8 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 4))) (*.f32 41/378 (/.f32 1 (pow.f32 v 6))))))

Outputs
(pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3)
(pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3)
(pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3)
(pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3)
(pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3)
(pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3)
(pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3)
(pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3)
(pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3)
(pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3)
(pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3)
(pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3)
(/.f32 8 (pow.f32 v 3))
(+.f32 (.f32 4 (/.f32 1 (pow.f32 v 5))) (.f32 8 (/.f32 1 (pow.f32 v 3))))
(+.f32 (/.f32 4 (pow.f32 v 5)) (/.f32 8 (pow.f32 v 3)))
(+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 8 (/.f32 1 (pow.f32 v 3))) (*.f32 4 (/.f32 1 (pow.f32 v 5)))))
(+.f32 (/.f32 13/15 (pow.f32 v 7)) (+.f32 (/.f32 4 (pow.f32 v 5)) (/.f32 8 (pow.f32 v 3))))
(+.f32 (/.f32 8 (pow.f32 v 3)) (+.f32 (/.f32 4 (pow.f32 v 5)) (/.f32 13/15 (pow.f32 v 7))))
(+.f32 (/.f32 4 (pow.f32 v 5)) (+.f32 (/.f32 8 (pow.f32 v 3)) (/.f32 13/15 (pow.f32 v 7))))
(+.f32 (.f32 41/378 (/.f32 1 (pow.f32 v 9))) (+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 8 (/.f32 1 (pow.f32 v 3))) (.f32 4 (/.f32 1 (pow.f32 v 5))))))
(+.f32 (+.f32 (/.f32 13/15 (pow.f32 v 7)) (+.f32 (/.f32 4 (pow.f32 v 5)) (/.f32 8 (pow.f32 v 3)))) (/.f32 41/378 (pow.f32 v 9)))
(+.f32 (+.f32 (/.f32 4 (pow.f32 v 5)) (/.f32 8 (pow.f32 v 3))) (+.f32 (/.f32 13/15 (pow.f32 v 7)) (/.f32 41/378 (pow.f32 v 9))))
(+.f32 (/.f32 8 (pow.f32 v 3)) (+.f32 (/.f32 13/15 (pow.f32 v 7)) (+.f32 (/.f32 4 (pow.f32 v 5)) (/.f32 41/378 (pow.f32 v 9)))))
(+.f32 (/.f32 4 (pow.f32 v 5)) (+.f32 (/.f32 41/378 (pow.f32 v 9)) (+.f32 (/.f32 8 (pow.f32 v 3)) (/.f32 13/15 (pow.f32 v 7)))))
(/.f32 8 (pow.f32 v 3))
(+.f32 (.f32 4 (/.f32 1 (pow.f32 v 5))) (.f32 8 (/.f32 1 (pow.f32 v 3))))
(+.f32 (/.f32 4 (pow.f32 v 5)) (/.f32 8 (pow.f32 v 3)))
(+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 8 (/.f32 1 (pow.f32 v 3))) (*.f32 4 (/.f32 1 (pow.f32 v 5)))))
(+.f32 (/.f32 13/15 (pow.f32 v 7)) (+.f32 (/.f32 4 (pow.f32 v 5)) (/.f32 8 (pow.f32 v 3))))
(+.f32 (/.f32 8 (pow.f32 v 3)) (+.f32 (/.f32 4 (pow.f32 v 5)) (/.f32 13/15 (pow.f32 v 7))))
(+.f32 (/.f32 4 (pow.f32 v 5)) (+.f32 (/.f32 8 (pow.f32 v 3)) (/.f32 13/15 (pow.f32 v 7))))
(+.f32 (.f32 41/378 (/.f32 1 (pow.f32 v 9))) (+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 7))) (+.f32 (.f32 8 (/.f32 1 (pow.f32 v 3))) (.f32 4 (/.f32 1 (pow.f32 v 5))))))
(+.f32 (+.f32 (/.f32 13/15 (pow.f32 v 7)) (+.f32 (/.f32 4 (pow.f32 v 5)) (/.f32 8 (pow.f32 v 3)))) (/.f32 41/378 (pow.f32 v 9)))
(+.f32 (+.f32 (/.f32 4 (pow.f32 v 5)) (/.f32 8 (pow.f32 v 3))) (+.f32 (/.f32 13/15 (pow.f32 v 7)) (/.f32 41/378 (pow.f32 v 9))))
(+.f32 (/.f32 8 (pow.f32 v 3)) (+.f32 (/.f32 13/15 (pow.f32 v 7)) (+.f32 (/.f32 4 (pow.f32 v 5)) (/.f32 41/378 (pow.f32 v 9)))))
(+.f32 (/.f32 4 (pow.f32 v 5)) (+.f32 (/.f32 41/378 (pow.f32 v 9)) (+.f32 (/.f32 8 (pow.f32 v 3)) (/.f32 13/15 (pow.f32 v 7)))))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3) (pow.f32 v 3))
(*.f32 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3) (pow.f32 v 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3) (pow.f32 v 3))
(*.f32 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3) (pow.f32 v 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3) (pow.f32 v 3))
(*.f32 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3) (pow.f32 v 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3) (pow.f32 v 3))
(*.f32 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3) (pow.f32 v 3))
8
(+.f32 8 (*.f32 4 (/.f32 1 (pow.f32 v 2))))
(+.f32 8 (/.f32 4 (*.f32 v v)))
(+.f32 8 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (.f32 13/15 (/.f32 1 (pow.f32 v 4)))))
(+.f32 8 (+.f32 (/.f32 4 (*.f32 v v)) (/.f32 13/15 (pow.f32 v 4))))
(+.f32 (/.f32 4 (*.f32 v v)) (+.f32 8 (/.f32 13/15 (pow.f32 v 4))))
(+.f32 8 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 4))) (*.f32 41/378 (/.f32 1 (pow.f32 v 6))))))
(+.f32 8 (+.f32 (/.f32 4 (*.f32 v v)) (+.f32 (/.f32 13/15 (pow.f32 v 4)) (/.f32 41/378 (pow.f32 v 6)))))
(+.f32 (/.f32 13/15 (pow.f32 v 4)) (+.f32 (+.f32 8 (/.f32 4 (*.f32 v v))) (/.f32 41/378 (pow.f32 v 6))))
(+.f32 (+.f32 8 (/.f32 4 (*.f32 v v))) (+.f32 (/.f32 13/15 (pow.f32 v 4)) (/.f32 41/378 (pow.f32 v 6))))
8
(+.f32 8 (*.f32 4 (/.f32 1 (pow.f32 v 2))))
(+.f32 8 (/.f32 4 (*.f32 v v)))
(+.f32 8 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (.f32 13/15 (/.f32 1 (pow.f32 v 4)))))
(+.f32 8 (+.f32 (/.f32 4 (*.f32 v v)) (/.f32 13/15 (pow.f32 v 4))))
(+.f32 (/.f32 4 (*.f32 v v)) (+.f32 8 (/.f32 13/15 (pow.f32 v 4))))
(+.f32 8 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 4))) (*.f32 41/378 (/.f32 1 (pow.f32 v 6))))))
(+.f32 8 (+.f32 (/.f32 4 (*.f32 v v)) (+.f32 (/.f32 13/15 (pow.f32 v 4)) (/.f32 41/378 (pow.f32 v 6)))))
(+.f32 (/.f32 13/15 (pow.f32 v 4)) (+.f32 (+.f32 8 (/.f32 4 (*.f32 v v))) (/.f32 41/378 (pow.f32 v 6))))
(+.f32 (+.f32 8 (/.f32 4 (*.f32 v v))) (+.f32 (/.f32 13/15 (pow.f32 v 4)) (/.f32 41/378 (pow.f32 v 6))))

prune320.0ms (5.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	138	1	139
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	139	13	152

Error

0.1b

Counts

152 → 13

Alt Table

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

Compiler

Compiled 5520 to 3633 computations (34.2% saved)

localize87.0ms (1.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
✓	0.8b	(pow.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) 3)
	0.9b	(sinh.f32 (/.f32 1 v))
✓	1.3b	(exp.f32 (log1p.f32 (pow.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) 3)))

series5.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	v	@	0	(exp.f32 (log1p.f32 (pow.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) 3)))
1.0ms	v	@	inf	(exp.f32 (log1p.f32 (pow.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) 3)))
1.0ms	v	@	0	(pow.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) 3)
0.0ms	v	@	-inf	(exp.f32 (log1p.f32 (pow.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) 3)))
0.0ms	v	@	inf	(pow.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) 3)

rewrite51.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

529×	`log-prod_binary32`
292×	`prod-diff_binary32`
191×	`expm1-udef_binary32`
191×	`log1p-udef_binary32`
164×	`log-pow_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	34
1	249	33
2	2794	31

Stop Event

1×	node limit

Counts

2 → 85

Calls

Call 1

Inputs
(exp.f32 (log1p.f32 (pow.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) 3)))
(pow.f32 (.f32 v (.f32 (sinh.f32 (/.f32 1 v)) 2)) 3)

Outputs

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

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

simplify31.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

883×	`distribute-rgt-in_binary32`
365×	`fma-def_binary32`
272×	`associate-l_binary32`
252×	`associate-r_binary32`
193×	`unswap-sqr_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	59	417
1	165	397
2	530	397
3	2791	397

Stop Event

1×	node limit

Counts

109 → 106

Calls

Call 1

Inputs
1
(+.f32 1 (*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3)))
(+.f32 1 (+.f32 (.f32 (pow.f32 v 6) (+.f32 (.f32 1/2 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 6)) (.f32 -1/2 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 6)))) (.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))))
(+.f32 1 (+.f32 (.f32 (pow.f32 v 6) (+.f32 (.f32 1/2 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 6)) (.f32 -1/2 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 6)))) (+.f32 (.f32 (pow.f32 v 9) (+.f32 (.f32 1/3 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 9)) (+.f32 (.f32 -1/2 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 9)) (.f32 1/6 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 9))))) (.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3)))))
9
(+.f32 9 (*.f32 4 (/.f32 1 (pow.f32 v 2))))
(+.f32 9 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (.f32 13/15 (/.f32 1 (pow.f32 v 4)))))
(+.f32 9 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 4))) (*.f32 41/378 (/.f32 1 (pow.f32 v 6))))))
9
(+.f32 9 (*.f32 4 (/.f32 1 (pow.f32 v 2))))
(+.f32 9 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (.f32 13/15 (/.f32 1 (pow.f32 v 4)))))
(+.f32 9 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 4))) (*.f32 41/378 (/.f32 1 (pow.f32 v 6))))))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
8
(+.f32 8 (*.f32 4 (/.f32 1 (pow.f32 v 2))))
(+.f32 8 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (.f32 13/15 (/.f32 1 (pow.f32 v 4)))))
(+.f32 8 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 4))) (*.f32 41/378 (/.f32 1 (pow.f32 v 6))))))
8
(+.f32 8 (*.f32 4 (/.f32 1 (pow.f32 v 2))))
(+.f32 8 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (.f32 13/15 (/.f32 1 (pow.f32 v 4)))))
(+.f32 8 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 4))) (*.f32 41/378 (/.f32 1 (pow.f32 v 6))))))

Outputs
1
(+.f32 1 (*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3)))
(+.f32 1 (*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3)))
(fma.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3) 1)
(+.f32 1 (+.f32 (.f32 (pow.f32 v 6) (+.f32 (.f32 1/2 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 6)) (.f32 -1/2 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 6)))) (.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))))
(+.f32 1 (*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3)))
(fma.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3) 1)
(+.f32 1 (+.f32 (.f32 (pow.f32 v 6) (+.f32 (.f32 1/2 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 6)) (.f32 -1/2 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 6)))) (+.f32 (.f32 (pow.f32 v 9) (+.f32 (.f32 1/3 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 9)) (+.f32 (.f32 -1/2 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 9)) (.f32 1/6 (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 9))))) (.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3)))))
(+.f32 1 (*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3)))
(fma.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3) 1)
9
(+.f32 9 (*.f32 4 (/.f32 1 (pow.f32 v 2))))
(+.f32 9 (/.f32 4 (*.f32 v v)))
(+.f32 9 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (.f32 13/15 (/.f32 1 (pow.f32 v 4)))))
(+.f32 (+.f32 9 (/.f32 4 (*.f32 v v))) (/.f32 13/15 (pow.f32 v 4)))
(+.f32 9 (+.f32 (/.f32 4 (*.f32 v v)) (/.f32 13/15 (pow.f32 v 4))))
(+.f32 9 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 4))) (*.f32 41/378 (/.f32 1 (pow.f32 v 6))))))
(+.f32 9 (+.f32 (/.f32 4 (*.f32 v v)) (+.f32 (/.f32 13/15 (pow.f32 v 4)) (/.f32 41/378 (pow.f32 v 6)))))
(+.f32 (/.f32 4 (*.f32 v v)) (+.f32 (/.f32 13/15 (pow.f32 v 4)) (+.f32 9 (/.f32 41/378 (pow.f32 v 6)))))
(+.f32 (/.f32 4 (*.f32 v v)) (+.f32 9 (+.f32 (/.f32 13/15 (pow.f32 v 4)) (/.f32 41/378 (pow.f32 v 6)))))
9
(+.f32 9 (*.f32 4 (/.f32 1 (pow.f32 v 2))))
(+.f32 9 (/.f32 4 (*.f32 v v)))
(+.f32 9 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (.f32 13/15 (/.f32 1 (pow.f32 v 4)))))
(+.f32 (+.f32 9 (/.f32 4 (*.f32 v v))) (/.f32 13/15 (pow.f32 v 4)))
(+.f32 9 (+.f32 (/.f32 4 (*.f32 v v)) (/.f32 13/15 (pow.f32 v 4))))
(+.f32 9 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 4))) (*.f32 41/378 (/.f32 1 (pow.f32 v 6))))))
(+.f32 9 (+.f32 (/.f32 4 (*.f32 v v)) (+.f32 (/.f32 13/15 (pow.f32 v 4)) (/.f32 41/378 (pow.f32 v 6)))))
(+.f32 (/.f32 4 (*.f32 v v)) (+.f32 (/.f32 13/15 (pow.f32 v 4)) (+.f32 9 (/.f32 41/378 (pow.f32 v 6)))))
(+.f32 (/.f32 4 (*.f32 v v)) (+.f32 9 (+.f32 (/.f32 13/15 (pow.f32 v 4)) (/.f32 41/378 (pow.f32 v 6)))))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v)))) 3))
(*.f32 (pow.f32 v 3) (pow.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) 3))
8
(+.f32 8 (*.f32 4 (/.f32 1 (pow.f32 v 2))))
(+.f32 (/.f32 4 (*.f32 v v)) 8)
(+.f32 8 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (.f32 13/15 (/.f32 1 (pow.f32 v 4)))))
(+.f32 (+.f32 (/.f32 4 (*.f32 v v)) (/.f32 13/15 (pow.f32 v 4))) 8)
(+.f32 (/.f32 4 (*.f32 v v)) (+.f32 (/.f32 13/15 (pow.f32 v 4)) 8))
(+.f32 (/.f32 13/15 (pow.f32 v 4)) (+.f32 (/.f32 4 (*.f32 v v)) 8))
(+.f32 8 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 4))) (*.f32 41/378 (/.f32 1 (pow.f32 v 6))))))
(+.f32 (+.f32 (/.f32 4 (*.f32 v v)) (+.f32 (/.f32 13/15 (pow.f32 v 4)) (/.f32 41/378 (pow.f32 v 6)))) 8)
(+.f32 (+.f32 (/.f32 4 (*.f32 v v)) (/.f32 13/15 (pow.f32 v 4))) (+.f32 (/.f32 41/378 (pow.f32 v 6)) 8))
(+.f32 (/.f32 13/15 (pow.f32 v 4)) (+.f32 (/.f32 4 (*.f32 v v)) (+.f32 (/.f32 41/378 (pow.f32 v 6)) 8)))
(+.f32 (/.f32 4 (*.f32 v v)) (+.f32 (/.f32 41/378 (pow.f32 v 6)) (+.f32 (/.f32 13/15 (pow.f32 v 4)) 8)))
8
(+.f32 8 (*.f32 4 (/.f32 1 (pow.f32 v 2))))
(+.f32 (/.f32 4 (*.f32 v v)) 8)
(+.f32 8 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (.f32 13/15 (/.f32 1 (pow.f32 v 4)))))
(+.f32 (+.f32 (/.f32 4 (*.f32 v v)) (/.f32 13/15 (pow.f32 v 4))) 8)
(+.f32 (/.f32 4 (*.f32 v v)) (+.f32 (/.f32 13/15 (pow.f32 v 4)) 8))
(+.f32 (/.f32 13/15 (pow.f32 v 4)) (+.f32 (/.f32 4 (*.f32 v v)) 8))
(+.f32 8 (+.f32 (.f32 4 (/.f32 1 (pow.f32 v 2))) (+.f32 (.f32 13/15 (/.f32 1 (pow.f32 v 4))) (*.f32 41/378 (/.f32 1 (pow.f32 v 6))))))
(+.f32 (+.f32 (/.f32 4 (*.f32 v v)) (+.f32 (/.f32 13/15 (pow.f32 v 4)) (/.f32 41/378 (pow.f32 v 6)))) 8)
(+.f32 (+.f32 (/.f32 4 (*.f32 v v)) (/.f32 13/15 (pow.f32 v 4))) (+.f32 (/.f32 41/378 (pow.f32 v 6)) 8))
(+.f32 (/.f32 13/15 (pow.f32 v 4)) (+.f32 (/.f32 4 (*.f32 v v)) (+.f32 (/.f32 41/378 (pow.f32 v 6)) 8)))
(+.f32 (/.f32 4 (*.f32 v v)) (+.f32 (/.f32 41/378 (pow.f32 v 6)) (+.f32 (/.f32 13/15 (pow.f32 v 4)) 8)))

prune428.0ms (7.4%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	181	3	184
Fresh	1	10	11
Picked	1	0	1
Done	0	1	1
Total	183	14	197

Error

0.0b

Counts

197 → 14

Alt Table

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

Compiler

Compiled 7488 to 5044 computations (32.6% saved)

regimes934.0ms (16.2%)

Accuracy

Total 0.3b remaining (80%)

Threshold costs 0.3b (80%)

Counts

177 → 1

Compiler

Compiled 5080 to 2813 computations (44.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	20	37
1	33	37
2	43	37
3	50	37
4	55	37
5	57	37

Stop Event

1×

saturated

Calls

Call 1

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

Outputs

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

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

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

end316.0ms (5.5%)

Stop Event

1×

fuel

Remove

(sort sinTheta_i sinTheta_O)

(sort cosTheta_i cosTheta_O)

Compiler

Compiled 646 to 482 computations (25.4% saved)

Details

analyze1.0ms (0%)

sample2.5s (43.5%)

preprocess32.0ms (0.5%)

simplify14.0ms (0.2%)

prune4.0ms (0.1%)

localize64.0ms (1.1%)

series18.0ms (0.3%)

rewrite61.0ms (1.1%)

simplify27.0ms (0.5%)

prune277.0ms (4.8%)

localize62.0ms (1.1%)

series3.0ms (0.1%)

rewrite30.0ms (0.5%)

simplify7.0ms (0.1%)

prune313.0ms (5.4%)

localize76.0ms (1.3%)

series9.0ms (0.1%)

rewrite45.0ms (0.8%)

simplify35.0ms (0.6%)

prune320.0ms (5.6%)

localize87.0ms (1.5%)

series5.0ms (0.1%)

rewrite51.0ms (0.9%)

simplify31.0ms (0.5%)

prune428.0ms (7.4%)

regimes934.0ms (16.2%)

simplify3.0ms (0%)

end316.0ms (5.5%)

Profiling