Details

analyze160.0ms (0.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5204	79
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

Compiler

Compiled 65 to 53 computations (18.5% saved)

sample38.0ms (0%)

Algorithm

1×

intervals

Results

30.0ms

256×

body

128

valid

Compiler

Compiled 129 to 106 computations (17.8% saved)

simplify60.0ms (0%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5204	79

prune12.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

13.8b

Counts

2 → 2

Compiler

Compiled 166 to 134 computations (19.3% saved)

localize22.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(.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.2b	(.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)))))))))
0.4b	(+.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))))))))
13.7b	(-.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))))))

rewrite53.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`add-sqr-sqrt_binary64_2487`
30×	`associate-l_binary64_2406`
22×	`*-un-lft-identity_binary64_2465` `times-frac_binary64_2471` `add-exp-log_binary64_2503`
20×	`add-cube-cbrt_binary64_2500`
14×	`add-cbrt-cube_binary64_2501`
8×	`add-log-exp_binary64_2504` `pow1_binary64_2526` `prod-exp_binary64_2514`
7×	`flip3-+_binary64_2468` `flip-+_binary64_2439`
6×	`unswap-sqr_binary64_2433` `associate-r_binary64_2405`
4×	`frac-times_binary64_2475` `associate-*r/_binary64_2407` `div-exp_binary64_2516` `associate-/r/_binary64_2411` `cbrt-unprod_binary64_2498`
3×	`distribute-lft-in_binary64_2414` `distribute-rgt-in_binary64_2415`
2×	`associate-l/_binary64_2408` `-commutative_binary64_2396` `rec-exp_binary64_2515` `cbrt-undiv_binary64_2499` `div-inv_binary64_2462` `associate-+r+_binary64_2397` `pow-prod-down_binary64_2536` `1-exp_binary64_2509`
1×	`+-commutative_binary64_2395` `flip--_binary64_2440` `sum-log_binary64_2556` `sub-neg_binary64_2458` `cancel-sign-sub-inv_binary64_2431` `diff-log_binary64_2557` `flip3--_binary64_2469`

Counts

4 → 111

Calls

4 calls:

12.0ms	(.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)))
11.0ms	(.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)))))))))
4.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))))))))

series2.6s (1.7%)

Counts

4 → 12

Calls

4 calls:

1.2s	(-.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))))))
735.0ms	(.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)))))))))
514.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))))))))
112.0ms	(.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)))

simplify137.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5065	7965

