Details

analyze2.0ms

Algorithm

Search

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

sample60.0ms

Algorithm

intervals

Results

36.0ms	138×	body	160	valid
15.0ms	118×	body	80	valid

simplify68.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

localize20.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))))))

rewrite121.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:

32.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))))
13.0ms	(/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
32.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)))))
40.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:

466.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))))
119.0ms	(/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
492.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))))))

simplify135.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5140	7396

prune377.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))))))

rewrite115.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)
15.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))
40.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)))))
49.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:

36.0ms	(pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)
170.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))
488.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))))))

simplify120.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4950	6335
1	4950	6335

prune300.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

localize31.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)))))

rewrite186.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:

42.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)))))
44.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)))))
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)))))

series3.4s

Counts

4 → 12

Calls

4 calls:

485.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)))))
481.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)))))

simplify127.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5258	6578

prune430.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

localize35.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)))))

rewrite183.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:

44.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)))))
40.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)
49.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:

477.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)))))
939.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)))))

simplify100.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5080	7815

prune439.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

regimes90.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

931.0ms	3835×	body	160	valid
523.0ms	4165×	body	80	valid

Details

analyze2.0ms

sample60.0ms

simplify68.0ms

prune6.0ms

localize20.0ms

rewrite121.0ms

series2.3s

simplify135.0ms

prune377.0ms

localize22.0ms

rewrite115.0ms

series1.9s

simplify120.0ms

prune300.0ms

localize31.0ms

rewrite186.0ms

series3.4s

simplify127.0ms

prune430.0ms

localize35.0ms

rewrite183.0ms

series3.8s

simplify100.0ms

prune439.0ms

regimes90.0ms

bsearch0.0ms

simplify7.0ms

end0.0ms

sample1.6s

Profiling