Details

analyze2.0ms

Algorithm

Search

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

sample61.0ms

Algorithm

intervals

Results

33.0ms	138×	body	160	valid
20.0ms	118×	body	80	valid

simplify69.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5106	83

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 15.4b

Counts

2 → 1

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b	(/.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.1b	(/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.5b	(+.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)))))
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 (fabs.f64 x) (fabs.f64 x))))))

rewrite120.0ms

Algorithm

rewrite-expression-head

Rules

43×	`*-un-lft-identity_binary64_590`
25×	`add-sqr-sqrt_binary64_575`
24×	`times-frac_binary64_585`
22×	`add-cube-cbrt_binary64_561`
9×	`distribute-lft-out_binary64_634`
8×	`add-cbrt-cube_binary64_562` `add-exp-log_binary64_554` `add-log-exp_binary64_555` `associate-/l*_binary64_654`
6×	`associate-/r*_binary64_653`
5×	`flip-+_binary64_615` `flip3-+_binary64_588`
4×	`pow1_binary64_532` `associate-/r/_binary64_655` `associate-/l/_binary64_656`
2×	`difference-of-squares_binary64_619` `div-inv_binary64_591` `cbrt-undiv_binary64_560` `frac-2neg_binary64_583` `clear-num_binary64_593` `div-exp_binary64_539`
1×	`sub-neg_binary64_594` `+-commutative_binary64_657` `flip--_binary64_616` `flip3--_binary64_589` `distribute-lft-out--_binary64_635` `diff-log_binary64_501` `sum-log_binary64_500`

Counts

4 → 96

Calls

4 calls:

28.0ms	(/.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))))
16.0ms	(/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.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)))))
39.0ms	(-.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 (fabs.f64 x) (fabs.f64 x))))))

series2.3s

Counts

4 → 12

Calls

4 calls:

465.0ms	(/.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))))
116.0ms	(/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
468.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)))))
1.2s	(-.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 (fabs.f64 x) (fabs.f64 x))))))

simplify136.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5140	7396

prune379.0ms

Filtered

77 candidates to 108 candidates (-40.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	101	7	108
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	102	7	109

Merged error: 15.3b

Counts

109 → 7

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)
0.3b	(/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))
0.5b	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
15.3b	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))

rewrite118.0ms

Algorithm

rewrite-expression-head

Rules

48×	`*-un-lft-identity_binary64_590`
32×	`times-frac_binary64_585`
28×	`add-sqr-sqrt_binary64_575`
25×	`add-cube-cbrt_binary64_561`
18×	`unpow-prod-down_binary64_521`
10×	`distribute-lft-out_binary64_634` `add-exp-log_binary64_554`
8×	`add-log-exp_binary64_555` `associate-/r*_binary64_653`
6×	`add-cbrt-cube_binary64_562` `unpow2_binary64_529` `sqr-pow_binary64_622`
5×	`pow1_binary64_532`
4×	`associate-/l*_binary64_654`
3×	`pow-unpow_binary64_519` `div-exp_binary64_539`
2×	`flip-+_binary64_615` `pow-to-exp_binary64_511` `difference-of-squares_binary64_619` `associate-/l/_binary64_656` `flip3-+_binary64_588` `pow-exp_binary64_510`
1×	`sub-neg_binary64_594` `+-commutative_binary64_657` `flip--_binary64_616` `div-inv_binary64_591` `cbrt-undiv_binary64_560` `frac-2neg_binary64_583` `pow-pow_binary64_514` `flip3--_binary64_589` `distribute-lft-out--_binary64_635` `clear-num_binary64_593` `diff-log_binary64_501` `sum-log_binary64_500`

Counts

4 → 104

Calls

4 calls:

4.0ms	(pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)
19.0ms	(/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))
41.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
50.0ms	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))

series1.9s

Counts

4 → 12

Calls

4 calls:

31.0ms	(pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)
162.0ms	(/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))
480.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
1.2s	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))

simplify123.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4950	6335
1	4950	6335

prune318.0ms

Filtered