prune621.0ms (0.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	115	8	123
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	117	8	125

Error

13.7b

Counts

125 → 8

Compiler

Compiled 10110 to 7447 computations (26.3% saved)

localize28.0ms (0%)

Local error

Found 4 expressions with local error:

0.4b	(+.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)))))
0.4b	(/.f64 1 (-.f64 (.f64 1 1) (.f64 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)) (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
13.7b	(-.f64 1 (.f64 (.f64 (/.f64 1 (-.f64 (.f64 1 1) (.f64 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)) (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.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 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
13.9b	(.f64 (/.f64 1 (-.f64 (.f64 1 1) (.f64 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)) (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.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 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))

rewrite136.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-exp-log_binary64_2503`
24×	`times-frac_binary64_2471`
23×	`*-un-lft-identity_binary64_2465`
21×	`add-cube-cbrt_binary64_2500` `add-sqr-sqrt_binary64_2487`
18×	`add-cbrt-cube_binary64_2501` `associate-l_binary64_2406`
16×	`frac-times_binary64_2475`
12×	`associate-*r/_binary64_2407` `prod-exp_binary64_2514`
10×	`pow1_binary64_2526`
9×	`flip--_binary64_2440` `flip3--_binary64_2469`
8×	`add-log-exp_binary64_2504` `distribute-lft-in_binary64_2414` `distribute-rgt-in_binary64_2415`
7×	`flip3-+_binary64_2468` `difference-of-squares_binary64_2434` `flip-+_binary64_2439`
6×	`div-exp_binary64_2516` `cbrt-unprod_binary64_2498`
5×	`associate-*l/_binary64_2408` `sub-neg_binary64_2458` `cancel-sign-sub-inv_binary64_2431`
4×	`associate-/r*_binary64_2409` `associate-/r/_binary64_2411`
3×	`rec-exp_binary64_2515` `cbrt-undiv_binary64_2499` `pow-prod-down_binary64_2536` `associate-/l*_binary64_2410` `1-exp_binary64_2509`
2×	`div-inv_binary64_2462`
1×	`-commutative_binary64_2396` `+-commutative_binary64_2395` `sum-log_binary64_2556` `inv-pow_binary64_2550` `pow-flip_binary64_2539` `clear-num_binary64_2464` `diff-log_binary64_2557` `frac-2neg_binary64_2476` `associate-r*_binary64_2405` `distribute-lft-out_binary64_2416`

Counts

4 → 127

Calls

4 calls:

53.0ms	(.f64 (/.f64 1 (-.f64 (.f64 1 1) (.f64 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)) (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.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 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
33.0ms	(+.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)))))
10.0ms	(/.f64 1 (-.f64 (.f64 1 1) (.f64 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)) (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
5.0ms	(-.f64 1 (.f64 (.f64 (/.f64 1 (-.f64 (.f64 1 1) (.f64 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)) (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.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 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))

series5.4s (3.6%)

Counts

4 → 12

Calls

4 calls:

3.8s	(-.f64 1 (.f64 (.f64 (/.f64 1 (-.f64 (.f64 1 1) (.f64 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)) (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.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 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
947.0ms	(.f64 (/.f64 1 (-.f64 (.f64 1 1) (.f64 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)) (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.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 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
506.0ms	(+.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)))))
97.0ms	(/.f64 1 (-.f64 (.f64 1 1) (.f64 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)) (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))

simplify167.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4943	11553
1	4943	11553

prune1.2s (0.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	135	4	139
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	139	8	147

Error

13.7b

Counts

147 → 8

Compiler

Compiled 13324 to 9618 computations (27.8% saved)

localize41.0ms (0%)

Local error

Found 4 expressions with local error:

0.5b	(+.f64 (/.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)))) -2295300911148351/9007199254740992)
0.9b	(pow.f64 (/.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)))) 3)
13.7b	(-.f64 1 (.f64 (/.f64 (.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 12092577718070346740510577409198160287989487551/730750818665451459101842416358141509827966271488 (pow.f64 (/.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)))) 3))) (.f64 (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016))) (+.f64 5268406272718450291917530019201/81129638414606681695789005144064 (.f64 (/.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 (+.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)))) -2295300911148351/9007199254740992))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
14.1b	(/.f64 (.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 12092577718070346740510577409198160287989487551/730750818665451459101842416358141509827966271488 (pow.f64 (/.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)))) 3))) (.f64 (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016))) (+.f64 5268406272718450291917530019201/81129638414606681695789005144064 (.f64 (/.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 (+.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)))) -2295300911148351/9007199254740992)))))

rewrite178.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`*-un-lft-identity_binary64_2465`
25×	`times-frac_binary64_2471`
21×	`add-cube-cbrt_binary64_2500` `add-sqr-sqrt_binary64_2487`
19×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
18×	`cube-prod_binary64_2493` `unpow-prod-down_binary64_2544`
12×	`associate-/r/_binary64_2411`
9×	`flip3-+_binary64_2468` `flip-+_binary64_2439`
8×	`add-log-exp_binary64_2504` `frac-times_binary64_2475` `associate-/l/_binary64_2412`
7×	`flip--_binary64_2440` `distribute-lft-out_binary64_2416` `flip3--_binary64_2469`
5×	`cbrt-undiv_binary64_2499` `div-exp_binary64_2516` `pow1_binary64_2526`
4×	`associate-l/_binary64_2408` `associate-r/_binary64_2407` `prod-exp_binary64_2514` `cbrt-unprod_binary64_2498`
3×	`div-inv_binary64_2462` `pow-unpow_binary64_2542`
2×	`rem-cube-cbrt_binary64_2488` `pow-exp_binary64_2533`
1×	`unpow3_binary64_2531` `+-commutative_binary64_2395` `associate-/r_binary64_2409` `sum-log_binary64_2556` `clear-num_binary64_2464` `sub-neg_binary64_2458` `cube-mult_binary64_2495` `pow-to-exp_binary64_2534` `cancel-sign-sub-inv_binary64_2431` `sqr-pow_binary64_2437` `diff-log_binary64_2557` `pow-pow_binary64_2537` `frac-2neg_binary64_2476` `cube-div_binary64_2494` `associate-/l_binary64_2410`

Counts

4 → 117

Calls

4 calls:

56.0ms	(/.f64 (.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 12092577718070346740510577409198160287989487551/730750818665451459101842416358141509827966271488 (pow.f64 (/.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)))) 3))) (.f64 (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016))) (+.f64 5268406272718450291917530019201/81129638414606681695789005144064 (.f64 (/.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 (+.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)))) -2295300911148351/9007199254740992)))))
36.0ms	(+.f64 (/.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)))) -2295300911148351/9007199254740992)
29.0ms	(pow.f64 (/.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)))) 3)
4.0ms	(-.f64 1 (.f64 (/.f64 (.f64 (-.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 12092577718070346740510577409198160287989487551/730750818665451459101842416358141509827966271488 (pow.f64 (/.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)))) 3))) (.f64 (-.f64 1 (.f64 x (.f64 x 2176625624901896097756115991881/20282409603651670423947251286016))) (+.f64 5268406272718450291917530019201/81129638414606681695789005144064 (.f64 (/.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 (+.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)))) -2295300911148351/9007199254740992))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))

Details

analyze160.0ms (0.1%)

sample38.0ms (0%)

simplify60.0ms (0%)

prune12.0ms (0%)

localize22.0ms (0%)

rewrite53.0ms (0%)

series2.6s (1.7%)

simplify137.0ms (0.1%)

prune621.0ms (0.4%)

localize28.0ms (0%)

rewrite136.0ms (0.1%)

series5.4s (3.6%)

simplify167.0ms (0.1%)

prune1.2s (0.8%)

localize41.0ms (0%)

rewrite178.0ms (0.1%)

series2.3min (92.8%)

Profiling