Details

analyze1.3s (2.8%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5008	220
0	3	3
1	3	3

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

Compiler

Compiled 38 to 30 computations (21.1% saved)

sample45.0ms (0.1%)

Algorithm

1×

intervals

Results

30.0ms

256×

body

128

valid

Compiler

Compiled 75 to 62 computations (17.3% saved)

simplify47.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5236	55

prune4.0ms (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

Error

22.7b

Counts

2 → 1

Compiler

Compiled 74 to 58 computations (21.6% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x)
0.1b	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)
0.1b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x)
22.0b	(/.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))

rewrite409.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

20.3b

Rules

18×	`add-sqr-sqrt_binary64_12035`
15×	`add-exp-log_binary64_12051` `add-cbrt-cube_binary64_12049`
12×	`add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
10×	`pow1_binary64_12074`
9×	`associate-l_binary64_11954` `associate-r_binary64_11953`
8×	`associate-/l/_binary64_11960` `associate-*l/_binary64_11956`
7×	`flip3-+_binary64_12016` `flip-+_binary64_11987`
4×	`prod-exp_binary64_12062` `add-log-exp_binary64_12052` `cbrt-unprod_binary64_12046` `frac-times_binary64_12023`
3×	`times-frac_binary64_12019` `flip3--_binary64_12017` `flip--_binary64_11988` `associate-/r_binary64_11957` `pow-prod-down_binary64_12084` `unswap-sqr_binary64_11981` `-commutative_binary64_11944`
2×	`div-exp_binary64_12064` `cbrt-undiv_binary64_12047` `associate-*r/_binary64_11955` `associate-/r/_binary64_11959`
1×	`frac-2neg_binary64_12024` `clear-num_binary64_12012` `div-inv_binary64_12010` `associate-/l*_binary64_11958`

Counts

4 → 91

Calls

4 calls:

37.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))
23.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x)
15.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x)
8.0ms	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)

Compiler

Compiled 4958 to 3528 computations (28.8% saved)

series2.1s (4.6%)

Error

0.5b

Counts

4 → 57

Calls

4 calls:

1.6s	(/.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))
212.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x)
113.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x)
61.0ms	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)

Compiler

Compiled 7485 to 5973 computations (20.2% saved)

simplify136.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4937	5699
1	4937	5699

prune711.0ms (1.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	139	9	148
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	140	9	149

Error

Counts

149 → 9

Compiler

Compiled 7694 to 5415 computations (29.6% saved)

localize40.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.4b	(sqrt.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))
12.2b	(/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328)))))))))
12.4b	(.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328))))))))) (/.f64 (+.f64 z (.f64 x (+.f64 y (.f64 x (+.f64 604816789577447/4398046511104 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))))
17.4b	(/.f64 (+.f64 z (.f64 x (+.f64 y (.f64 x (+.f64 604816789577447/4398046511104 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328)))))))))

rewrite1.7s (3.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

126×	`add-sqr-sqrt_binary64_12035`
108×	`times-frac_binary64_12019`
95×	`*-un-lft-identity_binary64_12013`
69×	`add-cube-cbrt_binary64_12048`
63×	`sqrt-prod_binary64_12029`
36×	`associate-l_binary64_11954`
24×	`associate-r_binary64_11953`
20×	`add-exp-log_binary64_12051` `add-cbrt-cube_binary64_12049`
13×	`difference-of-squares_binary64_11982` `distribute-lft-out--_binary64_11965`
12×	`associate-/r*_binary64_11957`
10×	`sqrt-div_binary64_12030`
9×	`unswap-sqr_binary64_11981`
8×	`associate-/r/_binary64_11959` `associate-/l*_binary64_11958`
7×	`pow1_binary64_12074`
6×	`div-exp_binary64_12064` `cbrt-undiv_binary64_12047` `flip3-+_binary64_12016` `flip-+_binary64_11987`
4×	`add-log-exp_binary64_12052` `div-inv_binary64_12010` `associate-/l/_binary64_11960` `prod-exp_binary64_12062` `cbrt-unprod_binary64_12046`
2×	`frac-2neg_binary64_12024` `clear-num_binary64_12012`
1×	`pow-prod-down_binary64_12084` `frac-times_binary64_12023` `associate-l/_binary64_11956` `associate-r/_binary64_11955` `*-commutative_binary64_11944` `div-sub_binary64_12018` `flip3--_binary64_12017` `flip--_binary64_11988` `pow1/2_binary64_12093` `sqrt-pow1_binary64_12031` `rem-sqrt-square_binary64_12026`

Counts

4 → 205

Calls

4 calls:

38.0ms	(.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328))))))))) (/.f64 (+.f64 z (.f64 x (+.f64 y (.f64 x (+.f64 604816789577447/4398046511104 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))))
16.0ms	(/.f64 (+.f64 z (.f64 x (+.f64 y (.f64 x (+.f64 604816789577447/4398046511104 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328)))))))))
13.0ms	(/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328)))))))))
3.0ms	(sqrt.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))

Compiler

Compiled 17214 to 12746 computations (26% saved)

series3.4s (7.4%)

Error

Counts

4 → 72

Calls

4 calls:

1.5s	(.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328))))))))) (/.f64 (+.f64 z (.f64 x (+.f64 y (.f64 x (+.f64 604816789577447/4398046511104 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))))
1.3s	(/.f64 (+.f64 z (.f64 x (+.f64 y (.f64 x (+.f64 604816789577447/4398046511104 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328)))))))))
111.0ms	(/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328)))))))))
91.0ms	(sqrt.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))

Compiler

Compiled 12192 to 9893 computations (18.9% saved)

simplify266.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

277 → 277

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5695	19159

prune2.0s (4.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	276	1	277
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	278	8	286

Error

Counts

286 → 8

Compiler

Compiled 20740 to 15173 computations (26.8% saved)

localize54.0ms (0.1%)

Local error

Found 4 expressions with local error:

19.3b	(/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 6624073998258585/140737488355328 (.f64 (.f64 x x) (+.f64 1158907574534893/4398046511104 (.f64 6099563062176297/140737488355328 x)))))))
19.3b	(/.f64 (.f64 x x) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 6624073998258585/140737488355328 (.f64 (.f64 x x) (+.f64 1158907574534893/4398046511104 (*.f64 6099563062176297/140737488355328 x)))))))
19.5b	(/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 6624073998258585/140737488355328 (.f64 (.f64 x x) (+.f64 1158907574534893/4398046511104 (.f64 6099563062176297/140737488355328 x)))))))
21.5b	(/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 6624073998258585/140737488355328 (.f64 (.f64 x x) (+.f64 1158907574534893/4398046511104 (.f64 6099563062176297/140737488355328 x)))))))

rewrite4.8s (10.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

132×	`*-un-lft-identity_binary64_12013`
108×	`times-frac_binary64_12019`
70×	`add-cube-cbrt_binary64_12048` `add-sqr-sqrt_binary64_12035`
45×	`unpow-prod-down_binary64_12092`
31×	`distribute-lft-out_binary64_11964`
27×	`associate-/l*_binary64_11958`
24×	`add-exp-log_binary64_12051`
16×	`associate-/r*_binary64_11957`
15×	`add-cbrt-cube_binary64_12049` `sqr-pow_binary64_11985` `cube-prod_binary64_12041`
11×	`div-exp_binary64_12064`
8×	`associate-/r/_binary64_11959`
5×	`cbrt-undiv_binary64_12047` `unpow3_binary64_12079` `cube-mult_binary64_12043`
4×	`pow1_binary64_12074` `add-log-exp_binary64_12052` `frac-2neg_binary64_12024` `clear-num_binary64_12012` `div-inv_binary64_12010` `flip3-+_binary64_12016` `flip-+_binary64_11987`
3×	`pow-to-exp_binary64_12082` `pow-exp_binary64_12081`
1×	`prod-exp_binary64_12062` `cbrt-unprod_binary64_12046`

Counts

4 → 215

Calls

4 calls:

22.0ms	(/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 6624073998258585/140737488355328 (.f64 (.f64 x x) (+.f64 1158907574534893/4398046511104 (.f64 6099563062176297/140737488355328 x)))))))
16.0ms	(/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 6624073998258585/140737488355328 (.f64 (.f64 x x) (+.f64 1158907574534893/4398046511104 (.f64 6099563062176297/140737488355328 x)))))))
14.0ms	(/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 6624073998258585/140737488355328 (.f64 (.f64 x x) (+.f64 1158907574534893/4398046511104 (.f64 6099563062176297/140737488355328 x)))))))
14.0ms	(/.f64 (.f64 x x) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 6624073998258585/140737488355328 (.f64 (.f64 x x) (+.f64 1158907574534893/4398046511104 (*.f64 6099563062176297/140737488355328 x)))))))

Compiler

Compiled 43114 to 29476 computations (31.6% saved)

series955.0ms (2.1%)

Error

Counts

4 → 43

Calls

4 calls:

175.0ms	(/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 6624073998258585/140737488355328 (.f64 (.f64 x x) (+.f64 1158907574534893/4398046511104 (.f64 6099563062176297/140737488355328 x)))))))
156.0ms	(/.f64 (.f64 x x) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 6624073998258585/140737488355328 (.f64 (.f64 x x) (+.f64 1158907574534893/4398046511104 (*.f64 6099563062176297/140737488355328 x)))))))
108.0ms	(/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 6624073998258585/140737488355328 (.f64 (.f64 x x) (+.f64 1158907574534893/4398046511104 (.f64 6099563062176297/140737488355328 x)))))))
105.0ms	(/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 (.f64 x 172293041005667/549755813888) (+.f64 6624073998258585/140737488355328 (.f64 (.f64 x x) (+.f64 1158907574534893/4398046511104 (.f64 6099563062176297/140737488355328 x)))))))

Compiler

Compiled 15177 to 10782 computations (29% saved)

simplify230.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

258 → 258

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4952	11418
1	4952	11418

prune5.6s (12.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	258	0	258
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	258	8	266

Error

Counts

266 → 8

Compiler

Compiled 49854 to 33993 computations (31.8% saved)

localize55.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite953.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

60×	`times-frac_binary64_12019`
41×	`associate-/r/_binary64_11959`
38×	`add-sqr-sqrt_binary64_12035`
34×	`add-exp-log_binary64_12051` `add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
22×	`add-cbrt-cube_binary64_12049`
20×	`frac-times_binary64_12023`
18×	`flip3-+_binary64_12016` `flip-+_binary64_11987`
16×	`associate-/r*_binary64_11957`
15×	`flip3--_binary64_12017` `flip--_binary64_11988`
14×	`div-exp_binary64_12064` `associate-*r/_binary64_11955`
10×	`associate-*l/_binary64_11956`
9×	`pow1_binary64_12074`
7×	`cbrt-undiv_binary64_12047`
6×	`prod-exp_binary64_12062` `div-inv_binary64_12010` `associate-/l_binary64_11958` `associate-l_binary64_11954` `associate-r*_binary64_11953`
4×	`add-log-exp_binary64_12052` `cbrt-unprod_binary64_12046`
3×	`1-exp_binary64_12057` `rec-exp_binary64_12063`
2×	`frac-2neg_binary64_12024` `clear-num_binary64_12012` `associate-/l/_binary64_11960` `pow-prod-down_binary64_12084` `unswap-sqr_binary64_11981` `distribute-rgt-in_binary64_11963` `distribute-lft-in_binary64_11962` `*-commutative_binary64_11944`
1×	`inv-pow_binary64_12098` `pow-flip_binary64_12087`

