Details

Time bar (total: 15.3s)

analyze63.0ms (0.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
Compiler

Compiled 50 to 36 computations (28% saved)

sample79.0ms (0.5%)

Algorithm
1×intervals
Results
30.0ms256×body128valid
13.0ms256×pre128true
Compiler

Compiled 82 to 60 computations (26.8% saved)

simplify51.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
913×times-frac_binary32
551×associate-/l*_binary32
460×associate-/l/_binary32
362×associate-*l/_binary32
312×associate-/r/_binary32
Counts
1 → 1
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02034
15434
217132
371032
4362432
5457132
6500932

prune10.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.3b
Counts
2 → 2
Alt Table
StatusErrorProgram
▶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))
0.4b
(*.f32 cosTheta_O (/.f32 (/.f32 cosTheta_i v) (*.f32 v (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))))))
Compiler

Compiled 132 to 92 computations (30.3% saved)

localize58.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite189.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
19×add-exp-log_binary32 add-cbrt-cube_binary32
9×pow1_binary32 add-cube-cbrt_binary32 add-sqr-sqrt_binary32 *-un-lft-identity_binary32
6×times-frac_binary32 associate-/r*_binary32
5×prod-exp_binary32 cbrt-unprod_binary32
4×add-log-exp_binary32 div-exp_binary32 cbrt-undiv_binary32
Counts
4 → 69
Calls

4 calls:

6.0ms
(*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)
4.0ms
(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
4.0ms
(/.f32 (*.f32 cosTheta_i cosTheta_O) v)
2.0ms
(sinh.f32 (/.f32 1 v))
Compiler

Compiled 1869 to 828 computations (55.7% saved)

series186.0ms (1.2%)

Error
0.3b
Counts
4 → 36
Calls

4 calls:

51.0ms
(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
48.0ms
(/.f32 (*.f32 cosTheta_i cosTheta_O) v)
31.0ms
(*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) v)
31.0ms
(sinh.f32 (/.f32 1 v))
Compiler

Compiled 2009 to 1373 computations (31.7% saved)

simplify111.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
890×associate-/l*_binary32
446×associate-*l/_binary32
348×associate-/l/_binary32
335×associate-*r/_binary32
316×associate-/r*_binary32
Counts
105 → 55
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01711340
14131171
214351171
344791133
447221133
549941133
649281133

prune95.0ms (0.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New48755
Fresh011
Picked101
Done000
Total49857
Error
0.1b
Counts
57 → 8
Alt Table
StatusErrorProgram
0.4b
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 (/.f32 cosTheta_i (sqrt.f32 v)) 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))) (/.f32 (*.f32 (/.f32 cosTheta_i (*.f32 (cbrt.f32 v) (cbrt.f32 v))) 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 (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) (sqrt.f32 v)) (sqrt.f32 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 2 (sinh.f32 (/.f32 1 v))) (*.f32 (cbrt.f32 v) (cbrt.f32 v))) (cbrt.f32 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 (cbrt.f32 (*.f32 v (*.f32 2 (sinh.f32 (/.f32 1 v))))) (cbrt.f32 (*.f32 v (*.f32 2 (sinh.f32 (/.f32 1 v)))))) (cbrt.f32 (*.f32 v (*.f32 2 (sinh.f32 (/.f32 1 v)))))))
2.7b
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (log.f32 (pow.f32 (exp.f32 (sinh.f32 (/.f32 1 v))) (*.f32 v 2))))
0.5b
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (exp.f32 (log.f32 (*.f32 v (*.f32 2 (sinh.f32 (/.f32 1 v)))))))
▶0.4b
(*.f32 cosTheta_O (/.f32 (/.f32 cosTheta_i v) (*.f32 v (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))))))
Compiler

Compiled 1378 to 736 computations (46.6% saved)

localize54.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.3b
(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
0.3b
(*.f32 v (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))))
0.4b
(/.f32 (/.f32 cosTheta_i v) (*.f32 v (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)))))
0.8b
(sinh.f32 (/.f32 1 v))