69 candidates to 116 candidates (-68.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	115	1	116
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	116	7	123

Merged error: 15.3b

Counts

123 → 7

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite187.0ms

Algorithm

rewrite-expression-head

Rules

14×	`*-un-lft-identity_binary64_590`
12×	`add-log-exp_binary64_555`
10×	`add-sqr-sqrt_binary64_575`
4×	`add-cbrt-cube_binary64_562` `difference-of-squares_binary64_619` `add-cube-cbrt_binary64_561` `add-exp-log_binary64_554` `pow1_binary64_532`
2×	`flip-+_binary64_615` `sub-neg_binary64_594` `+-commutative_binary64_657` `flip--_binary64_616` `distribute-lft-out_binary64_634` `flip3--_binary64_589` `distribute-lft-out--_binary64_635` `flip3-+_binary64_588` `diff-log_binary64_501` `sum-log_binary64_500`

Counts

4 → 52

Calls

4 calls:

41.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
46.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
47.0ms	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))))
51.0ms	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))))

series3.3s

Counts

4 → 12

Calls

4 calls:

468.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
469.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
1.2s	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))))
1.2s	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))))

simplify128.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5258	6578

prune383.0ms

Filtered

46 candidates to 64 candidates (-39.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	62	2	64
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	66	5	71

Merged error: 2.4b

Counts

71 → 5

localize36.0ms

Local error

Found 4 expressions with local error:

0.5b	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
0.9b	(pow.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) 3)
15.3b	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))))
15.3b	(-.f64 1 (/.f64 (cbrt.f64 (pow.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) 3)) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))))

rewrite191.0ms

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64_590`
13×	`add-sqr-sqrt_binary64_575`
10×	`add-log-exp_binary64_555`
7×	`add-cube-cbrt_binary64_561`
5×	`add-cbrt-cube_binary64_562` `add-exp-log_binary64_554` `pow1_binary64_532`
4×	`difference-of-squares_binary64_619` `unpow-prod-down_binary64_521` `cube-prod_binary64_563`
3×	`distribute-lft-out_binary64_634` `pow-unpow_binary64_519`
2×	`flip-+_binary64_615` `sub-neg_binary64_594` `flip--_binary64_616` `cube-div_binary64_564` `flip3--_binary64_589` `distribute-lft-out--_binary64_635` `flip3-+_binary64_588` `diff-log_binary64_501`
1×	`rem-cube-cbrt_binary64_566` `pow-to-exp_binary64_511` `+-commutative_binary64_657` `cube-mult_binary64_565` `sqr-pow_binary64_622` `pow-pow_binary64_514` `unpow3_binary64_530` `pow-exp_binary64_510` `sum-log_binary64_500`

Counts

4 → 67

Calls

4 calls:

43.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
45.0ms	(pow.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) 3)
52.0ms	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))))
49.0ms	(-.f64 1 (/.f64 (cbrt.f64 (pow.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) 3)) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))))

series3.8s

Counts

4 → 12

Calls

4 calls:

473.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
921.0ms	(pow.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) 3)
1.2s	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))))
1.2s	(-.f64 1 (/.f64 (cbrt.f64 (pow.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 (/.f64 6401478394306903/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -5125037576950889/18014398509481984)) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) 3)) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))))

simplify103.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5080	7815

prune480.0ms

Filtered

50 candidates to 79 candidates (-58.0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	76	3	79
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	78	6	84

Merged error: 2.0b

Counts

84 → 6

regimes93.0ms

Accuracy

0% (0.0b remaining)

Error of 2.0b against oracle of 1.9b and baseline of 2.0b

bsearch0.0ms

simplify7.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	170	183
1	170	183

end0.0ms

sample1.6s

Algorithm

intervals

Results

936.0ms	3835×	body	160	valid
513.0ms	4165×	body	80	valid

Details

analyze2.0ms

sample61.0ms

simplify69.0ms

prune6.0ms

localize23.0ms

rewrite120.0ms

series2.3s

simplify136.0ms

prune379.0ms

localize22.0ms

rewrite118.0ms

series1.9s

simplify123.0ms

prune318.0ms

localize29.0ms

rewrite187.0ms

series3.3s

simplify128.0ms

prune383.0ms

localize36.0ms

rewrite191.0ms

series3.8s

simplify103.0ms

prune480.0ms

regimes93.0ms

bsearch0.0ms

simplify7.0ms

end0.0ms

sample1.6s

Profiling