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

Results

2.4s

8256×

body

128

valid

preprocess31.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1
2
3
4

Outputs
0
1
0
2
3
2
4

Call 2

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

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

Symmetry

(sort cosTheta_i cosTheta_O)

(sort sinTheta_i sinTheta_O)

Compiler

Compiled 27 to 19 computations (29.6% saved)

simplify15.0ms (0.3%)

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

eval1.0ms (0%)

Compiler: Compiled 48 to 32 computations (33.3% saved)

prune3.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.3b

Counts

3 → 2

Alt Table

Click to see full alt table

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

Status

Error

Program

0.5b

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

▶

0.4b

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

Compiler

Compiled 106 to 74 computations (30.2% saved)

localize59.0ms (1.2%)

Local error

Found 4 expressions with local error:

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

series18.0ms (0.4%)

Counts

4 → 24

Calls

24 calls:

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

rewrite61.0ms (1.2%)

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

simplify28.0ms (0.6%)

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

eval53.0ms (1.1%)

Compiler: Compiled 4012 to 1833 computations (54.3% saved)

prune414.0ms (8.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	137	12	149
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	138	13	151

Error

0.1b

Counts

151 → 13

Alt Table

Click to see full alt table

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

Compiler

Compiled 822 to 580 computations (29.4% saved)

localize100.0ms (2%)

Local error

Found 4 expressions with local error:

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

series33.0ms (0.7%)

Counts

2 → 24

Calls

6 calls:

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

rewrite37.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

530×	`pow1_binary32`
490×	`add-log-exp_binary32`
488×	`log1p-expm1-u_binary32`
488×	`expm1-log1p-u_binary32`
478×	`add-exp-log_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	126	14
2	1386	14

Stop Event

1×	node limit

Counts

2 → 44

Calls

Call 1

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

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

Outputs

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

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

simplify70.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

852×	`times-frac_binary32`
643×	`fma-neg_binary32`
336×	`associate-/r*_binary32`
320×	`fma-def_binary32`
266×	`associate-+l+_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	62	472
1	167	450
2	412	450
3	1133	444
4	3917	444

Stop Event

1×	node limit

Counts

68 → 70

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))))))
(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v))))))
(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v))))))
(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v))))))
(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v))))))
(log.f32 (/.f32 1 v))
(+.f32 (log.f32 (/.f32 1 v)) (*.f32 1/6 (/.f32 1 (pow.f32 v 2))))
(-.f32 (+.f32 (log.f32 (/.f32 1 v)) (.f32 1/6 (/.f32 1 (pow.f32 v 2)))) (.f32 1/180 (/.f32 1 (pow.f32 v 4))))
(-.f32 (+.f32 (log.f32 (/.f32 1 v)) (+.f32 (.f32 1/2835 (/.f32 1 (pow.f32 v 6))) (.f32 1/6 (/.f32 1 (pow.f32 v 2))))) (*.f32 1/180 (/.f32 1 (pow.f32 v 4))))
(+.f32 (log.f32 (/.f32 -1 v)) (log.f32 -1))
(+.f32 (log.f32 (/.f32 -1 v)) (+.f32 (log.f32 -1) (*.f32 1/6 (/.f32 1 (pow.f32 v 2)))))
(-.f32 (+.f32 (log.f32 (/.f32 -1 v)) (+.f32 (log.f32 -1) (.f32 1/6 (/.f32 1 (pow.f32 v 2))))) (.f32 1/180 (/.f32 1 (pow.f32 v 4))))
(-.f32 (+.f32 (log.f32 (/.f32 -1 v)) (+.f32 (.f32 1/2835 (/.f32 1 (pow.f32 v 6))) (+.f32 (log.f32 -1) (.f32 1/6 (/.f32 1 (pow.f32 v 2)))))) (*.f32 1/180 (/.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/120 (pow.f32 v 5)) (/.f32 1/6 (pow.f32 v 3))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/120 (pow.f32 v 5))))
(+.f32 (/.f32 1/120 (pow.f32 v 5)) (+.f32 (/.f32 1 v) (/.f32 1/6 (pow.f32 v 3))))
(+.f32 (.f32 1/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 (/.f32 1/120 (pow.f32 v 5)) (/.f32 1/5040 (pow.f32 v 7))) (+.f32 (/.f32 1 v) (/.f32 1/6 (pow.f32 v 3))))
(+.f32 (/.f32 1/5040 (pow.f32 v 7)) (+.f32 (/.f32 1/120 (pow.f32 v 5)) (+.f32 (/.f32 1 v) (/.f32 1/6 (pow.f32 v 3)))))
(/.f32 1 v)
(+.f32 (/.f32 1 v) (*.f32 1/6 (/.f32 1 (pow.f32 v 3))))
(+.f32 (/.f32 1 v) (/.f32 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/120 (pow.f32 v 5)) (/.f32 1/6 (pow.f32 v 3))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/120 (pow.f32 v 5))))
(+.f32 (/.f32 1/120 (pow.f32 v 5)) (+.f32 (/.f32 1 v) (/.f32 1/6 (pow.f32 v 3))))
(+.f32 (.f32 1/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 (/.f32 1/120 (pow.f32 v 5)) (/.f32 1/5040 (pow.f32 v 7))) (+.f32 (/.f32 1 v) (/.f32 1/6 (pow.f32 v 3))))
(+.f32 (/.f32 1/5040 (pow.f32 v 7)) (+.f32 (/.f32 1/120 (pow.f32 v 5)) (+.f32 (/.f32 1 v) (/.f32 1/6 (pow.f32 v 3)))))
(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v))))))
(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v))))))
(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v)))))
(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v))))))
(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v))))))
(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v)))))
(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v))))))
(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v))))))
(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v)))))
(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (/.f32 1 (exp.f32 (/.f32 1 v))))))
(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (neg.f32 (/.f32 1 v))))))
(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v)))))
(log.f32 (/.f32 1 v))
(neg.f32 (log.f32 v))
(+.f32 (log.f32 (/.f32 1 v)) (*.f32 1/6 (/.f32 1 (pow.f32 v 2))))
(+.f32 (neg.f32 (log.f32 v)) (/.f32 1/6 (*.f32 v v)))
(-.f32 (/.f32 1/6 (*.f32 v v)) (log.f32 v))
(-.f32 (/.f32 (/.f32 1/6 v) v) (log.f32 v))
(-.f32 (+.f32 (log.f32 (/.f32 1 v)) (.f32 1/6 (/.f32 1 (pow.f32 v 2)))) (.f32 1/180 (/.f32 1 (pow.f32 v 4))))
(+.f32 (neg.f32 (log.f32 v)) (-.f32 (/.f32 1/6 (*.f32 v v)) (/.f32 1/180 (pow.f32 v 4))))
(+.f32 (-.f32 (/.f32 1/6 (*.f32 v v)) (log.f32 v)) (/.f32 -1/180 (pow.f32 v 4)))
(+.f32 (-.f32 (/.f32 (/.f32 1/6 v) v) (log.f32 v)) (/.f32 -1/180 (pow.f32 v 4)))
(-.f32 (+.f32 (log.f32 (/.f32 1 v)) (+.f32 (.f32 1/2835 (/.f32 1 (pow.f32 v 6))) (.f32 1/6 (/.f32 1 (pow.f32 v 2))))) (*.f32 1/180 (/.f32 1 (pow.f32 v 4))))
(+.f32 (neg.f32 (log.f32 v)) (-.f32 (+.f32 (/.f32 1/6 (*.f32 v v)) (/.f32 1/2835 (pow.f32 v 6))) (/.f32 1/180 (pow.f32 v 4))))
(+.f32 (+.f32 (-.f32 (/.f32 1/6 (*.f32 v v)) (log.f32 v)) (/.f32 1/2835 (pow.f32 v 6))) (/.f32 -1/180 (pow.f32 v 4)))
(+.f32 (-.f32 (/.f32 1/6 (*.f32 v v)) (-.f32 (log.f32 v) (/.f32 1/2835 (pow.f32 v 6)))) (/.f32 -1/180 (pow.f32 v 4)))
(+.f32 (/.f32 (/.f32 1/6 v) v) (-.f32 (/.f32 -1/180 (pow.f32 v 4)) (-.f32 (log.f32 v) (/.f32 1/2835 (pow.f32 v 6)))))
(+.f32 (log.f32 (/.f32 -1 v)) (log.f32 -1))
(+.f32 (log.f32 (/.f32 -1 v)) (+.f32 (log.f32 -1) (*.f32 1/6 (/.f32 1 (pow.f32 v 2)))))
(+.f32 (log.f32 (/.f32 -1 v)) (+.f32 (/.f32 1/6 (*.f32 v v)) (log.f32 -1)))
(+.f32 (/.f32 1/6 (*.f32 v v)) (+.f32 (log.f32 (/.f32 -1 v)) (log.f32 -1)))
(fma.f32 2 (log.f32 -1) (-.f32 (/.f32 (/.f32 1/6 v) v) (log.f32 v)))
(-.f32 (+.f32 (log.f32 (/.f32 -1 v)) (+.f32 (log.f32 -1) (.f32 1/6 (/.f32 1 (pow.f32 v 2))))) (.f32 1/180 (/.f32 1 (pow.f32 v 4))))
(+.f32 (log.f32 (/.f32 -1 v)) (-.f32 (+.f32 (/.f32 1/6 (*.f32 v v)) (log.f32 -1)) (/.f32 1/180 (pow.f32 v 4))))
(+.f32 (+.f32 (log.f32 (/.f32 -1 v)) (log.f32 -1)) (+.f32 (/.f32 1/6 (*.f32 v v)) (/.f32 -1/180 (pow.f32 v 4))))
(fma.f32 2 (log.f32 -1) (+.f32 (-.f32 (/.f32 (/.f32 1/6 v) v) (log.f32 v)) (/.f32 -1/180 (pow.f32 v 4))))
(-.f32 (+.f32 (log.f32 (/.f32 -1 v)) (+.f32 (.f32 1/2835 (/.f32 1 (pow.f32 v 6))) (+.f32 (log.f32 -1) (.f32 1/6 (/.f32 1 (pow.f32 v 2)))))) (*.f32 1/180 (/.f32 1 (pow.f32 v 4))))
(+.f32 (log.f32 (/.f32 -1 v)) (-.f32 (+.f32 (/.f32 1/2835 (pow.f32 v 6)) (+.f32 (/.f32 1/6 (*.f32 v v)) (log.f32 -1))) (/.f32 1/180 (pow.f32 v 4))))
(+.f32 (log.f32 (/.f32 -1 v)) (+.f32 (+.f32 (/.f32 1/2835 (pow.f32 v 6)) (log.f32 -1)) (+.f32 (/.f32 1/6 (*.f32 v v)) (/.f32 -1/180 (pow.f32 v 4)))))
(+.f32 (/.f32 1/2835 (pow.f32 v 6)) (+.f32 (+.f32 (log.f32 (/.f32 -1 v)) (log.f32 -1)) (+.f32 (/.f32 1/6 (*.f32 v v)) (/.f32 -1/180 (pow.f32 v 4)))))
(+.f32 (/.f32 1/2835 (pow.f32 v 6)) (fma.f32 2 (log.f32 -1) (+.f32 (-.f32 (/.f32 (/.f32 1/6 v) v) (log.f32 v)) (/.f32 -1/180 (pow.f32 v 4)))))

