Details

Time bar (total: 2.5min)

analyze86.0ms (0.1%)

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

Compiled 66 to 53 computations (19.7% saved)

sample40.0ms (0%)

Algorithm
1×intervals
Results
31.0ms256×body128valid
Compiler

Compiled 132 to 106 computations (19.7% saved)

simplify65.0ms (0%)

Algorithm
1×egg-herbie
Rules
578×times-frac_binary64
564×cancel-sign-sub-inv_binary64
457×div-sub_binary64
380×distribute-rgt-in_binary64
359×distribute-lft-in_binary64
Counts
1 → 1
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02793
19179
225279
375079
4253679
5460279
6520479

prune9.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
15.2b
Counts
2 → 2
Alt Table
StatusErrorProgram
15.3b
(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (*.f64 x x)))))
▶15.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
Compiler

Compiled 286 to 227 computations (20.6% saved)

localize28.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.2b
(*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496)))))
0.5b
(+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))
15.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))

rewrite610.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
15.1b
Rules
27×add-sqr-sqrt_binary64
21×*-un-lft-identity_binary64
20×add-cube-cbrt_binary64 times-frac_binary64
17×add-exp-log_binary64
15×associate-*l*_binary64
Counts
4 → 101
Calls

4 calls:

14.0ms
(*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496)))))
6.0ms
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
5.0ms
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
4.0ms
(+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))
Compiler

Compiled 8584 to 6492 computations (24.4% saved)

series337.0ms (0.2%)

Error
15.2b
Counts
4 → 12
Calls

4 calls:

156.0ms
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
83.0ms
(+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))
52.0ms
(*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496)))))
19.0ms
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
Compiler

Compiled 2363 to 1865 computations (21.1% saved)

simplify258.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
676×times-frac_binary64
327×cancel-sign-sub-inv_binary64
279×exp-prod_binary64
212×distribute-rgt-neg-in_binary64
205×distribute-rgt-in_binary64
Counts
113 → 102
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02356736
16765612
223685552
345705552
449945552
549025552

prune276.0ms (0.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New957102
Fresh101
Picked101
Done000
Total977104
Error
15.2b
Counts
104 → 7
Alt Table
StatusErrorProgram
15.2b
(log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (*.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) (exp.f64 (*.f64 x x)))))))
15.2b
(/.f64 (-.f64 1 (pow.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (*.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) (exp.f64 (*.f64 x x)))) 3)) (+.f64 1 (*.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (*.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) (exp.f64 (*.f64 x x)))) (+.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (*.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) (exp.f64 (*.f64 x x))))))))
15.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (sqrt.f64 (/.f64 1 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
15.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (cbrt.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (cbrt.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
15.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (cbrt.f64 (/.f64 1 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (cbrt.f64 (/.f64 1 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
▶15.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (-.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
15.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (-.f64 (*.f64 1 1) (*.f64 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)) (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (-.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
Compiler

Compiled 6782 to 5065 computations (25.3% saved)

localize38.0ms (0%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))
0.5b
(-.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))
0.5b
(-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))))
15.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (-.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))

rewrite897.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Error
15.1b
Rules
56×*-un-lft-identity_binary64
49×times-frac_binary64
47×add-sqr-sqrt_binary64
36×associate-*r*_binary64
30×add-cube-cbrt_binary64
Counts
4 → 121
Calls

4 calls:

62.0ms
(*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))
38.0ms
(-.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))
21.0ms
(-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))))
4.0ms
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (-.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
Compiler

Compiled 18659 to 14266 computations (23.5% saved)

series2.2s (1.5%)

Error
15.2b
Counts
4 → 12
Calls

4 calls:

1.7s
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (-.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
197.0ms
(-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))))
110.0ms
(*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))
90.0ms
(-.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))
Compiler

Compiled 8195 to 6680 computations (18.5% saved)

simplify494.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
217×sub-neg_binary64
212×associate-*l*_binary64
206×*-commutative_binary64
201×associate-*r/_binary64
196×associate-*r*_binary64
Counts
133 → 102
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
046019404
1114017137
2422416109
3489916109
4495216109

prune384.0ms (0.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1002102
Fresh246
Picked011
Done000
Total1027109
Error
15.1b
Counts
109 → 7
Alt Table
StatusErrorProgram
15.2b
(log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (*.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) (exp.f64 (*.f64 x x)))))))
▶15.2b
(/.f64 (-.f64 1 (pow.f64 (/.f64 (/.f64 (/.f64 (-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (-.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))) 3)) (+.f64 1 (*.f64 (/.f64 (/.f64 (/.f64 (-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (-.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))) (+.f64 1 (/.f64 (/.f64 (/.f64 (-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (-.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x)))))))
15.2b
(exp.f64 (log.f64 (-.f64 1 (/.f64 (/.f64 (/.f64 (-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (-.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))))))
15.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (sqrt.f64 (/.f64 1 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
15.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (cbrt.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (cbrt.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
15.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (cbrt.f64 (/.f64 1 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (cbrt.f64 (/.f64 1 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
✓15.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (-.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
Compiler

Compiled 10889 to 8359 computations (23.2% saved)

localize67.0ms (0%)

Local error

Found 4 expressions with local error:

0.5b
(-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))))
0.5b
(-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))))
0.8b
(pow.f64 (/.f64 (/.f64 (/.f64 (-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (-.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))) 3)
14.6b
(-.f64 1 (pow.f64 (/.f64 (/.f64 (/.f64 (-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (-.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))) 3))

rewrite15.5s (10.4%)

Algorithm
1×rewrite-expression-head
Error
14.2b
Rules
2580×times-frac_binary64
1574×add-sqr-sqrt_binary64
1210×*-un-lft-identity_binary64
982×add-cube-cbrt_binary64
484×unpow-prod-down_binary64 cube-prod_binary64 cancel-sign-sub-inv_binary64
Counts
4 → 1038
Calls

4 calls:

227.0ms
(-.f64 1 (pow.f64 (/.f64 (/.f64 (/.f64 (-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (-.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))) 3))
88.0ms
(pow.f64 (/.f64 (/.f64 (/.f64 (-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (-.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))) 3)
30.0ms
(-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))))
21.0ms
(-.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (/.f64 (+.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) -5125037576950889/18014398509481984) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))))
Compiler

Compiled 238610 to 183539 computations (23.1% saved)

series2.1min (85.8%)

Compiler

Compiled 3565 to 2954 computations (17.1% saved)

Profiling

Loading profile data...