Details

analyze112.0ms (2.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	74.9%	25.1%	0
0%	74.9%	25.1%	1
37.5%	37.5%	25.1%	2
37.5%	18.7%	43.8%	3
46.8%	9.4%	43.8%	4
51.5%	4.7%	43.8%	5
51.5%	2.3%	46.1%	6
52.7%	1.2%	46.1%	7
53.3%	0.6%	46.1%	8
53.3%	0.3%	46.4%	9
53.4%	0.1%	46.4%	10
53.5%	0.1%	46.4%	11
53.5%	0%	46.5%	12
53.5%	0%	46.5%	13
53.5%	0%	46.5%	14

Compiler

Compiled 71 to 33 computations (53.5% saved)

sample35.0ms (0.8%)

Algorithm

1×

intervals

Results

22.0ms	256×	body	128	valid
3.0ms	256×	pre	128	true

Compiler

Compiled 140 to 65 computations (53.6% saved)

simplify94.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1509×	`associate-/l*_binary64`
1334×	`associate-/r*_binary64`
744×	`distribute-lft-out_binary64`
549×	`unswap-sqr_binary64`
452×	`associate-*r/_binary64`

Counts

1 → 1

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	32	77
1	73	62
2	218	45
3	773	41
4	1394	41
5	3040	41
6	3379	41
7	3543	39
8	2136	39
9	2622	39
10	2670	39
11	4941	39

prune6.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 2

Alt Table

Status	Error	Program
	0.6b	(fabs.f64 (/.f64 (+.f64 (+.f64 (+.f64 (.f64 2 x) (.f64 2/3 (pow.f64 x 3))) (.f64 1/5 (pow.f64 x 5))) (.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64)))
▶	0.1b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 PI.f64)) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))

Status

Error

Program

0.6b

(fabs.f64 (/.f64 (+.f64 (+.f64 (+.f64 (*.f64 2 x) (*.f64 2/3 (pow.f64 x 3))) (*.f64 1/5 (pow.f64 x 5))) (*.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64)))

▶

0.1b

(fabs.f64 (*.f64 (/.f64 1 (sqrt.f64 PI.f64)) (+.f64 (+.f64 (+.f64 (*.f64 2 (fabs.f64 x)) (*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 21) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))

Compiler

Compiled 214 to 128 computations (40.2% saved)

localize29.0ms (0.7%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.1b	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.1b	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
1.0b	(sqrt.f64 PI.f64)

rewrite236.0ms (5.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

52×	`pow1_binary64`
41×	`add-cbrt-cube_binary64`
35×	`add-exp-log_binary64`
25×	`add-sqr-sqrt_binary64`
18×	`prod-exp_binary64` `cbrt-unprod_binary64`

Counts

4 → 123

Calls

4 calls:

14.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
9.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
9.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
1.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 7106 to 2496 computations (64.9% saved)

series42.0ms (0.9%)

Error

0.0b

Counts

4 → 9

Calls

4 calls:

13.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
13.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
11.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1328 to 689 computations (48.1% saved)

simplify123.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

540×	`associate-/l*_binary64`
414×	`*-commutative_binary64`
372×	`associate-/r/_binary64`
364×	`unswap-sqr_binary64`
241×	`associate-/r*_binary64`

Counts

132 → 95

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	1399
1	244	1080
2	842	1072
3	1508	1033
4	2609	1033
5	4624	1033
6	4940	1033
7	4925	1033

prune113.0ms (2.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	94	1	95
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	94	3	97

Error

0.0b

Counts

97 → 3

Alt Table

Status	Error	Program
	0.6b	(fabs.f64 (/.f64 (+.f64 (+.f64 (+.f64 (.f64 2 x) (.f64 2/3 (pow.f64 x 3))) (.f64 1/5 (pow.f64 x 5))) (.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64)))
✓	0.1b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 PI.f64)) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
▶	0.2b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 PI.f64)) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (fabs.f64 (cbrt.f64 x))) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))

Compiler

Compiled 3920 to 1596 computations (59.3% saved)

localize37.0ms (0.8%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
1.0b	(sqrt.f64 PI.f64)

rewrite116.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

9×	`add-sqr-sqrt_binary64` `cbrt-prod_binary64`
8×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
5×	`pow1_binary64`
4×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`sqrt-prod_binary64` `pow1/3_binary64`

Counts

4 → 46

Calls

4 calls:

1.0ms	(sqrt.f64 PI.f64)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 3424 to 1257 computations (63.3% saved)

series75.0ms (1.7%)

Error

0.0b

Counts

4 → 9

Calls

4 calls:

22.0ms	(cbrt.f64 x)
22.0ms	(cbrt.f64 x)
19.0ms	(cbrt.f64 x)
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1816 to 974 computations (46.4% saved)

simplify95.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

610×	`associate-/l/_binary64`
374×	`log-prod_binary64`
316×	`distribute-rgt-neg-in_binary64`
314×	`distribute-lft-neg-in_binary64`
287×	`*-commutative_binary64`

Counts

55 → 28

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	39	331
1	54	318
2	104	318
3	228	318
4	642	306
5	1810	306
6	2455	306
7	3430	306
8	4894	306
9	4744	306

prune45.0ms (1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	28	0	28
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	28	3	31

Error

0.0b

Counts

31 → 3

Alt Table

Status	Error	Program
▶	0.6b	(fabs.f64 (/.f64 (+.f64 (+.f64 (+.f64 (.f64 2 x) (.f64 2/3 (pow.f64 x 3))) (.f64 1/5 (pow.f64 x 5))) (.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64)))
✓	0.1b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 PI.f64)) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
✓	0.2b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 PI.f64)) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (fabs.f64 (cbrt.f64 x))) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))