eval63.0ms (1.3%)

Compiler: Compiled 4372 to 2069 computations (52.7% saved)

prune428.0ms (8.5%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	140	8	148
Fresh	5	7	12
Picked	1	0	1
Done	0	0	0
Total	146	15	161

Error

0.0b

Counts

161 → 15

Alt Table

Click to see full alt table

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

Compiler

Compiled 986 to 712 computations (27.8% saved)

localize82.0ms (1.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v)))))
✓	0.6b	(exp.f32 (log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))))
✓	0.8b	(exp.f32 (/.f32 1 v))
✓	0.8b	(exp.f32 (/.f32 -1 v))

series28.0ms (0.6%)

Counts

4 → 36

Calls

12 calls:

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

rewrite59.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

873×	`log1p-expm1-u_binary32`
873×	`expm1-log1p-u_binary32`
116×	`add-sqr-sqrt_binary32`
112×	`pow1_binary32`
111×	`*-un-lft-identity_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	48
1	246	48
2	3001	48

Stop Event

1×	node limit

Counts

4 → 95

Calls

Call 1

Inputs
(exp.f32 (/.f32 -1 v))
(exp.f32 (/.f32 1 v))
(exp.f32 (log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))))
(log.f32 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v)))))

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

simplify42.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

802×	`fma-neg_binary32`
403×	`fma-def_binary32`
366×	`associate-/r*_binary32`
320×	`associate-+l+_binary32`
227×	`associate-+r+_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	70	576
1	193	570
2	503	570
3	1382	564
4	4631	564

