Details

analyze983.0ms (7.9%)

Algorithm

1×

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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	74.9%	25.1%	8
0%	74.9%	25.1%	9
9.4%	65.5%	25.1%	10
9.4%	53%	37.6%	11
14%	48.4%	37.6%	12
16.4%	46%	37.6%	13
16.4%	39.8%	43.8%	14

Compiler

Compiled 31 to 21 computations (32.3% saved)

sample59.0ms (0.5%)

Algorithm

1×

intervals

Results

11.0ms	170×	body	128	valid
9.0ms	37×	body	1024	valid
6.0ms	24×	body	1024	nan
5.0ms	29×	body	512	valid
3.0ms	17×	body	512	nan
3.0ms	48×	body	128	nan
2.0ms	17×	body	256	valid
1.0ms	3×	body	2048	valid
1.0ms	8×	body	256	nan

Compiler

Compiled 64 to 44 computations (31.3% saved)

simplify72.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

706×	`div-sub_binary64`
508×	`distribute-neg-in_binary64`
500×	`distribute-rgt-in_binary64`
420×	`distribute-lft-in_binary64`
403×	`cancel-sign-sub-inv_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	41
1	46	41
2	95	41
3	184	41
4	355	41
5	714	41
6	1619	41
7	3620	41
8	4716	41
9	5192	41

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

42.6b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	42.6b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (.f64 l l))))

Compiler

Compiled 60 to 40 computations (33.3% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (.f64 l l))))
0.5b	(*.f64 (sqrt.f64 2) t)
12.4b	(-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (*.f64 l l))
19.7b	(sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (*.f64 l l)))

rewrite264.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

42.4b

Rules

17×	`add-sqr-sqrt_binary64`
13×	`sqrt-prod_binary64`
12×	`*-un-lft-identity_binary64`
12×	`add-cube-cbrt_binary64`
11×	`add-cbrt-cube_binary64`

Counts

4 → 80

Calls

4 calls:

23.0ms	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (.f64 l l))))
15.0ms	(-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (*.f64 l l))
15.0ms	(sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (*.f64 l l)))
5.0ms	(*.f64 (sqrt.f64 2) t)

Compiler

Compiled 3285 to 1868 computations (43.1% saved)

series848.0ms (6.8%)

Error

6.1b

Counts

4 → 63

Calls

4 calls:

390.0ms	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (.f64 l l))))
212.0ms	(sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (*.f64 l l)))
140.0ms	(-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (*.f64 l l))
9.0ms	(*.f64 (sqrt.f64 2) t)

Compiler

Compiled 10275 to 8404 computations (18.2% saved)

simplify139.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

686×	`times-frac_binary64`
490×	`associate-/l*_binary64`
483×	`associate-/r*_binary64`
218×	`associate-*l/_binary64`
163×	`*-commutative_binary64`

Counts

143 → 106

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	515	8527
1	1498	8040
2	5082	8040

prune137.0ms (1.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	98	8	106
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	8	107

Error

6.1b

Counts

107 → 8

Alt Table

Status	Error	Program
▶	30.6b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x)))) (.f64 2 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (*.f64 x x))))))))
	38.7b	(*.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1/2 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))))))
	39.4b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (.f64 t (sqrt.f64 (+.f64 (/.f64 2 (-.f64 x 1)) (*.f64 2 (/.f64 x (-.f64 x 1))))))))
	39.3b	(/.f64 (.f64 (sqrt.f64 2) t) (+.f64 (.f64 t (sqrt.f64 2)) (+.f64 (.f64 2 (/.f64 t (.f64 (sqrt.f64 2) x))) (/.f64 (.f64 l l) (.f64 t (*.f64 (sqrt.f64 2) x))))))
	38.6b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 t (sqrt.f64 (+.f64 (/.f64 2 (-.f64 x 1)) (*.f64 2 (/.f64 x (-.f64 x 1)))))))
	63.3b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (+.f64 (.f64 (/.f64 x (-.f64 x 1)) (.f64 l l)) (/.f64 (.f64 l l) (-.f64 x 1))) (*.f64 l l))))
	43.2b	(log.f64 (exp.f64 (/.f64 (.f64 t (sqrt.f64 2)) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (.f64 l l))))))
	47.9b	(/.f64 (.f64 (sqrt.f64 2) t) (-.f64 (+.f64 (/.f64 (.f64 l l) (.f64 t (.f64 (sqrt.f64 2) x))) (+.f64 (.f64 t (sqrt.f64 2)) (+.f64 (.f64 2 (+.f64 (/.f64 t (.f64 (sqrt.f64 2) (.f64 x x))) (/.f64 t (.f64 (sqrt.f64 2) x)))) (/.f64 (.f64 l l) (.f64 t (.f64 (sqrt.f64 2) (.f64 x x))))))) (+.f64 (.f64 2 (+.f64 (/.f64 t (.f64 (.f64 x x) (.f64 2 (sqrt.f64 2)))) (/.f64 (.f64 l l) (.f64 t (.f64 (.f64 x x) (.f64 2 (sqrt.f64 2))))))) (.f64 1/2 (/.f64 (pow.f64 l 4) (.f64 (.f64 (.f64 x x) (*.f64 2 (sqrt.f64 2))) (pow.f64 t 3)))))))

Compiler

Compiled 4889 to 3201 computations (34.5% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

8.6b	(/.f64 (*.f64 t t) x)
12.2b	(/.f64 (.f64 l l) (.f64 x x))
17.3b	(/.f64 (.f64 t t) (.f64 x x))
26.2b	(sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x)))) (.f64 2 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x)))))))

rewrite196.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

6.1b

Rules

33×	`add-cbrt-cube_binary64`
33×	`add-exp-log_binary64`
20×	`associate-*r/_binary64`
16×	`frac-add_binary64`
10×	`cbrt-undiv_binary64`

Counts

4 → 86

Calls

4 calls:

18.0ms	(sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x)))) (.f64 2 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x)))))))
7.0ms	(/.f64 (.f64 t t) (.f64 x x))
6.0ms	(/.f64 (.f64 l l) (.f64 x x))
5.0ms	(/.f64 (*.f64 t t) x)

Compiler

Compiled 5734 to 1640 computations (71.4% saved)

series475.0ms (3.8%)

Error

0.2b

Counts

4 → 42

Calls

4 calls:

349.0ms	(sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x)))) (.f64 2 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x)))))))
25.0ms	(/.f64 (.f64 t t) (.f64 x x))
23.0ms	(/.f64 (.f64 l l) (.f64 x x))
21.0ms	(/.f64 (*.f64 t t) x)

Compiler

Compiled 8210 to 6412 computations (21.9% saved)

simplify112.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

453×	`associate-l_binary64`
430×	`times-frac_binary64`
242×	`distribute-rgt-in_binary64`
237×	`associate-/l*_binary64`
232×	`distribute-lft-in_binary64`

Counts

128 → 89

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	414	6265
1	1271	5687
2	4994	5687

prune94.0ms (0.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	84	5	89
Fresh	4	3	7
Picked	0	1	1
Done	0	0	0
Total	88	9	97

Error

0.2b

Counts

97 → 9

Alt Table

Status	Error	Program
✓	30.6b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x)))) (.f64 2 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (*.f64 x x))))))))
	55.8b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (.f64 l (sqrt.f64 (+.f64 (/.f64 2 (*.f64 x x)) (/.f64 2 x))))))
	53.5b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 l (sqrt.f64 (+.f64 (/.f64 2 (*.f64 x x)) (/.f64 2 x)))))
▶	38.7b	(*.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1/2 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))))))
	39.4b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (.f64 t (sqrt.f64 (+.f64 (/.f64 4 (*.f64 x x)) (+.f64 2 (/.f64 4 x)))))))
	39.1b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 t (sqrt.f64 (+.f64 (/.f64 4 (*.f64 x x)) (+.f64 2 (/.f64 4 x))))))
	63.3b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (+.f64 (.f64 (/.f64 x (-.f64 x 1)) (.f64 l l)) (/.f64 (.f64 l l) (-.f64 x 1))) (*.f64 l l))))
	43.2b	(log.f64 (exp.f64 (/.f64 (.f64 t (sqrt.f64 2)) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (.f64 l l))))))
	59.0b	(/.f64 (.f64 (sqrt.f64 2) t) (/.f64 (sqrt.f64 (+.f64 (.f64 (.f64 2 (.f64 l l)) (+.f64 (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) 16)) (.f64 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))) (-.f64 (.f64 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))) 4) (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) 8))))) (.f64 x (+.f64 (pow.f64 (.f64 4 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x)))) 3) (pow.f64 (.f64 2 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x)))) 3))))) (sqrt.f64 (.f64 x (+.f64 (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) 16)) (.f64 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))) (-.f64 (.f64 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))) 4) (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) 8))))))))

Compiler

Compiled 4480 to 2064 computations (53.9% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (/.f64 1/2 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1)))))
0.0b	(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1)))
0.0b	(/.f64 1/2 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))))
1.0b	(*.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1/2 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))))))

rewrite488.0ms (3.9%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

606×	`*-un-lft-identity_binary64`
475×	`times-frac_binary64`
265×	`add-sqr-sqrt_binary64`
162×	`sqrt-prod_binary64`
143×	`distribute-lft-out_binary64`

Counts

4 → 338

Calls

4 calls:

69.0ms	(*.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1/2 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))))))
47.0ms	(/.f64 1/2 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))))
46.0ms	(sqrt.f64 (/.f64 1/2 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1)))))
42.0ms	(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1)))

Compiler

Compiled 6509 to 5413 computations (16.8% saved)

series76.0ms (0.6%)

Error

0.2b

Counts

4 → 40

Calls

4 calls:

17.0ms	(*.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1/2 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))))))
16.0ms	(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1)))
13.0ms	(sqrt.f64 (/.f64 1/2 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1)))))
11.0ms	(/.f64 1/2 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))))

Compiler

Compiled 1137 to 1047 computations (7.9% saved)

simplify388.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

703×	`cancel-sign-sub-inv_binary64`
483×	`times-frac_binary64`
300×	`associate-/l*_binary64`
237×	`associate-/r*_binary64`
227×	`*-commutative_binary64`

Counts

378 → 340

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	343	9445
1	646	9085
2	1774	8417
3	3703	8324
4	4881	8324
5	4995	8324
6	4923	8324

prune208.0ms (1.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	338	2	340
Fresh	2	5	7
Picked	1	0	1
Done	0	1	1
Total	341	8	349

Error

0.2b

Counts

349 → 8

Alt Table

Status	Error	Program
✓	30.6b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x)))) (.f64 2 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (*.f64 x x))))))))
	55.8b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (.f64 l (sqrt.f64 (+.f64 (/.f64 2 (*.f64 x x)) (/.f64 2 x))))))
	53.5b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 l (sqrt.f64 (+.f64 (/.f64 2 (*.f64 x x)) (/.f64 2 x)))))
	38.8b	(.f64 (.f64 (sqrt.f64 2) (fabs.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 (+.f64 -1 x))))) (sqrt.f64 (/.f64 (cbrt.f64 1/2) (+.f64 (/.f64 1 (cbrt.f64 (-.f64 x 1))) (/.f64 x (cbrt.f64 (-.f64 x 1)))))))
	39.4b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (.f64 t (sqrt.f64 (+.f64 (/.f64 4 (*.f64 x x)) (+.f64 2 (/.f64 4 x)))))))
	63.3b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (+.f64 (.f64 (/.f64 x (-.f64 x 1)) (.f64 l l)) (/.f64 (.f64 l l) (-.f64 x 1))) (*.f64 l l))))
▶	38.4b	(sqrt.f64 (/.f64 1 (*.f64 (/.f64 1 (+.f64 -1 x)) (+.f64 x 1))))
	59.0b	(/.f64 (.f64 (sqrt.f64 2) t) (/.f64 (sqrt.f64 (+.f64 (.f64 (.f64 2 (.f64 l l)) (+.f64 (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) 16)) (.f64 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))) (-.f64 (.f64 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))) 4) (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) 8))))) (.f64 x (+.f64 (pow.f64 (.f64 4 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x)))) 3) (pow.f64 (.f64 2 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x)))) 3))))) (sqrt.f64 (.f64 x (+.f64 (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) 16)) (.f64 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))) (-.f64 (.f64 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))) 4) (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) 8))))))))

Compiler

Compiled 5360 to 4237 computations (21% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(sqrt.f64 (/.f64 1 (*.f64 (/.f64 1 (+.f64 -1 x)) (+.f64 x 1))))
0.0b	(/.f64 1 (*.f64 (/.f64 1 (+.f64 -1 x)) (+.f64 x 1)))
0.1b	(*.f64 (/.f64 1 (+.f64 -1 x)) (+.f64 x 1))

rewrite151.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

47×	`add-exp-log_binary64`
25×	`*-un-lft-identity_binary64`
24×	`add-sqr-sqrt_binary64`
20×	`times-frac_binary64`
18×	`associate-l_binary64`

Counts

3 → 116

Calls

3 calls:

12.0ms	(*.f64 (/.f64 1 (+.f64 -1 x)) (+.f64 x 1))
12.0ms	(/.f64 1 (*.f64 (/.f64 1 (+.f64 -1 x)) (+.f64 x 1)))
10.0ms	(sqrt.f64 (/.f64 1 (*.f64 (/.f64 1 (+.f64 -1 x)) (+.f64 x 1))))

Compiler

Compiled 2079 to 1748 computations (15.9% saved)

series51.0ms (0.4%)

Error

0.2b

Counts

3 → 31

Calls

3 calls:

12.0ms	(*.f64 (/.f64 1 (+.f64 -1 x)) (+.f64 x 1))
11.0ms	(sqrt.f64 (/.f64 1 (*.f64 (/.f64 1 (+.f64 -1 x)) (+.f64 x 1))))
11.0ms	(/.f64 1 (*.f64 (/.f64 1 (+.f64 -1 x)) (+.f64 x 1)))

Compiler

Compiled 681 to 610 computations (10.4% saved)

simplify127.0ms (1%)

Algorithm

1×	egg-herbie

Rules

578×	`times-frac_binary64`
559×	`div-sub_binary64`
342×	`distribute-rgt-in_binary64`
310×	`unsub-neg_binary64`
271×	`distribute-lft-in_binary64`

Counts

147 → 125

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	174	1987
1	442	1795
2	1170	1792
3	3169	1792
4	4830	1792
5	5099	1792

prune98.0ms (0.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	124	1	125
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	124	9	133

Error

0.2b

Counts

133 → 9

Alt Table

Status	Error	Program
	30.6b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (+.f64 (.f64 2 (/.f64 (.f64 l l) x)) (+.f64 (.f64 4 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x)))) (.f64 2 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (*.f64 x x))))))))
	55.8b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (.f64 l (sqrt.f64 (+.f64 (/.f64 2 (*.f64 x x)) (/.f64 2 x))))))
	38.7b	(sqrt.f64 (/.f64 1 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 -1 x)) (cbrt.f64 (+.f64 x 1)))))
	53.5b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 l (sqrt.f64 (+.f64 (/.f64 2 (*.f64 x x)) (/.f64 2 x)))))
	38.8b	(.f64 (.f64 (sqrt.f64 2) (fabs.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 (+.f64 -1 x))))) (sqrt.f64 (/.f64 (cbrt.f64 1/2) (+.f64 (/.f64 1 (cbrt.f64 (-.f64 x 1))) (/.f64 x (cbrt.f64 (-.f64 x 1)))))))
	39.4b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (.f64 t (sqrt.f64 (+.f64 (/.f64 4 (*.f64 x x)) (+.f64 2 (/.f64 4 x)))))))
	63.3b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (+.f64 (.f64 (/.f64 x (-.f64 x 1)) (.f64 l l)) (/.f64 (.f64 l l) (-.f64 x 1))) (*.f64 l l))))
	38.4b	(sqrt.f64 (/.f64 1 (*.f64 (/.f64 1 (+.f64 -1 x)) (+.f64 x 1))))
	59.0b	(/.f64 (.f64 (sqrt.f64 2) t) (/.f64 (sqrt.f64 (+.f64 (.f64 (.f64 2 (.f64 l l)) (+.f64 (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) 16)) (.f64 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))) (-.f64 (.f64 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))) 4) (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) 8))))) (.f64 x (+.f64 (pow.f64 (.f64 4 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x)))) 3) (pow.f64 (.f64 2 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x)))) 3))))) (sqrt.f64 (.f64 x (+.f64 (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) 16)) (.f64 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))) (-.f64 (.f64 (+.f64 (.f64 t t) (/.f64 (.f64 l l) (.f64 x x))) 4) (.f64 (+.f64 (/.f64 (.f64 t t) x) (/.f64 (.f64 t t) (.f64 x x))) 8))))))))

Compiler

Compiled 1556 to 1115 computations (28.3% saved)

regimes4.9s (39.5%)

Accuracy

Total 10.6b remaining (94.5%)

Threshold costs 0b (0%)

Compiler

Compiled 49655 to 35235 computations (29% saved)

bsearch395.0ms (3.2%)

Steps

Iters	Range		Point
9	1.5761508137617642e+57	3.686198606917539e+64	2.8221182207640748e+62
11	1.9546523894187088e-198	6.618637258922923e-169	1.99469417853952e-198
9	-1.8155780735581027e-293	-4.5350473574102665e-303	-4.6258857720661414e-303
9	-2.1642986122684577e+40	-8.902624778074383e+31	-1.596679150164007e+37

Compiler

Compiled 4 to 3 computations (25% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

15×	`*-commutative_binary64`
14×	`+-commutative_binary64`
4×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	68	221
1	99	221
2	107	221
3	112	221
4	114	221
5	112	221

end3.0ms (0%)

Compiler: Compiled 148 to 93 computations (37.2% saved)

sample2.1s (16.7%)

Algorithm

1×

intervals

Results

355.0ms	5289×	body	128	valid
303.0ms	1182×	body	1024	valid
218.0ms	834×	body	1024	nan
171.0ms	884×	body	512	valid
103.0ms	1518×	body	128	nan
88.0ms	484×	body	512	nan
75.0ms	570×	body	256	valid
35.0ms	289×	body	256	nan
24.0ms	75×	body	2048	valid

Compiler

Compiled 590 to 323 computations (45.3% saved)

Details

analyze983.0ms (7.9%)

sample59.0ms (0.5%)

simplify72.0ms (0.6%)

prune2.0ms (0%)

localize16.0ms (0.1%)

rewrite264.0ms (2.1%)

series848.0ms (6.8%)

simplify139.0ms (1.1%)

prune137.0ms (1.1%)

localize24.0ms (0.2%)

rewrite196.0ms (1.6%)

series475.0ms (3.8%)

simplify112.0ms (0.9%)

prune94.0ms (0.8%)

localize10.0ms (0.1%)

rewrite488.0ms (3.9%)

series76.0ms (0.6%)

simplify388.0ms (3.1%)

prune208.0ms (1.7%)

localize8.0ms (0.1%)

rewrite151.0ms (1.2%)

series51.0ms (0.4%)

simplify127.0ms (1%)

prune98.0ms (0.8%)

regimes4.9s (39.5%)

bsearch395.0ms (3.2%)

simplify9.0ms (0.1%)

end3.0ms (0%)

sample2.1s (16.7%)

Profiling