Compiler

Compiled 1480 to 625 computations (57.8% saved)

localize16.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 1/5 (pow.f64 x 5))
0.1b	(*.f64 2/3 (pow.f64 x 3))
0.3b	(/.f64 (+.f64 (+.f64 (+.f64 (.f64 2 x) (.f64 2/3 (pow.f64 x 3))) (.f64 1/5 (pow.f64 x 5))) (.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64))
1.0b	(sqrt.f64 PI.f64)

rewrite188.0ms (4.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

40×	`add-sqr-sqrt_binary64`
27×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
19×	`associate-r_binary64`
18×	`times-frac_binary64`
16×	`add-exp-log_binary64`

Counts

4 → 110

Calls

4 calls:

12.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (.f64 2 x) (.f64 2/3 (pow.f64 x 3))) (.f64 1/5 (pow.f64 x 5))) (.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64))
6.0ms	(*.f64 2/3 (pow.f64 x 3))
6.0ms	(*.f64 1/5 (pow.f64 x 5))
1.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 3611 to 2757 computations (23.6% saved)

series67.0ms (1.5%)

Error

0.0b

Counts

4 → 18

Calls

4 calls:

34.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (.f64 2 x) (.f64 2/3 (pow.f64 x 3))) (.f64 1/5 (pow.f64 x 5))) (.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64))
11.0ms	(*.f64 1/5 (pow.f64 x 5))
10.0ms	(*.f64 2/3 (pow.f64 x 3))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 836 to 704 computations (15.8% saved)

simplify191.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

508×	`unswap-sqr_binary64`
507×	`distribute-rgt-in_binary64`
490×	`distribute-lft-in_binary64`
398×	`*-commutative_binary64`
202×	`log-prod_binary64`

Counts

128 → 90

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	197	3778
1	419	3465
2	1225	3363
3	3581	3363
4	4619	3355
5	4914	3355
6	4833	3355

prune105.0ms (2.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	87	3	90
Fresh	0	0	0
Picked	0	1	1
Done	1	1	2
Total	88	5	93

Error

Counts

93 → 5

Alt Table

Status	Error	Program
	31.7b	(fabs.f64 (.f64 (/.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 x 5)) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2 x))) (.f64 1/21 (pow.f64 x 7)))) (sqrt.f64 (sqrt.f64 PI.f64))) (/.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 x 5)) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2 x))) (*.f64 1/21 (pow.f64 x 7)))) (sqrt.f64 (sqrt.f64 PI.f64)))))
▶	1.5b	(fabs.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 x 5)) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2 x))) (.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64))) (cbrt.f64 (/.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 x 5)) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2 x))) (.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64)))) (cbrt.f64 (/.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 x 5)) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2 x))) (.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64)))))
✓	0.6b	(fabs.f64 (/.f64 (+.f64 (+.f64 (+.f64 (.f64 2 x) (.f64 2/3 (pow.f64 x 3))) (.f64 1/5 (pow.f64 x 5))) (.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64)))
	56.7b	(fabs.f64 (.f64 1/21 (.f64 (sqrt.f64 (/.f64 1 PI.f64)) (pow.f64 x 7))))
✓	0.1b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 PI.f64)) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))

Compiler