rewrite382.0ms (2.5%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
50×add-cbrt-cube_binary32
44×add-exp-log_binary32
34×times-frac_binary32
21×add-cube-cbrt_binary32 add-sqr-sqrt_binary32 *-un-lft-identity_binary32
19×prod-exp_binary32 cbrt-unprod_binary32
Counts
4 → 106
Calls

4 calls:

15.0ms
(/.f32 (/.f32 cosTheta_i v) (*.f32 v (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)))))
12.0ms
(*.f32 v (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))))
4.0ms
(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
2.0ms
(sinh.f32 (/.f32 1 v))
Compiler

Compiled 3186 to 1444 computations (54.7% saved)

series489.0ms (3.2%)

Error
0.1b
Counts
4 → 43
Calls

4 calls:

260.0ms
(/.f32 (/.f32 cosTheta_i v) (*.f32 v (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)))))
92.0ms
(*.f32 v (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))))
47.0ms
(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
32.0ms
(sinh.f32 (/.f32 1 v))
Compiler

Compiled 3440 to 2436 computations (29.2% saved)

simplify176.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
616×associate-/r/_binary32
273×associate-/r*_binary32
238×associate-*l*_binary32
221×associate-*r*_binary32
219×times-frac_binary32
Counts
149 → 111
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02714473
17483621
228143545
346603537
449663537
549513537

prune248.0ms (1.6%)

Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New10110111
Fresh257
Picked101
Done000
Total10415119
Error
0.1b
Counts
119 → 15
Alt Table
StatusErrorProgram
0.5b
(*.f32 cosTheta_O (*.f32 (/.f32 (/.f32 1 v) (*.f32 (cbrt.f32 v) (cbrt.f32 v))) (/.f32 (/.f32 cosTheta_i (cbrt.f32 v)) (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))
0.5b
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 (/.f32 cosTheta_i (*.f32 (cbrt.f32 v) (cbrt.f32 v))) 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 (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) (sqrt.f32 v)) (sqrt.f32 v)))
0.4b
(*.f32 cosTheta_O (/.f32 (/.f32 cosTheta_i v) (exp.f32 (+.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v) (log.f32 (*.f32 v (*.f32 2 (sinh.f32 (/.f32 1 v)))))))))
0.4b
(*.f32 cosTheta_O (/.f32 (/.f32 cosTheta_i v) (*.f32 (sqrt.f32 v) (*.f32 (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))) (sqrt.f32 v)))))
▶0.3b
(*.f32 cosTheta_O (*.f32 (/.f32 1 v) (/.f32 cosTheta_i (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v))))))))
0.4b
(*.f32 cosTheta_O (/.f32 (/.f32 cosTheta_i (*.f32 v v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)))))
0.4b
(*.f32 cosTheta_O (/.f32 (/.f32 1 (sqrt.f32 v)) (/.f32 v (/.f32 (/.f32 cosTheta_i (sqrt.f32 v)) (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 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 (cbrt.f32 (*.f32 v (*.f32 2 (sinh.f32 (/.f32 1 v))))) (cbrt.f32 (*.f32 v (*.f32 2 (sinh.f32 (/.f32 1 v)))))) (cbrt.f32 (*.f32 v (*.f32 2 (sinh.f32 (/.f32 1 v)))))))
0.4b
(*.f32 cosTheta_O (/.f32 (/.f32 cosTheta_i v) (*.f32 v (*.f32 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))) (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))))))
24.4b
(*.f32 cosTheta_O (/.f32 (/.f32 (sqrt.f32 cosTheta_i) (*.f32 (cbrt.f32 v) (cbrt.f32 v))) (/.f32 v (/.f32 (/.f32 (sqrt.f32 cosTheta_i) (cbrt.f32 v)) (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v))))))))
2.7b
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (log.f32 (pow.f32 (exp.f32 (sinh.f32 (/.f32 1 v))) (*.f32 v 2))))
0.5b
(*.f32 cosTheta_O (/.f32 (/.f32 (*.f32 (cbrt.f32 cosTheta_i) (cbrt.f32 cosTheta_i)) 1) (/.f32 v (/.f32 (cbrt.f32 cosTheta_i) (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))))
0.5b
(*.f32 cosTheta_O (*.f32 (*.f32 (cbrt.f32 (/.f32 (/.f32 cosTheta_i v) (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v))))))) (cbrt.f32 (/.f32 (/.f32 cosTheta_i v) (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))) (cbrt.f32 (/.f32 (/.f32 cosTheta_i v) (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))))
0.5b
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (exp.f32 (log.f32 (*.f32 v (*.f32 2 (sinh.f32 (/.f32 1 v)))))))
Compiler

