Details

Time bar (total: 2.5min)

analyze413.0ms (0.3%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%74.9%25.1%3
0%74.9%25.1%4
0%74.9%25.1%5
0%62.4%37.6%6
0%31.2%68.8%7
0%31.2%68.8%8
0%31.2%68.8%9
0%28.1%71.9%10
6.1%20.4%73.5%11
6.1%20.4%73.5%12
7.7%18.8%73.5%13
9.2%16.6%74.3%14
Compiler

Compiled 22 to 17 computations (22.7% saved)

sample119.0ms (0.1%)

Algorithm
intervals
Results
18.0ms195×body128valid
16.0ms24×body1024valid
7.0ms22×body512valid
4.0ms15×body256valid
1.0ms14×body128nan
Compiler

Compiled 47 to 37 computations (21.3% saved)

simplify94.0ms (0.1%)

Algorithm
egg-herbie
Rules
735×unsub-neg_binary64
674×sub-neg_binary64
591×distribute-rgt-in_binary64
584×fma-def_binary64
542×fma-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01524
13123
26523
312923
430823
576523
6152723
7223123
8217223
9224923
10226423
11227423
12308423
13520223

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.1b
Counts
3 → 1
Alt Table
StatusErrorProgram
0.1b
(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) t)
Compiler

Compiled 74 to 53 computations (28.4% saved)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) t)
0.0b
(log1p.f64 (neg.f64 y))
0.0b
(*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))
0.1b
(fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))

series484.0ms (0.3%)

Counts
4 → 120
Calls

4 calls:

255.0ms
(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) t)
173.0ms
(fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))
54.0ms
(*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))
3.0ms
(log1p.f64 (neg.f64 y))

rewrite12.0ms (0%)

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt_binary64
19×*-un-lft-identity_binary64
14×add-cube-cbrt_binary64
prod-diff_binary64
associate-*l*_binary64
Counts
4 → 78
Calls

4 calls:

5.0ms
(*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))
3.0ms
(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) t)
0.0ms
(fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))
0.0ms
(log1p.f64 (neg.f64 y))

simplify136.0ms (0.1%)

Algorithm
egg-herbie
Rules
775×sub-neg_binary64
366×fma-def_binary64
340×associate-+r+_binary64
329×unsub-neg_binary64
321×+-commutative_binary64
Counts
198 → 232
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03465725
110714692
241044680
354554680

prune231.0ms (0.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New2284232
Fresh000
Picked101
Done000
Total2294233
Error
0.1b
Counts
233 → 4
Alt Table
StatusErrorProgram
0.8b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
0.4b
(-.f64 (-.f64 (+.f64 y (fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y)))) (+.f64 (log.f64 y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y)))) t)
20.8b
(-.f64 (*.f64 (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
27.5b
(-.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 y) (+.f64 x -1) (*.f64 (log1p.f64 (neg.f64 y)) (+.f64 z -1))) 3)) t)
Compiler

Compiled 6681 to 3766 computations (43.6% saved)

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(+.f64 (log.f64 y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y)))
0.0b
(*.f64 z (fma.f64 1/2 (*.f64 y y) y))
0.0b
(-.f64 (+.f64 y (fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y)))) (+.f64 (log.f64 y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y))))
0.3b
(fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y)))

series278.0ms (0.2%)

Counts
4 → 108
Calls

4 calls:

163.0ms
(-.f64 (+.f64 y (fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y)))) (+.f64 (log.f64 y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y))))
59.0ms
(fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y)))
40.0ms
(+.f64 (log.f64 y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y)))
16.0ms
(*.f64 z (fma.f64 1/2 (*.f64 y y) y))

rewrite19.0ms (0%)

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity_binary64
21×add-sqr-sqrt_binary64
17×add-cube-cbrt_binary64
15×add-log-exp_binary64
12×prod-diff_binary64
Counts
4 → 98
Calls

4 calls:

7.0ms
(-.f64 (+.f64 y (fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y)))) (+.f64 (log.f64 y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y))))
3.0ms
(+.f64 (log.f64 y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y)))
3.0ms
(*.f64 z (fma.f64 1/2 (*.f64 y y) y))
0.0ms
(fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y)))

simplify190.0ms (0.1%)

