Details

analyze962.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
37.4%	62.4%	0.1%	8
37.4%	62.4%	0.1%	9
37.4%	62.4%	0.1%	10
43.7%	56.2%	0.1%	11
43.7%	56.2%	0.1%	12
43.7%	56.2%	0.1%	13
61.7%	38.2%	0.1%	14

sample30.0ms

Algorithm

intervals

Results

20.0ms	256×	body	80	valid
0.0ms	1×	body	80	invalid

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5080	55

prune4.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 23.2b

Counts

2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(.f64 (+.f64 (.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x)
0.0b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x)
0.1b	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)
22.3b	(/.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x) 6624073998258585/140737488355328))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64`
15×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`pow1_binary64`
9×	`associate-r_binary64` `associate-l_binary64`
8×	`associate-/l/_binary64` `associate-*l/_binary64`
7×	`flip3-+_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `frac-times_binary64`
3×	`pow-prod-down_binary64` `associate-/r_binary64` `flip3--_binary64` `unswap-sqr_binary64` `times-frac_binary64` `flip--_binary64` `-commutative_binary64`
2×	`cbrt-undiv_binary64` `associate-*r/_binary64` `associate-/r/_binary64` `div-exp_binary64`
1×	`clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64`

Counts

4 → 91

Calls

4 calls:

11.0ms	(.f64 (+.f64 (.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x)
15.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x)
8.0ms	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)
38.0ms	(/.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x) 6624073998258585/140737488355328))

series234.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(.f64 (+.f64 (.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x)
32.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x)
37.0ms	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)
147.0ms	(/.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x) 6624073998258585/140737488355328))

simplify103.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5400	3200

prune234.0ms

Filtered

85 candidates to 103 candidates (-21.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	97	6	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	98	6	104

Merged error: 0.0b

Counts

104 → 6

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b	(.f64 (-.f64 x 2) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))
0.0b	(.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y))
0.1b	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
21.5b	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))

rewrite95.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt_binary64`
26×	`*-un-lft-identity_binary64`
24×	`add-cube-cbrt_binary64`
21×	`associate-r_binary64`
19×	`times-frac_binary64`
15×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
11×	`associate-l_binary64`
10×	`pow1_binary64`
5×	`flip3-+_binary64` `associate-*r/_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64` `associate-/r/_binary64` `unswap-sqr_binary64` `prod-exp_binary64`
3×	`pow-prod-down_binary64` `associate-/r_binary64` `associate-/l_binary64` `*-commutative_binary64`
2×	`associate-/l/_binary64` `flip3--_binary64` `cbrt-undiv_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `div-inv_binary64` `div-exp_binary64` `flip--_binary64` `frac-times_binary64` `associate-*l/_binary64`
1×	`clear-num_binary64` `frac-2neg_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64`

Counts

4 → 115

Calls

4 calls:

36.0ms	(.f64 (-.f64 x 2) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))
15.0ms	(.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y))
8.0ms	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
33.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))

series339.0ms

Counts

4 → 12

Calls

4 calls:

141.0ms	(.f64 (-.f64 x 2) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))
31.0ms	(.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y))
40.0ms	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
127.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))

simplify99.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4960	5605
1	4960	5605

prune257.0ms

Filtered

94 candidates to 127 candidates (-35.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	126	7	133

Merged error: 0b

Counts

133 → 7

localize29.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)) (-.f64 (*.f64 x x) 4))
0.1b	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
14.0b	(/.f64 (.f64 (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)) (-.f64 (*.f64 x x) 4)) (+.f64 x 2))
21.5b	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))