Stop Event

1×	node limit

Counts

131 → 111

Calls

Call 1

Inputs
1
(-.f32 1 (/.f32 1 v))
(-.f32 (+.f32 (*.f32 1/2 (/.f32 1 (pow.f32 v 2))) 1) (/.f32 1 v))
(-.f32 (+.f32 (.f32 1/2 (/.f32 1 (pow.f32 v 2))) 1) (+.f32 (.f32 1/6 (/.f32 1 (pow.f32 v 3))) (/.f32 1 v)))
1
(-.f32 1 (/.f32 1 v))
(-.f32 (+.f32 (*.f32 1/2 (/.f32 1 (pow.f32 v 2))) 1) (/.f32 1 v))
(-.f32 (+.f32 (.f32 1/2 (/.f32 1 (pow.f32 v 2))) 1) (+.f32 (.f32 1/6 (/.f32 1 (pow.f32 v 3))) (/.f32 1 v)))
1
(+.f32 1 (/.f32 1 v))
(+.f32 (*.f32 1/2 (/.f32 1 (pow.f32 v 2))) (+.f32 1 (/.f32 1 v)))
(+.f32 (.f32 1/6 (/.f32 1 (pow.f32 v 3))) (+.f32 (.f32 1/2 (/.f32 1 (pow.f32 v 2))) (+.f32 1 (/.f32 1 v))))
1
(+.f32 1 (/.f32 1 v))
(+.f32 (*.f32 1/2 (/.f32 1 (pow.f32 v 2))) (+.f32 1 (/.f32 1 v)))
(+.f32 (.f32 1/6 (/.f32 1 (pow.f32 v 3))) (+.f32 (.f32 1/2 (/.f32 1 (pow.f32 v 2))) (+.f32 1 (/.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)) (exp.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)) (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))))))
(log.f32 (/.f32 1 v))
(+.f32 (log.f32 (/.f32 1 v)) (*.f32 1/6 (/.f32 1 (pow.f32 v 2))))
(-.f32 (+.f32 (log.f32 (/.f32 1 v)) (.f32 1/6 (/.f32 1 (pow.f32 v 2)))) (.f32 1/180 (/.f32 1 (pow.f32 v 4))))
(-.f32 (+.f32 (log.f32 (/.f32 1 v)) (+.f32 (.f32 1/2835 (/.f32 1 (pow.f32 v 6))) (.f32 1/6 (/.f32 1 (pow.f32 v 2))))) (*.f32 1/180 (/.f32 1 (pow.f32 v 4))))
(+.f32 (log.f32 (/.f32 -1 v)) (log.f32 -1))
(+.f32 (log.f32 (/.f32 -1 v)) (+.f32 (log.f32 -1) (*.f32 1/6 (/.f32 1 (pow.f32 v 2)))))
(-.f32 (+.f32 (log.f32 (/.f32 -1 v)) (+.f32 (log.f32 -1) (.f32 1/6 (/.f32 1 (pow.f32 v 2))))) (.f32 1/180 (/.f32 1 (pow.f32 v 4))))
(-.f32 (+.f32 (log.f32 (/.f32 -1 v)) (+.f32 (.f32 1/2835 (/.f32 1 (pow.f32 v 6))) (+.f32 (log.f32 -1) (.f32 1/6 (/.f32 1 (pow.f32 v 2)))))) (*.f32 1/180 (/.f32 1 (pow.f32 v 4))))