Compiled 2785 to 1528 computations (45.1% saved)

localize53.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b
(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
0.3b
(*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))
0.4b
(*.f32 (/.f32 1 v) (/.f32 cosTheta_i (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))
0.8b
(sinh.f32 (/.f32 1 v))

rewrite486.0ms (3.2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
93×add-exp-log_binary32
63×add-cbrt-cube_binary32
51×prod-exp_binary32
29×cbrt-unprod_binary32
28×div-exp_binary32
Counts
4 → 117
Calls

4 calls:

19.0ms
(*.f32 (/.f32 1 v) (/.f32 cosTheta_i (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))
12.0ms
(*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))
4.0ms
(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
2.0ms
(sinh.f32 (/.f32 1 v))
Compiler

Compiled 3828 to 2058 computations (46.2% saved)

series504.0ms (3.3%)

Error
0.1b
Counts
4 → 43
Calls

4 calls:

258.0ms
(*.f32 (/.f32 1 v) (/.f32 cosTheta_i (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))
93.0ms
(*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))
48.0ms
(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
32.0ms
(sinh.f32 (/.f32 1 v))
Compiler

Compiled 3560 to 2568 computations (27.9% saved)

simplify218.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
469×associate-/r/_binary32
346×times-frac_binary32
307×associate-*r*_binary32
275×associate-*l*_binary32
225×associate-/r*_binary32
Counts
160 → 112
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02654949
17153855
229683791
345443791
449603791
549983791
649523791

prune257.0ms (1.7%)

Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New1066112
Fresh41014
Picked101
Done000
Total11116127
Error
0.0b
Counts
127 → 16
Alt Table
StatusErrorProgram
0.5b
(*.f32 cosTheta_O (*.f32 (/.f32 1 (*.f32 (cbrt.f32 v) (cbrt.f32 v))) (/.f32 (/.f32 cosTheta_i (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))) (cbrt.f32 v))))
0.5b
(*.f32 cosTheta_O (*.f32 (/.f32 (/.f32 1 v) (*.f32 (cbrt.f32 v) (cbrt.f32 v))) (/.f32 (/.f32 cosTheta_i (cbrt.f32 v)) (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))
0.5b
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 (/.f32 cosTheta_i (*.f32 (cbrt.f32 v) (cbrt.f32 v))) 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 (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) (sqrt.f32 v)) (sqrt.f32 v)))
0.4b
(*.f32 cosTheta_O (*.f32 (/.f32 1 v) (/.f32 cosTheta_i (*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v)))))))
0.4b
(*.f32 cosTheta_O (*.f32 (/.f32 1 v) (/.f32 cosTheta_i (*.f32 (*.f32 (cbrt.f32 v) (cbrt.f32 v)) (*.f32 (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))) (cbrt.f32 v))))))
0.4b
(*.f32 cosTheta_O (/.f32 (/.f32 cosTheta_i (*.f32 v v)) (*.f32 (*.f32 (sinh.f32 (/.f32 1 v)) 2) (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)))))
▶0.4b
(*.f32 cosTheta_O (*.f32 (/.f32 1 v) (/.f32 cosTheta_i (exp.f32 (+.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v) (log.f32 (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) 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 (cbrt.f32 (*.f32 v (*.f32 2 (sinh.f32 (/.f32 1 v))))) (cbrt.f32 (*.f32 v (*.f32 2 (sinh.f32 (/.f32 1 v)))))) (cbrt.f32 (*.f32 v (*.f32 2 (sinh.f32 (/.f32 1 v)))))))
24.4b
(*.f32 cosTheta_O (/.f32 (/.f32 (sqrt.f32 cosTheta_i) (*.f32 (cbrt.f32 v) (cbrt.f32 v))) (/.f32 v (/.f32 (/.f32 (sqrt.f32 cosTheta_i) (cbrt.f32 v)) (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v))))))))
0.4b
(*.f32 cosTheta_O (*.f32 (/.f32 1 (*.f32 v v)) (/.f32 cosTheta_i (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))
0.5b
(*.f32 cosTheta_O (*.f32 (/.f32 (*.f32 (cbrt.f32 (/.f32 cosTheta_i (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v))))))) (cbrt.f32 (/.f32 cosTheta_i (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))) v) (cbrt.f32 (/.f32 cosTheta_i (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))))
2.7b
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (log.f32 (pow.f32 (exp.f32 (sinh.f32 (/.f32 1 v))) (*.f32 v 2))))
0.5b
(*.f32 cosTheta_O (/.f32 (/.f32 (*.f32 (cbrt.f32 cosTheta_i) (cbrt.f32 cosTheta_i)) 1) (/.f32 v (/.f32 (cbrt.f32 cosTheta_i) (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))))
0.5b
(*.f32 cosTheta_O (*.f32 (*.f32 (cbrt.f32 (/.f32 (/.f32 cosTheta_i v) (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v))))))) (cbrt.f32 (/.f32 (/.f32 cosTheta_i v) (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))) (cbrt.f32 (/.f32 (/.f32 cosTheta_i v) (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))))
0.5b
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (exp.f32 (log.f32 (*.f32 v (*.f32 2 (sinh.f32 (/.f32 1 v)))))))
Compiler