Counts

4 → 163

Calls

4 calls:

27.0ms	(/.f64 1 (/.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328))))))) (.f64 (-.f64 x 2) (+.f64 z (.f64 x (+.f64 y (.f64 x (+.f64 604816789577447/4398046511104 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))))))
22.0ms	(/.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328))))))) (.f64 (-.f64 x 2) (+.f64 z (.f64 x (+.f64 y (.f64 x (+.f64 604816789577447/4398046511104 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)))))))))
15.0ms	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
12.0ms	(.f64 x (+.f64 y (.f64 x (+.f64 604816789577447/4398046511104 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))

Compiler

Compiled 10559 to 7618 computations (27.9% saved)

series11.0s (24%)

Error

Counts

4 → 80

Calls

4 calls:

8.2s	(/.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328))))))) (.f64 (-.f64 x 2) (+.f64 z (.f64 x (+.f64 y (.f64 x (+.f64 604816789577447/4398046511104 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)))))))))
1.5s	(/.f64 1 (/.f64 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328))))))) (.f64 (-.f64 x 2) (+.f64 z (.f64 x (+.f64 y (.f64 x (+.f64 604816789577447/4398046511104 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))))))
201.0ms	(.f64 x (+.f64 y (.f64 x (+.f64 604816789577447/4398046511104 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))))))
74.0ms	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))