Algorithm
egg-herbie
Rules
958×fma-neg_binary64
492×cancel-sign-sub-inv_binary64
204×sub-neg_binary64
191×distribute-rgt-neg-in_binary64
159×distribute-rgt-in_binary64
Counts
206 → 172
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02165505
16014927
223494629
342764628
449944628
549264628

prune212.0ms (0.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1711172
Fresh033
Picked011
Done000
Total1715176
Error
0.0b
Counts
176 → 5
Alt Table
StatusErrorProgram
0.8b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
0.4b
(-.f64 (-.f64 (+.f64 y (fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y)))) (+.f64 (log.f64 y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y)))) t)
20.8b
(-.f64 (*.f64 (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
27.5b
(-.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 y) (+.f64 x -1) (*.f64 (log1p.f64 (neg.f64 y)) (+.f64 z -1))) 3)) t)
29.8b
(-.f64 (/.f64 (*.f64 (-.f64 (log.f64 y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y))) (-.f64 (+.f64 (pow.f64 (fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y))) 3) (pow.f64 y 3)) (*.f64 (fma.f64 y y (*.f64 (fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y))) (-.f64 (fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y))) y))) (fma.f64 z (fma.f64 1/2 (*.f64 y y) y) (log.f64 y))))) (*.f64 (fma.f64 y y (*.f64 (fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y))) (-.f64 (fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y))) y))) (-.f64 (log.f64 y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y))))) t)
Compiler

Compiled 7285 to 3261 computations (55.2% saved)

localize17.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.1b
(fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))
0.4b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))
0.5b
(cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))
0.5b
(*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))

series13.0s (8.7%)

Counts
3 → 108
Calls

3 calls:

12.3s
(*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))
499.0ms
(cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))
243.0ms
(*.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))

rewrite21.0ms (0%)

Algorithm
rewrite-expression-head
Rules
29×pow1_binary64
24×add-sqr-sqrt_binary64
23×cbrt-prod_binary64
16×pow1/3_binary64
14×*-un-lft-identity_binary64
Counts
3 → 93
Calls

3 calls:

8.0ms
(*.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))
4.0ms
(*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))
1.0ms
(cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))

simplify728.0ms (0.5%)

Algorithm
egg-herbie
Rules
904×fma-def_binary64
135×times-frac_binary64
95×sqr-pow_binary64
78×sub-neg_binary64
40×unpow1/3_binary64
Counts
201 → 306
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0351961705
1503661705

prune4.2s (2.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New6414645
Fresh033
Picked011
Done011
Total6419650
Error
0.0b
Counts
650 → 9
Alt Table
StatusErrorProgram
0.8b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
0.4b
(-.f64 (-.f64 (+.f64 y (fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y)))) (+.f64 (log.f64 y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y)))) t)
27.5b
(-.f64 (cbrt.f64 (pow.f64 (fma.f64 (log.f64 y) (+.f64 x -1) (*.f64 (log1p.f64 (neg.f64 y)) (+.f64 z -1))) 3)) t)
20.6b
(-.f64 (*.f64 (cbrt.f64 (*.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))) (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
20.8b
(-.f64 (*.f64 (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
1.1b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))) t)
29.8b
(-.f64 (/.f64 (*.f64 (-.f64 (log.f64 y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y))) (-.f64 (+.f64 (pow.f64 (fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y))) 3) (pow.f64 y 3)) (*.f64 (fma.f64 y y (*.f64 (fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y))) (-.f64 (fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y))) y))) (fma.f64 z (fma.f64 1/2 (*.f64 y y) y) (log.f64 y))))) (*.f64 (fma.f64 y y (*.f64 (fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y))) (-.f64 (fma.f64 (log.f64 y) x (*.f64 1/2 (*.f64 y y))) y))) (-.f64 (log.f64 y) (*.f64 z (fma.f64 1/2 (*.f64 y y) y))))) t)
1.1b
(-.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))) (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
1.1b
(-.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))) (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) t)
Compiler

Compiled 133339 to 90833 computations (31.9% saved)

localize20.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.5b
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))
0.5b
(*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))) (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))))
0.5b
(cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))
0.6b
(cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))

series2.2min (86.5%)

Calls

2 calls:

12.4s
(cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))))
320.0ms
(cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))))

Profiling

Loading profile data...