Compiled 2707 to 1611 computations (40.5% saved)

localize58.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.3b
(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
0.4b
(*.f32 (/.f32 1 v) (/.f32 cosTheta_i (exp.f32 (+.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v) (log.f32 (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) v))))))
0.5b
(exp.f32 (+.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v) (log.f32 (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) v))))
0.8b
(sinh.f32 (/.f32 1 v))

rewrite448.0ms (2.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
39×add-sqr-sqrt_binary32
31×times-frac_binary32
29×*-un-lft-identity_binary32
27×add-exp-log_binary32
22×add-cube-cbrt_binary32
Counts
4 → 107
Calls

4 calls:

25.0ms
(*.f32 (/.f32 1 v) (/.f32 cosTheta_i (exp.f32 (+.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v) (log.f32 (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) v))))))
13.0ms
(exp.f32 (+.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v) (log.f32 (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) v))))
4.0ms
(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
2.0ms
(sinh.f32 (/.f32 1 v))
Compiler

Compiled 3634 to 2176 computations (40.1% saved)

series389.0ms (2.5%)

Error
0.0b
Counts
4 → 43
Calls

4 calls:

172.0ms
(*.f32 (/.f32 1 v) (/.f32 cosTheta_i (exp.f32 (+.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v) (log.f32 (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) v))))))
69.0ms
(exp.f32 (+.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v) (log.f32 (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) v))))
51.0ms
(/.f32 (*.f32 sinTheta_i sinTheta_O) v)
33.0ms
(sinh.f32 (/.f32 1 v))
Compiler

Compiled 2869 to 2090 computations (27.2% saved)

simplify164.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
526×associate-/l/_binary32
357×*-commutative_binary32
263×associate-/r/_binary32
170×exp-prod_binary32
169×sub-neg_binary32
Counts
150 → 114
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02283993
15463528
219003478
340333478
446743478
550453478