rewrite114.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt_binary64`
28×	`*-un-lft-identity_binary64`
24×	`add-cube-cbrt_binary64`
23×	`times-frac_binary64`
22×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
18×	`associate-l_binary64`
8×	`pow1_binary64`
7×	`associate-/l/_binary64` `associate-/r_binary64` `associate-r*_binary64`
6×	`cbrt-undiv_binary64` `associate-*r/_binary64` `associate-/r/_binary64` `div-exp_binary64`
5×	`flip3-+_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64` `flip3--_binary64` `associate-/l*_binary64` `flip--_binary64` `frac-times_binary64`
3×	`unswap-sqr_binary64` `div-inv_binary64`
2×	`pow-prod-down_binary64` `sub-neg_binary64` `distribute-lft-out_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`difference-of-squares_binary64`

Counts

4 → 126

Calls

4 calls:

35.0ms	(.f64 (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)) (-.f64 (*.f64 x x) 4))
8.0ms	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
37.0ms	(/.f64 (.f64 (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)) (-.f64 (*.f64 x x) 4)) (+.f64 x 2))
31.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))

series477.0ms

Counts

4 → 12

Calls

4 calls:

145.0ms	(.f64 (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)) (-.f64 (*.f64 x x) 4))
38.0ms	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
165.0ms	(/.f64 (.f64 (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)) (-.f64 (*.f64 x x) 4)) (+.f64 x 2))
128.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))

simplify134.0ms

Algorithm

egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4963	7139
1	4963	7139

prune279.0ms

Filtered

102 candidates to 138 candidates (-35.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	138	0	138
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	138	7	145

Merged error: 0b

Counts

145 → 7

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y))
0.1b	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
0.3b	(/.f64 (-.f64 x 2) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z)))
21.5b	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z))

rewrite94.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac_binary64`
110×	`add-sqr-sqrt_binary64`
106×	`*-un-lft-identity_binary64`
74×	`add-cube-cbrt_binary64`
18×	`associate-/r*_binary64`
16×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
15×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-/r/_binary64`
10×	`flip3-+_binary64` `flip-+_binary64`
8×	`pow1_binary64` `associate-/l*_binary64` `div-inv_binary64`
6×	`associate-r_binary64` `associate-l_binary64`
4×	`associate-/l/_binary64` `add-log-exp_binary64` `cbrt-undiv_binary64` `associate-*r/_binary64` `div-exp_binary64`
2×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64` `*-commutative_binary64`
1×	`flip3--_binary64` `div-sub_binary64` `flip--_binary64`

Counts

4 → 188

Calls

4 calls:

14.0ms	(.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y))
7.0ms	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
32.0ms	(/.f64 (-.f64 x 2) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z)))
33.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z))

series319.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y))
39.0ms	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
146.0ms	(/.f64 (-.f64 x 2) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z)))
100.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z))

simplify190.0ms

Algorithm

egg-herbie

Counts

200 → 200

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5047	14176

prune568.0ms

Filtered

146 candidates to 200 candidates (-37.0%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	200	0	200
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	200	7	207

Merged error: 0b

Counts

207 → 7

regimes128.0ms

Accuracy

97.7% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 24.8b

bsearch71.0ms

Steps

Iters	Range		Point
10	6.591908056187821e+32	2.3485778956672766e+44	5.624514875003094e+40
10	-7.435819310034222e+77	-1.955092463446001e+60	-1.8156137778920187e+65

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	84	94
1	84	94

end0.0ms

sample817.0ms

Algorithm

intervals

Results

640.0ms	8000×	body	80	valid
1.0ms	8×	body	80	invalid

Details

analyze962.0ms

sample30.0ms

simplify55.0ms

prune4.0ms

localize24.0ms

rewrite74.0ms

series234.0ms

simplify103.0ms

prune234.0ms

localize25.0ms

rewrite95.0ms

series339.0ms

simplify99.0ms

prune257.0ms

localize29.0ms

rewrite114.0ms

series477.0ms

simplify134.0ms

prune279.0ms

localize24.0ms

rewrite94.0ms

series319.0ms

simplify190.0ms

prune568.0ms

regimes128.0ms

bsearch71.0ms

simplify5.0ms

end0.0ms

sample817.0ms

Profiling