Outputs
1
(-.f32 1 (/.f32 1 v))
(+.f32 1 (/.f32 -1 v))
(-.f32 (+.f32 (*.f32 1/2 (/.f32 1 (pow.f32 v 2))) 1) (/.f32 1 v))
(+.f32 (/.f32 1/2 (*.f32 v v)) (-.f32 1 (/.f32 1 v)))
(+.f32 (/.f32 1/2 (*.f32 v v)) (+.f32 1 (/.f32 -1 v)))
(-.f32 (+.f32 (.f32 1/2 (/.f32 1 (pow.f32 v 2))) 1) (+.f32 (.f32 1/6 (/.f32 1 (pow.f32 v 3))) (/.f32 1 v)))
(-.f32 (+.f32 1 (/.f32 1/2 (*.f32 v v))) (+.f32 (/.f32 1 v) (/.f32 1/6 (pow.f32 v 3))))
(+.f32 (/.f32 1/2 (*.f32 v v)) (-.f32 1 (+.f32 (/.f32 1 v) (/.f32 1/6 (pow.f32 v 3)))))
(+.f32 1 (+.f32 (/.f32 1/2 (*.f32 v v)) (+.f32 (/.f32 -1 v) (/.f32 -1/6 (pow.f32 v 3)))))
(+.f32 (+.f32 1 (/.f32 1/2 (*.f32 v v))) (+.f32 (/.f32 -1 v) (/.f32 -1/6 (pow.f32 v 3))))
1
(-.f32 1 (/.f32 1 v))
(+.f32 1 (/.f32 -1 v))
(-.f32 (+.f32 (*.f32 1/2 (/.f32 1 (pow.f32 v 2))) 1) (/.f32 1 v))
(+.f32 (/.f32 1/2 (*.f32 v v)) (-.f32 1 (/.f32 1 v)))
(+.f32 (/.f32 1/2 (*.f32 v v)) (+.f32 1 (/.f32 -1 v)))
(-.f32 (+.f32 (.f32 1/2 (/.f32 1 (pow.f32 v 2))) 1) (+.f32 (.f32 1/6 (/.f32 1 (pow.f32 v 3))) (/.f32 1 v)))
(-.f32 (+.f32 1 (/.f32 1/2 (*.f32 v v))) (+.f32 (/.f32 1 v) (/.f32 1/6 (pow.f32 v 3))))
(+.f32 (/.f32 1/2 (*.f32 v v)) (-.f32 1 (+.f32 (/.f32 1 v) (/.f32 1/6 (pow.f32 v 3)))))
(+.f32 1 (+.f32 (/.f32 1/2 (*.f32 v v)) (+.f32 (/.f32 -1 v) (/.f32 -1/6 (pow.f32 v 3)))))
(+.f32 (+.f32 1 (/.f32 1/2 (*.f32 v v))) (+.f32 (/.f32 -1 v) (/.f32 -1/6 (pow.f32 v 3))))
1
(+.f32 1 (/.f32 1 v))
(+.f32 (*.f32 1/2 (/.f32 1 (pow.f32 v 2))) (+.f32 1 (/.f32 1 v)))
(+.f32 (/.f32 1/2 (*.f32 v v)) (+.f32 1 (/.f32 1 v)))
(+.f32 1 (+.f32 (/.f32 1/2 (*.f32 v v)) (/.f32 1 v)))
(+.f32 1 (+.f32 (/.f32 1 v) (/.f32 1/2 (*.f32 v v))))
(+.f32 (.f32 1/6 (/.f32 1 (pow.f32 v 3))) (+.f32 (.f32 1/2 (/.f32 1 (pow.f32 v 2))) (+.f32 1 (/.f32 1 v))))
(+.f32 (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/2 (*.f32 v v))) (+.f32 1 (/.f32 1 v)))
(+.f32 (/.f32 1/2 (*.f32 v v)) (+.f32 (+.f32 1 (/.f32 1 v)) (/.f32 1/6 (pow.f32 v 3))))
(+.f32 1 (+.f32 (/.f32 1 v) (+.f32 (/.f32 1/2 (*.f32 v v)) (/.f32 1/6 (pow.f32 v 3)))))
(+.f32 1 (+.f32 (/.f32 1/6 (pow.f32 v 3)) (+.f32 (/.f32 1 v) (/.f32 1/2 (*.f32 v v)))))
1
(+.f32 1 (/.f32 1 v))
(+.f32 (*.f32 1/2 (/.f32 1 (pow.f32 v 2))) (+.f32 1 (/.f32 1 v)))
(+.f32 (/.f32 1/2 (*.f32 v v)) (+.f32 1 (/.f32 1 v)))
(+.f32 1 (+.f32 (/.f32 1/2 (*.f32 v v)) (/.f32 1 v)))
(+.f32 1 (+.f32 (/.f32 1 v) (/.f32 1/2 (*.f32 v v))))
(+.f32 (.f32 1/6 (/.f32 1 (pow.f32 v 3))) (+.f32 (.f32 1/2 (/.f32 1 (pow.f32 v 2))) (+.f32 1 (/.f32 1 v))))
(+.f32 (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/2 (*.f32 v v))) (+.f32 1 (/.f32 1 v)))
(+.f32 (/.f32 1/2 (*.f32 v v)) (+.f32 (+.f32 1 (/.f32 1 v)) (/.f32 1/6 (pow.f32 v 3))))
(+.f32 1 (+.f32 (/.f32 1 v) (+.f32 (/.f32 1/2 (*.f32 v v)) (/.f32 1/6 (pow.f32 v 3)))))
(+.f32 1 (+.f32 (/.f32 1/6 (pow.f32 v 3)) (+.f32 (/.f32 1 v) (/.f32 1/2 (*.f32 v v)))))
(*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.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)) (exp.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/120 (pow.f32 v 5)) (/.f32 1/6 (pow.f32 v 3))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/120 (pow.f32 v 5))))
(+.f32 (.f32 1/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/6 (pow.f32 v 3)) (+.f32 (/.f32 1/120 (pow.f32 v 5)) (+.f32 (/.f32 1 v) (/.f32 1/5040 (pow.f32 v 7)))))
(+.f32 (/.f32 1/120 (pow.f32 v 5)) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (+.f32 (/.f32 1 v) (/.f32 1/5040 (pow.f32 v 7)))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (+.f32 (/.f32 1/120 (pow.f32 v 5)) (/.f32 1/5040 (pow.f32 v 7)))))
(/.f32 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/120 (pow.f32 v 5)) (/.f32 1/6 (pow.f32 v 3))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (/.f32 1/120 (pow.f32 v 5))))
(+.f32 (.f32 1/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/6 (pow.f32 v 3)) (+.f32 (/.f32 1/120 (pow.f32 v 5)) (+.f32 (/.f32 1 v) (/.f32 1/5040 (pow.f32 v 7)))))
(+.f32 (/.f32 1/120 (pow.f32 v 5)) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (+.f32 (/.f32 1 v) (/.f32 1/5040 (pow.f32 v 7)))))
(+.f32 (/.f32 1 v) (+.f32 (/.f32 1/6 (pow.f32 v 3)) (+.f32 (/.f32 1/120 (pow.f32 v 5)) (/.f32 1/5040 (pow.f32 v 7)))))
(log.f32 (/.f32 1 v))
(neg.f32 (log.f32 v))
(+.f32 (log.f32 (/.f32 1 v)) (*.f32 1/6 (/.f32 1 (pow.f32 v 2))))
(+.f32 (neg.f32 (log.f32 v)) (/.f32 1/6 (*.f32 v v)))
(-.f32 (/.f32 1/6 (*.f32 v v)) (log.f32 v))
(-.f32 (+.f32 (log.f32 (/.f32 1 v)) (.f32 1/6 (/.f32 1 (pow.f32 v 2)))) (.f32 1/180 (/.f32 1 (pow.f32 v 4))))
(+.f32 (neg.f32 (log.f32 v)) (-.f32 (/.f32 1/6 (*.f32 v v)) (/.f32 1/180 (pow.f32 v 4))))
(+.f32 (-.f32 (/.f32 1/6 (*.f32 v v)) (log.f32 v)) (/.f32 -1/180 (pow.f32 v 4)))
(+.f32 (/.f32 1/6 (*.f32 v v)) (-.f32 (/.f32 -1/180 (pow.f32 v 4)) (log.f32 v)))
(-.f32 (+.f32 (log.f32 (/.f32 1 v)) (+.f32 (.f32 1/2835 (/.f32 1 (pow.f32 v 6))) (.f32 1/6 (/.f32 1 (pow.f32 v 2))))) (*.f32 1/180 (/.f32 1 (pow.f32 v 4))))
(+.f32 (neg.f32 (log.f32 v)) (-.f32 (+.f32 (/.f32 1/6 (*.f32 v v)) (/.f32 1/2835 (pow.f32 v 6))) (/.f32 1/180 (pow.f32 v 4))))
(+.f32 (+.f32 (-.f32 (/.f32 1/6 (*.f32 v v)) (log.f32 v)) (/.f32 1/2835 (pow.f32 v 6))) (/.f32 -1/180 (pow.f32 v 4)))
(+.f32 (-.f32 (/.f32 1/6 (*.f32 v v)) (log.f32 v)) (+.f32 (/.f32 1/2835 (pow.f32 v 6)) (/.f32 -1/180 (pow.f32 v 4))))
(+.f32 (/.f32 1/6 (*.f32 v v)) (+.f32 (/.f32 1/2835 (pow.f32 v 6)) (-.f32 (/.f32 -1/180 (pow.f32 v 4)) (log.f32 v))))
(+.f32 (log.f32 (/.f32 -1 v)) (log.f32 -1))
(-.f32 (*.f32 2 (log.f32 -1)) (log.f32 v))
(+.f32 (log.f32 (/.f32 -1 v)) (+.f32 (log.f32 -1) (*.f32 1/6 (/.f32 1 (pow.f32 v 2)))))
(+.f32 (log.f32 (/.f32 -1 v)) (+.f32 (/.f32 1/6 (*.f32 v v)) (log.f32 -1)))
(+.f32 (/.f32 1/6 (*.f32 v v)) (+.f32 (log.f32 (/.f32 -1 v)) (log.f32 -1)))
(+.f32 (/.f32 1/6 (.f32 v v)) (-.f32 (.f32 2 (log.f32 -1)) (log.f32 v)))
(fma.f32 2 (log.f32 -1) (-.f32 (/.f32 1/6 (*.f32 v v)) (log.f32 v)))
(-.f32 (+.f32 (log.f32 (/.f32 -1 v)) (+.f32 (log.f32 -1) (.f32 1/6 (/.f32 1 (pow.f32 v 2))))) (.f32 1/180 (/.f32 1 (pow.f32 v 4))))
(+.f32 (log.f32 (/.f32 -1 v)) (-.f32 (+.f32 (/.f32 1/6 (*.f32 v v)) (log.f32 -1)) (/.f32 1/180 (pow.f32 v 4))))
(+.f32 (log.f32 (/.f32 -1 v)) (+.f32 (/.f32 1/6 (*.f32 v v)) (-.f32 (log.f32 -1) (/.f32 1/180 (pow.f32 v 4)))))
(+.f32 (/.f32 1/6 (*.f32 v v)) (+.f32 (+.f32 (log.f32 -1) (/.f32 -1/180 (pow.f32 v 4))) (log.f32 (/.f32 -1 v))))
(+.f32 (fma.f32 2 (log.f32 -1) (-.f32 (/.f32 1/6 (*.f32 v v)) (log.f32 v))) (/.f32 -1/180 (pow.f32 v 4)))
(+.f32 (/.f32 1/6 (*.f32 v v)) (fma.f32 2 (log.f32 -1) (-.f32 (/.f32 -1/180 (pow.f32 v 4)) (log.f32 v))))
(-.f32 (+.f32 (log.f32 (/.f32 -1 v)) (+.f32 (.f32 1/2835 (/.f32 1 (pow.f32 v 6))) (+.f32 (log.f32 -1) (.f32 1/6 (/.f32 1 (pow.f32 v 2)))))) (*.f32 1/180 (/.f32 1 (pow.f32 v 4))))
(+.f32 (log.f32 (/.f32 -1 v)) (-.f32 (+.f32 (/.f32 1/2835 (pow.f32 v 6)) (+.f32 (/.f32 1/6 (*.f32 v v)) (log.f32 -1))) (/.f32 1/180 (pow.f32 v 4))))
(+.f32 (log.f32 (/.f32 -1 v)) (+.f32 (/.f32 1/2835 (pow.f32 v 6)) (+.f32 (/.f32 1/6 (*.f32 v v)) (-.f32 (log.f32 -1) (/.f32 1/180 (pow.f32 v 4))))))
(+.f32 (/.f32 1/2835 (pow.f32 v 6)) (+.f32 (/.f32 1/6 (*.f32 v v)) (+.f32 (+.f32 (log.f32 -1) (/.f32 -1/180 (pow.f32 v 4))) (log.f32 (/.f32 -1 v)))))
(+.f32 (fma.f32 2 (log.f32 -1) (-.f32 (/.f32 1/6 (*.f32 v v)) (log.f32 v))) (+.f32 (/.f32 1/2835 (pow.f32 v 6)) (/.f32 -1/180 (pow.f32 v 4))))