Compiler

Compiled 29851 to 23678 computations (20.7% saved)

simplify330.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

243 → 243

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5356	27275

prune2.0s (4.4%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	242	1	243
Fresh	1	4	5
Picked	0	1	1
Done	0	2	2
Total	243	8	251

Error

Counts

251 → 8

Compiler

Compiled 21738 to 15328 computations (29.5% saved)

regimes2.1s (4.6%)

Accuracy

Total 0.5b remaining (96.2%)

Threshold costs 0.5b (96.2%)

Compiler

Compiled 20266 to 15899 computations (21.5% saved)

bsearch68.0ms (0.1%)

Steps

Iters	Range		Point
5	3.1774435179335074e+43	7.376394902350156e+43	7.119442234872533e+43
8	-3.028384771591317e+69	-1.6993951400720322e+65	-1.0832671400057461e+67

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	113	100
1	113	100

end0.0ms (0%)

sample5.4s (11.8%)

Algorithm

1×

intervals

Results

806.0ms	8000×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 5122 to 4009 computations (21.7% saved)

Details

analyze1.3s (2.8%)

sample45.0ms (0.1%)

simplify47.0ms (0.1%)

prune4.0ms (0%)

localize24.0ms (0.1%)

rewrite409.0ms (0.9%)

series2.1s (4.6%)

simplify136.0ms (0.3%)

prune711.0ms (1.6%)

localize40.0ms (0.1%)

rewrite1.7s (3.6%)

series3.4s (7.4%)

simplify266.0ms (0.6%)

prune2.0s (4.4%)

localize54.0ms (0.1%)

rewrite4.8s (10.6%)

series955.0ms (2.1%)

simplify230.0ms (0.5%)

prune5.6s (12.3%)

localize55.0ms (0.1%)

rewrite953.0ms (2.1%)

series11.0s (24%)

simplify330.0ms (0.7%)

prune2.0s (4.4%)

regimes2.1s (4.6%)

bsearch68.0ms (0.1%)

simplify5.0ms (0%)

end0.0ms (0%)

sample5.4s (11.8%)

Profiling