Compiled 2568 to 1948 computations (24.1% saved)

localize24.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.7b	(cbrt.f64 (/.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 x 5)) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2 x))) (.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64)))
1.0b	(sqrt.f64 PI.f64)
1.0b	(sqrt.f64 PI.f64)
1.0b	(sqrt.f64 PI.f64)

rewrite200.0ms (4.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

23×	`add-sqr-sqrt_binary64`
22×	`cbrt-prod_binary64`
20×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
18×	`sqrt-prod_binary64` `times-frac_binary64`
7×	`pow1_binary64`

Counts

4 → 70

Calls

4 calls:

11.0ms	(cbrt.f64 (/.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 x 5)) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2 x))) (.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64)))
1.0ms	(sqrt.f64 PI.f64)
1.0ms	(sqrt.f64 PI.f64)
1.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 5823 to 4429 computations (23.9% saved)

series105.0ms (2.4%)

Error

Counts

4 → 9

Calls

4 calls:

77.0ms	(cbrt.f64 (/.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 x 5)) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2 x))) (.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64)))
0.0ms	(sqrt.f64 PI.f64)
0.0ms	(sqrt.f64 PI.f64)
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 2053 to 1711 computations (16.7% saved)

simplify115.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

514×	`associate-/l/_binary64`
405×	`unswap-sqr_binary64`
341×	`associate-l_binary64`
329×	`times-frac_binary64`
327×	`associate-r_binary64`

Counts

79 → 49

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	162	3084
1	310	3005
2	773	2926
3	3058	2776
4	5336	2776

prune118.0ms (2.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	49	0	49
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	49	5	54

Error

Counts

54 → 5

Alt Table

Status	Error	Program
	31.7b	(fabs.f64 (.f64 (/.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 x 5)) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2 x))) (.f64 1/21 (pow.f64 x 7)))) (sqrt.f64 (sqrt.f64 PI.f64))) (/.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 x 5)) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2 x))) (*.f64 1/21 (pow.f64 x 7)))) (sqrt.f64 (sqrt.f64 PI.f64)))))
	1.5b	(fabs.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 x 5)) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2 x))) (.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64))) (cbrt.f64 (/.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 x 5)) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2 x))) (.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64)))) (cbrt.f64 (/.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 x 5)) (+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2 x))) (.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64)))))
	0.6b	(fabs.f64 (/.f64 (+.f64 (+.f64 (+.f64 (.f64 2 x) (.f64 2/3 (pow.f64 x 3))) (.f64 1/5 (pow.f64 x 5))) (.f64 1/21 (pow.f64 x 7))) (sqrt.f64 PI.f64)))
	56.7b	(fabs.f64 (.f64 1/21 (.f64 (sqrt.f64 (/.f64 1 PI.f64)) (pow.f64 x 7))))
	0.1b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 PI.f64)) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))

Compiler

Compiled 4093 to 3138 computations (23.3% saved)

regimes806.0ms (18.2%)

Accuracy

Total 0.1b remaining (72.7%)

Threshold costs 0.1b (72.7%)

Compiler

Compiled 20556 to 12949 computations (37% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
3×	`+-commutative_binary64`
2×	`fabs-mul_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	42
1	38	42
2	39	42
3	38	42

end1.0ms (0%)

Compiler: Compiled 28 to 24 computations (14.3% saved)

sample1.3s (30.2%)

Algorithm

1×

intervals

Results

736.0ms	8000×	body	128	valid
97.0ms	8000×	pre	128	true

Compiler

Compiled 340 to 229 computations (32.6% saved)

Details

analyze112.0ms (2.5%)

sample35.0ms (0.8%)

simplify94.0ms (2.1%)

prune6.0ms (0.1%)

localize29.0ms (0.7%)

rewrite236.0ms (5.3%)

series42.0ms (0.9%)

simplify123.0ms (2.8%)

prune113.0ms (2.5%)

localize37.0ms (0.8%)

rewrite116.0ms (2.6%)

series75.0ms (1.7%)

simplify95.0ms (2.1%)

prune45.0ms (1%)

localize16.0ms (0.4%)

rewrite188.0ms (4.2%)

series67.0ms (1.5%)

simplify191.0ms (4.3%)

prune105.0ms (2.4%)

localize24.0ms (0.6%)

rewrite200.0ms (4.5%)

series105.0ms (2.4%)

simplify115.0ms (2.6%)

prune118.0ms (2.7%)

regimes806.0ms (18.2%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample1.3s (30.2%)

Profiling