eval57.0ms (1.1%)

Compiler: Compiled 4075 to 2202 computations (46% saved)

prune115.0ms (2.3%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	111	15	126

Error

0.0b

Counts

126 → 15

Alt Table

Click to see full alt table

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

Compiler

Compiled 950 to 685 computations (27.9% saved)

localize82.0ms (1.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f32 cosTheta_O (cbrt.f32 v))
	0.3b	(log.f32 (sinh.f32 (/.f32 1 v)))
	0.6b	(exp.f32 (log.f32 (sinh.f32 (/.f32 1 v))))
	0.9b	(sinh.f32 (/.f32 1 v))

series10.0ms (0.2%)

Counts

1 → 12

Calls

6 calls:

Time	Variable		Point	Expression
5.0ms	v	@	-inf	(/.f32 cosTheta_O (cbrt.f32 v))
3.0ms	cosTheta_O	@	0	(/.f32 cosTheta_O (cbrt.f32 v))
1.0ms	v	@	0	(/.f32 cosTheta_O (cbrt.f32 v))
1.0ms	cosTheta_O	@	inf	(/.f32 cosTheta_O (cbrt.f32 v))
0.0ms	v	@	inf	(/.f32 cosTheta_O (cbrt.f32 v))

rewrite32.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

530×	`pow1_binary32`
494×	`add-log-exp_binary32`
494×	`log1p-expm1-u_binary32`
494×	`expm1-log1p-u_binary32`
481×	`add-exp-log_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	102	6
2	1322	6

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

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

Outputs

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

simplify60.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

730×	`sqr-pow_binary32`
446×	`associate-l_binary32`
362×	`unswap-sqr_binary32`
313×	`pow-sqr_binary32`
264×	`associate-r_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	108
1	17	108
2	26	108
3	45	108
4	101	108
5	315	108
6	1207	108
7	1893	108
8	1983	108
9	2119	108
10	2280	108
11	2515	108
12	2840	108
13	3264	108
14	3767	108
15	4365	108

Stop Event

1×	node limit

Counts

43 → 33

Calls

Call 1

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

Outputs
(*.f32 (pow.f32 (/.f32 1 v) 1/3) cosTheta_O)
(*.f32 (cbrt.f32 (/.f32 1 v)) cosTheta_O)
(*.f32 (pow.f32 (/.f32 1 v) 1/3) cosTheta_O)
(*.f32 (cbrt.f32 (/.f32 1 v)) cosTheta_O)
(*.f32 (pow.f32 (/.f32 1 v) 1/3) cosTheta_O)
(*.f32 (cbrt.f32 (/.f32 1 v)) cosTheta_O)
(*.f32 (pow.f32 (/.f32 1 v) 1/3) cosTheta_O)
(*.f32 (cbrt.f32 (/.f32 1 v)) cosTheta_O)
(*.f32 (pow.f32 (/.f32 1 v) 1/3) cosTheta_O)
(*.f32 (cbrt.f32 (/.f32 1 v)) cosTheta_O)
(*.f32 (pow.f32 (/.f32 1 v) 1/3) cosTheta_O)
(*.f32 (cbrt.f32 (/.f32 1 v)) cosTheta_O)
(*.f32 (pow.f32 (/.f32 1 v) 1/3) cosTheta_O)
(*.f32 (cbrt.f32 (/.f32 1 v)) cosTheta_O)
(*.f32 (pow.f32 (/.f32 1 v) 1/3) cosTheta_O)
(*.f32 (cbrt.f32 (/.f32 1 v)) cosTheta_O)
(*.f32 (pow.f32 (/.f32 1 v) 1/3) cosTheta_O)
(*.f32 (cbrt.f32 (/.f32 1 v)) cosTheta_O)
(*.f32 (pow.f32 (/.f32 1 v) 1/3) cosTheta_O)
(*.f32 (cbrt.f32 (/.f32 1 v)) cosTheta_O)
(*.f32 (pow.f32 (/.f32 1 v) 1/3) cosTheta_O)
(*.f32 (cbrt.f32 (/.f32 1 v)) cosTheta_O)
(*.f32 (pow.f32 (/.f32 1 v) 1/3) cosTheta_O)
(*.f32 (cbrt.f32 (/.f32 1 v)) cosTheta_O)

eval55.0ms (1.1%)

Compiler: Compiled 4803 to 1931 computations (59.8% saved)

prune361.0ms (7.2%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	130	5	135
Fresh	4	9	13
Picked	0	1	1
Done	1	0	1
Total	135	15	150

Error

0.0b

Counts

150 → 15

Alt Table

Click to see full alt table

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

Compiler

Compiled 520 to 375 computations (27.9% saved)

regimes127.0ms (2.5%)

Accuracy

Total -20.9b remaining (-5020.1%)

Threshold costs -20.9b (-5020.1%)

Counts

27 → 1

Calls

Call 1

Inputs
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (/.f32 cosTheta_i (cbrt.f32 (.f32 v v))) (/.f32 cosTheta_O (cbrt.f32 v)))) (.f32 (.f32 (expm1.f32 (log1p.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (/.f32 cosTheta_i (cbrt.f32 (.f32 v v))) (exp.f32 (log.f32 (/.f32 cosTheta_O (cbrt.f32 v)))))) (.f32 (.f32 (exp.f32 (log.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (/.f32 cosTheta_i (cbrt.f32 (.f32 v v))) (.f32 (/.f32 1 (pow.f32 (cbrt.f32 (cbrt.f32 v)) 2)) (/.f32 cosTheta_O (cbrt.f32 (cbrt.f32 v)))))) (.f32 (*.f32 (exp.f32 (log.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (/.f32 cosTheta_i (cbrt.f32 (.f32 v v))) (.f32 (cbrt.f32 (/.f32 1 v)) cosTheta_O))) (.f32 (*.f32 (exp.f32 (log.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (/.f32 cosTheta_i (cbrt.f32 (.f32 v v))) (.f32 (pow.f32 (/.f32 1 v) 1/3) cosTheta_O))) (.f32 (*.f32 (exp.f32 (log.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (.f32 (.f32 cosTheta_i cosTheta_O) (pow.f32 v -1/2)) (pow.f32 v -1/2))) (.f32 (*.f32 (exp.f32 (log.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
(/.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 (.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v)))))) 2) v))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (.f32 (*.f32 (exp.f32 (exp.f32 (log.f32 (log.f32 (sinh.f32 (/.f32 1 v)))))) 2) v))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (.f32 (*.f32 (exp.f32 (+.f32 (log.f32 (pow.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v))) 2)) (log.f32 (cbrt.f32 (sinh.f32 (/.f32 1 v)))))) 2) v))
(/.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 (pow.f32 (pow.f32 (sinh.f32 (/.f32 1 v)) 3) 1/3))) 2) v))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (/.f32 cosTheta_i (cbrt.f32 (.f32 v v))) (/.f32 cosTheta_O (cbrt.f32 v)))) (.f32 (.f32 (exp.f32 (log.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
(/.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 (exp.f32 (log.f32 (sinh.f32 (/.f32 1 v)))) 2) v))
(/.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))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (/.f32 cosTheta_i (cbrt.f32 (.f32 v v))) (/.f32 cosTheta_O (cbrt.f32 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_i cosTheta_O) v)) (.f32 (*.f32 (pow.f32 (sqrt.f32 (sinh.f32 (/.f32 1 v))) 2) 2) v))
(/.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))
(/.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))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.f32 (pow.f32 (cbrt.f32 (.f32 cosTheta_i cosTheta_O)) 2) (.f32 (cbrt.f32 (.f32 cosTheta_i cosTheta_O)) (/.f32 1 v)))) (.f32 (.f32 (sinh.f32 (/.f32 1 v)) 2) v))
(/.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))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (.f32 (*.f32 (-.f32 (exp.f32 (log1p.f32 (sinh.f32 (/.f32 1 v)))) 1) 2) v))
(/.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))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (.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)))) (.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_i cosTheta_O) v)) (.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v)))))
(/.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))
(/.f32 (.f32 (exp.f32 (neg.f32 (/.f32 (.f32 sinTheta_i sinTheta_O) v))) (/.f32 (.f32 cosTheta_i cosTheta_O) v)) (expm1.f32 (log1p.f32 (.f32 (sinh.f32 (/.f32 1 v)) (*.f32 v 2)))))
(.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))
(/.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))