prune314.0ms (2.1%)

Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New1095114
Fresh7815
Picked011
Done000
Total11614130
Error
0.0b
Counts
130 → 14
Alt Table
StatusErrorProgram
0.5b
(*.f32 cosTheta_O (*.f32 (/.f32 (/.f32 1 v) (*.f32 (cbrt.f32 v) (cbrt.f32 v))) (/.f32 (/.f32 cosTheta_i (cbrt.f32 v)) (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))
0.5b
(*.f32 cosTheta_O (*.f32 (/.f32 (/.f32 (*.f32 (cbrt.f32 cosTheta_i) (cbrt.f32 cosTheta_i)) (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) v) (/.f32 (cbrt.f32 cosTheta_i) (exp.f32 (log.f32 (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) v))))))
0.5b
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 (/.f32 cosTheta_i (*.f32 (cbrt.f32 v) (cbrt.f32 v))) 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 (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) (sqrt.f32 v)) (sqrt.f32 v)))
0.4b
(*.f32 cosTheta_O (*.f32 (/.f32 1 v) (/.f32 cosTheta_i (*.f32 v (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v)))))))
0.6b
(*.f32 cosTheta_O (*.f32 (/.f32 1 v) (/.f32 cosTheta_i (pow.f32 (exp.f32 (*.f32 (cbrt.f32 (+.f32 (log.f32 (*.f32 2 (*.f32 v (sinh.f32 (/.f32 1 v))))) (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (cbrt.f32 (+.f32 (log.f32 (*.f32 2 (*.f32 v (sinh.f32 (/.f32 1 v))))) (/.f32 (*.f32 sinTheta_i sinTheta_O) v))))) (cbrt.f32 (+.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v) (log.f32 (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) v))))))))
0.4b
(*.f32 cosTheta_O (*.f32 (/.f32 1 v) (/.f32 cosTheta_i (exp.f32 (+.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v) (log.f32 (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) 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 (cbrt.f32 (*.f32 v (*.f32 2 (sinh.f32 (/.f32 1 v))))) (cbrt.f32 (*.f32 v (*.f32 2 (sinh.f32 (/.f32 1 v)))))) (cbrt.f32 (*.f32 v (*.f32 2 (sinh.f32 (/.f32 1 v)))))))
0.4b
(*.f32 cosTheta_O (*.f32 (/.f32 1 v) (/.f32 cosTheta_i (exp.f32 (+.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v) (log.f32 (*.f32 (*.f32 2 (*.f32 1/2 (-.f32 (exp.f32 (/.f32 1 v)) (exp.f32 (/.f32 -1 v))))) v)))))))
0.4b
(*.f32 cosTheta_O (*.f32 (/.f32 1 v) (/.f32 cosTheta_i (pow.f32 E.f32 (+.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v) (log.f32 (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) v)))))))
0.5b
(*.f32 cosTheta_O (*.f32 (/.f32 cosTheta_i v) (/.f32 1 (exp.f32 (+.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v) (log.f32 (*.f32 (*.f32 2 (sinh.f32 (/.f32 1 v))) v)))))))
2.7b
(/.f32 (*.f32 (exp.f32 (neg.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v))) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)) (log.f32 (pow.f32 (exp.f32 (sinh.f32 (/.f32 1 v))) (*.f32 v 2))))
0.5b
(*.f32 cosTheta_O (/.f32 (/.f32 (*.f32 (cbrt.f32 cosTheta_i) (cbrt.f32 cosTheta_i)) 1) (/.f32 v (/.f32 (cbrt.f32 cosTheta_i) (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))))
0.5b
(*.f32 cosTheta_O (*.f32 (*.f32 (cbrt.f32 (/.f32 (/.f32 cosTheta_i v) (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v))))))) (cbrt.f32 (/.f32 (/.f32 cosTheta_i v) (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))) (cbrt.f32 (/.f32 (/.f32 cosTheta_i v) (*.f32 v (*.f32 (exp.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (*.f32 2 (sinh.f32 (/.f32 1 v)))))))))
Compiler

Compiled 2815 to 1633 computations (42% saved)

regimes7.0s (45.8%)

Accuracy

Total 0.3b remaining (76.1%)

Threshold costs 0.3b (76.1%)

Compiler

Compiled 84706 to 58294 computations (31.2% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Rules
5×*-commutative_binary32
1×1-exp_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01935
12635
22535

end49.0ms (0.3%)

Remove

(sort sinTheta_i sinTheta_O)

Compiler

Compiled 196 to 140 computations (28.6% saved)

sample3.1s (20.6%)

Algorithm
1×intervals
Results
789.0ms8000×body128valid
411.0ms8000×pre128true
Compiler

Compiled 611 to 420 computations (31.3% saved)

Profiling

Loading profile data...