Results

Time	Error	Segments	Branch
15.0ms	0.4b	1	`cosTheta_i`
14.0ms	0.4b	1	`cosTheta_O`
15.0ms	0.4b	1	`sinTheta_i`
15.0ms	0.4b	1	`sinTheta_O`
14.0ms	0.4b	1	`v`
11.0ms	0.4b	1	`(/.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))`
9.0ms	0.4b	1	`(*.f32 sinTheta_i sinTheta_O)`
11.0ms	0.4b	1	`(*.f32 cosTheta_i cosTheta_O)`

Compiler

Compiled 842 to 398 computations (52.7% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

9×	`*-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	34
1	32	34
2	42	34
3	49	34
4	54	34
5	56	34

Stop Event

1×

saturated

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

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

end25.0ms (0.5%)

Stop Event

1×

fuel

Remove

(sort sinTheta_i sinTheta_O)

(sort cosTheta_i cosTheta_O)

Compiler

Compiled 162 to 114 computations (29.6% saved)

Details

analyze1.0ms (0%)

sample2.5s (49.1%)

preprocess31.0ms (0.6%)

simplify15.0ms (0.3%)

eval1.0ms (0%)

prune3.0ms (0.1%)

localize59.0ms (1.2%)

series18.0ms (0.4%)

rewrite61.0ms (1.2%)

simplify28.0ms (0.6%)

eval53.0ms (1.1%)

prune414.0ms (8.3%)

localize100.0ms (2%)

series33.0ms (0.7%)

rewrite37.0ms (0.7%)

simplify70.0ms (1.4%)

eval63.0ms (1.3%)

prune428.0ms (8.5%)

localize82.0ms (1.6%)

series28.0ms (0.6%)

rewrite59.0ms (1.2%)

simplify42.0ms (0.8%)

eval57.0ms (1.1%)

prune115.0ms (2.3%)

localize82.0ms (1.6%)

series10.0ms (0.2%)

rewrite32.0ms (0.6%)

simplify60.0ms (1.2%)

eval55.0ms (1.1%)

prune361.0ms (7.2%)

regimes127.0ms (2.5%)

simplify3.0ms (0.1%)

end25.0ms (0.5%)

Profiling