Details

analyze5.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	50%	0%	0%	50%	0%	3
50%	25%	25%	0%	0%	50%	0%	4
75%	37.5%	12.5%	0%	0%	50%	0%	5
87.5%	43.7%	6.2%	0%	0%	50%	0%	6
93.8%	46.9%	3.1%	0%	0%	50%	0%	7
96.9%	48.4%	1.6%	0%	0%	50%	0%	8
98.4%	49.2%	0.8%	0%	0%	50%	0%	9
99.2%	49.6%	0.4%	0%	0%	50%	0%	10
99.6%	49.8%	0.2%	0%	0%	50%	0%	11
99.8%	49.9%	0.1%	0%	0%	50%	0%	12

Compiler

Compiled 15 to 14 computations (6.7% saved)

sample3.3s (78.3%)

Results

2.0s	4142×	body	1024	valid
585.0ms	2074×	body	512	valid
323.0ms	429×	body	2048	valid
309.0ms	1611×	body	256	valid
0.0ms	2×	body	256	invalid

Bogosity

preprocess8.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

78×	`rational.json-simplify-2`
76×	`rational.json-simplify-31`
46×	`rational.json-simplify-9`
42×	`rational.json-simplify-27`
32×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	41
1	24	41
2	40	41
3	60	41
4	88	41
5	115	41
6	148	41
7	173	41
8	204	41
9	212	41
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))

Outputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
(+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2))

Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

78×	`rational.json-simplify-2`
76×	`rational.json-simplify-31`
46×	`rational.json-simplify-9`
42×	`rational.json-simplify-27`
32×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	41
1	24	41
2	40	41
3	60	41
4	88	41
5	115	41
6	148	41
7	173	41
8	204	41
9	212	41

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))

Outputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
(+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2))

eval1.0ms (0%)

Compiler: Compiled 27 to 24 computations (11.1% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

59.3b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	59.3b	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))

Compiler

Compiled 14 to 13 computations (7.1% saved)

localize35.0ms (0.8%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (/.f64 (-.f64 1 x) 2))
✓	1.0b	(asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))
✓	6.2b	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))

Compiler

Compiled 51 to 42 computations (17.6% saved)

series3.0ms (0.1%)

Counts

3 → 28

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
1.0ms	x	@	inf	(sqrt.f64 (/.f64 (-.f64 1 x) 2))
0.0ms	x	@	inf	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
0.0ms	x	@	0	(sqrt.f64 (/.f64 (-.f64 1 x) 2))
0.0ms	x	@	-inf	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))

rewrite12.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

82×	`rational.json-simplify-2`
70×	`bool.json-1`
60×	`rational.json-1`
60×	`rational.json-2`
54×	`rational.json-simplify-27`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	79
1	72	79
2	142	79
3	207	79
4	257	79
5	285	79
6	292	79
7	299	79

Stop Event

1×

saturated

Counts

3 → 19

Calls

Call 1

Inputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
(asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))
(sqrt.f64 (/.f64 (-.f64 1 x) 2))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2) (/.f64 (PI.f64) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))) (/.f64 (PI.f64) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (-.f64 (.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))) (/.f64 (PI.f64) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))) (/.f64 (PI.f64) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)) (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x or (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (sqrt.f64 (/.f64 (-.f64 1 x) 2)) (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2) (/.f64 (PI.f64) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))) (/.f64 (PI.f64) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))) (/.f64 (PI.f64) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))) (/.f64 (PI.f64) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)) (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x or (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (sqrt.f64 (/.f64 (-.f64 1 x) 2)) (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))))

simplify40.0ms (1%)

Algorithm

1×	egg-herbie

Rules

204×	`rational.json-simplify-2`
164×	`rational.json-simplify-31`
116×	`rational.json-simplify-1`
70×	`rational.json-simplify-9`
64×	`rational.json-simplify-27`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	70	1645
1	118	1633
2	175	1633
3	238	1633
4	296	1633
5	354	1633
6	413	1633
7	460	1633
8	510	1633
9	523	1633

Stop Event

1×

saturated

Counts

47 → 37

Calls

Call 1

Inputs
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))
(asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))
(asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))
(asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))
(sqrt.f64 1/2)
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (sqrt.f64 1/2) (+.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2)))))
(+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (sqrt.f64 1/2) (+.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2))
(+.f64 (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)) 0)
(+.f64 0 (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)))
(+.f64 (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2) (/.f64 (PI.f64) 2))
(.f64 1 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)))
(.f64 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)) 1)
(.f64 (-.f64 (.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))) (/.f64 (PI.f64) 2)) -1)
(.f64 -1 (-.f64 (.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))) (/.f64 (PI.f64) 2)))
(neg.f64 (-.f64 (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))) (/.f64 (PI.f64) 2)))
(+.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) 0)
(+.f64 0 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))
(*.f64 1 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))
(*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) 1)
(.f64 -1 (.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -1))
(.f64 (.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -1) -1)
(+.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)) 0)
(+.f64 0 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))
(*.f64 1 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))
(*.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)) 1)

Outputs
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(sqrt.f64 1/2)
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))
(.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))
(+.f64 (sqrt.f64 1/2) (+.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2)))))
(+.f64 (sqrt.f64 1/2) (+.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2)))))
(+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))
(+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (sqrt.f64 1/2) (+.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(+.f64 (+.f64 (sqrt.f64 1/2) (+.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))))
(+.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2)))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))))
(+.f64 (.f64 (sqrt.f64 1/2) (.f64 x -1/2)) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/16 (pow.f64 x 3))))))
(+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2))
(+.f64 (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)) 0)
(+.f64 (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2) (+.f64 (/.f64 (PI.f64) 2) 0))
(+.f64 (/.f64 (PI.f64) 2) (+.f64 (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2) 0))
(+.f64 (/.f64 (PI.f64) 2) (+.f64 0 (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)))
(+.f64 0 (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)))
(+.f64 (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)) 0)
(+.f64 (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2) (+.f64 (/.f64 (PI.f64) 2) 0))
(+.f64 (/.f64 (PI.f64) 2) (+.f64 (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2) 0))
(+.f64 (/.f64 (PI.f64) 2) (+.f64 0 (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)))
(+.f64 (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2) (/.f64 (PI.f64) 2))
(+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2))
(.f64 1 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)))
(+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2))
(.f64 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2)) 1)
(+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2))
(.f64 (-.f64 (.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))) (/.f64 (PI.f64) 2)) -1)
(+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2))
(.f64 -1 (-.f64 (.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))) (/.f64 (PI.f64) 2)))
(+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2))
(neg.f64 (-.f64 (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))) (/.f64 (PI.f64) 2)))
(+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -2))
(+.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) 0)
(+.f64 0 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))
(+.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) 0)
(*.f64 1 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))
(*.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) 1)
(*.f64 1 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))
(.f64 -1 (.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -1))
(*.f64 1 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))
(.f64 (.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))) -1) -1)
(*.f64 1 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))
(+.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)) 0)
(+.f64 0 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))
(+.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)) 0)
(*.f64 1 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))
(*.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)) 1)
(*.f64 1 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))

eval14.0ms (0.3%)

Compiler: Compiled 654 to 571 computations (12.7% saved)

prune7.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	34	3	37
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	34	4	38

Error

59.3b

Counts

38 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	59.6b	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2)))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))))
▶	60.1b	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))))))
✓	59.3b	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
▶	61.5b	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 1/2))))

Compiler

Compiled 74 to 69 computations (6.8% saved)

localize18.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	1.0b	(asin.f64 (sqrt.f64 1/2))

Compiler

Compiled 26 to 24 computations (7.7% saved)

series0.0ms (0%)

Counts: 1 → 0

rewrite7.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

20×	`bool.json-1`
14×	`rational.json-1`
14×	`rational.json-2`
14×	`rational.json-simplify-2`
14×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	9
1	25	9
2	48	9
3	54	9

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

Inputs
(asin.f64 (sqrt.f64 1/2))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (asin.f64 (sqrt.f64 1/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (asin.f64 (sqrt.f64 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (asin.f64 (sqrt.f64 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (asin.f64 (sqrt.f64 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (asin.f64 (sqrt.f64 1/2)) (asin.f64 (sqrt.f64 1/2)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (asin.f64 (sqrt.f64 1/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (asin.f64 (sqrt.f64 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (asin.f64 (sqrt.f64 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (asin.f64 (sqrt.f64 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (asin.f64 (sqrt.f64 1/2)) (asin.f64 (sqrt.f64 1/2)))))))

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-2`
2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	60
1	12	60

Stop Event

1×

saturated

Counts

4 → 4

Calls

Call 1

Inputs
(+.f64 (asin.f64 (sqrt.f64 1/2)) 0)
(+.f64 0 (asin.f64 (sqrt.f64 1/2)))
(*.f64 (asin.f64 (sqrt.f64 1/2)) 1)
(*.f64 1 (asin.f64 (sqrt.f64 1/2)))

Outputs
(+.f64 (asin.f64 (sqrt.f64 1/2)) 0)
(+.f64 0 (asin.f64 (sqrt.f64 1/2)))
(+.f64 (asin.f64 (sqrt.f64 1/2)) 0)
(*.f64 (asin.f64 (sqrt.f64 1/2)) 1)
(*.f64 1 (asin.f64 (sqrt.f64 1/2)))
(*.f64 (asin.f64 (sqrt.f64 1/2)) 1)

localize32.0ms (0.8%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))
✓	1.0b	(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))
✓	6.1b	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))))))

Compiler

Compiled 63 to 54 computations (14.3% saved)

series3.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))))))
0.0ms	x	@	inf	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))))))
0.0ms	x	@	0	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))))))
0.0ms	x	@	inf	(.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))
0.0ms	x	@	0	(.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))

rewrite10.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

66×	`rational.json-simplify-2`
64×	`bool.json-1`
50×	`rational.json-1`
50×	`rational.json-2`
46×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	97
1	83	97
2	138	97
3	181	97
4	202	97
5	218	97
6	225	97
7	232	97

Stop Event

1×

saturated

Counts

3 → 17

Calls

Call 1

Inputs
(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))))))
(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))
(.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))) -2) (/.f64 (PI.f64) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))))) (/.f64 (PI.f64) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))))) (/.f64 (PI.f64) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))))) (/.f64 (PI.f64) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))) (-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x or (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))) (asin.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))) (*.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))))))))

simplify312.0ms (7.5%)

Algorithm

1×	egg-herbie

Rules

344×	`rational.json-simplify-31`
300×	`rational.json-simplify-2`
66×	`rational.json-simplify-1`
62×	`rational.json-simplify-27`
58×	`rational.json-simplify-9`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	60	1861
1	96	1825
2	132	1825
3	183	1825
4	247	1825
5	307	1825
6	379	1825
7	471	1825
8	562	1825
9	596	1825
10	597	1825

Stop Event

1×

saturated

Counts

53 → 35

Calls

Call 1

Inputs
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(asin.f64 (.f64 (+.f64 (.f64 -1/2 x) 1) (sqrt.f64 1/2)))
(asin.f64 (.f64 (+.f64 (.f64 -1/2 x) 1) (sqrt.f64 1/2)))
(asin.f64 (.f64 (+.f64 (.f64 -1/2 x) 1) (sqrt.f64 1/2)))
(asin.f64 (.f64 (+.f64 (.f64 -1/2 x) 1) (sqrt.f64 1/2)))
(asin.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)))
(asin.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)))
(asin.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)))
(asin.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)))
(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))
(sqrt.f64 1/2)
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))) -2))
(+.f64 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))) 0)
(+.f64 0 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))))
(+.f64 (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))) -2) (/.f64 (PI.f64) 2))
(.f64 1 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))))))
(.f64 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))))) 1)
(.f64 (-.f64 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))) (/.f64 (PI.f64) 2)) -1)
(.f64 -1 (-.f64 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))) (/.f64 (PI.f64) 2)))
(neg.f64 (-.f64 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))))) (/.f64 (PI.f64) 2)))
(+.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))) 0)
(+.f64 0 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))))
(.f64 1 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))
(.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))) 1)
(.f64 -1 (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))) -1))
(.f64 (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))) -1) -1)
(+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) 0)
(+.f64 0 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))

Outputs
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))) -2))
(asin.f64 (.f64 (+.f64 (.f64 -1/2 x) 1) (sqrt.f64 1/2)))
(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))
(asin.f64 (.f64 (+.f64 (.f64 -1/2 x) 1) (sqrt.f64 1/2)))
(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))
(asin.f64 (.f64 (+.f64 (.f64 -1/2 x) 1) (sqrt.f64 1/2)))
(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))
(asin.f64 (.f64 (+.f64 (.f64 -1/2 x) 1) (sqrt.f64 1/2)))
(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))
(asin.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)))
(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))
(asin.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)))
(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))
(asin.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)))
(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))
(asin.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)))
(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))))
(sqrt.f64 1/2)
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))
(.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))
(.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))
(.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 (sqrt.f64 1/2) (.f64 -1/2 x))
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))
(.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))
(.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))
(.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 (sqrt.f64 1/2) (.f64 -1/2 x))
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))
(.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))
(.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))
(+.f64 (sqrt.f64 1/2) (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))
(.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))) -2))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 -1/2 x)))) -2))
(+.f64 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))) 0)
(+.f64 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 -1/2 x)))))) 0)
(+.f64 (/.f64 (PI.f64) 2) (+.f64 0 (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 -1/2 x)))) -2)))
(+.f64 0 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))))
(+.f64 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 -1/2 x)))))) 0)
(+.f64 (/.f64 (PI.f64) 2) (+.f64 0 (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 -1/2 x)))) -2)))
(+.f64 (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))) -2) (/.f64 (PI.f64) 2))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 -1/2 x)))) -2))
(.f64 1 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))))))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 -1/2 x)))) -2))
(.f64 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))))) 1)
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 -1/2 x)))) -2))
(.f64 (-.f64 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))) (/.f64 (PI.f64) 2)) -1)
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 -1/2 x)))) -2))
(.f64 -1 (-.f64 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))) (/.f64 (PI.f64) 2)))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 -1/2 x)))) -2))
(neg.f64 (-.f64 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))))) (/.f64 (PI.f64) 2)))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 -1/2 x)))) -2))
(+.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))) 0)
(+.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))) 0)
(+.f64 0 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))))
(+.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x)))) 0)
(.f64 1 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))
(.f64 1 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 -1/2 x)))))
(.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))) 1)
(.f64 1 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 -1/2 x)))))
(.f64 -1 (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))) -1))
(.f64 1 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 -1/2 x)))))
(.f64 (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))) -1) -1)
(.f64 1 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 -1/2 x)))))
(+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) 0)
(+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) 0)
(+.f64 0 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))
(+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) 0)

localize80.0ms (1.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))
✓	0.2b	(*.f64 (sqrt.f64 1/2) (pow.f64 x 2))
✓	1.0b	(asin.f64 (+.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2)))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))
✓	6.2b	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2)))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))))

Compiler

Compiled 196 to 170 computations (13.3% saved)

series7.0ms (0.2%)

Counts

4 → 36

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))
1.0ms	x	@	inf	(*.f64 (sqrt.f64 1/2) (pow.f64 x 2))
1.0ms	x	@	inf	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2)))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))))
1.0ms	x	@	0	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2)))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))))
1.0ms	x	@	-inf	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2)))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))))

rewrite15.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

116×	`rational.json-simplify-2`
104×	`bool.json-1`
90×	`rational.json-simplify-1`
84×	`rational.json-1`
84×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	226
1	137	226
2	226	226
3	302	226
4	338	226
5	354	226
6	361	226
7	368	226

Stop Event

1×

saturated

Counts

4 → 19

Calls

Call 1

Inputs
(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2)))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))))
(asin.f64 (+.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2)))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))
(*.f64 (sqrt.f64 1/2) (pow.f64 x 2))
(.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))) -2) (/.f64 (PI.f64) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))))))) (/.f64 (PI.f64) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (-.f64 (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))))))) (/.f64 (PI.f64) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))))))) (/.f64 (PI.f64) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))))) (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (.f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x or (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))) (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (sqrt.f64 1/2) (pow.f64 x 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (sqrt.f64 1/2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (sqrt.f64 1/2) (pow.f64 x 2)) (.f64 (sqrt.f64 1/2) (pow.f64 x 2)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))))))))

simplify86.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

226×	`rational.json-simplify-2`
206×	`rational.json-simplify-31`
86×	`rational.json-simplify-1`
62×	`rational.json-simplify-27`
58×	`rational.json-simplify-9`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	78	4085
1	140	4085
2	185	4085
3	239	4085
4	297	4085
5	352	4085
6	413	4085
7	470	4085
8	507	4085
9	513	4085

Stop Event

1×

saturated

Counts

55 → 38

Calls

Call 1

Inputs
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)) (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)) (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)) (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)) (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (+.f64 (.f64 -1/2 x) 1) (sqrt.f64 1/2)) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (+.f64 (.f64 -1/2 x) 1) (sqrt.f64 1/2)) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (+.f64 (.f64 -1/2 x) 1) (sqrt.f64 1/2)) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (+.f64 (.f64 -1/2 x) 1) (sqrt.f64 1/2)) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)) (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)) (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)) (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)) (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))) -2))
(+.f64 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))))) 0)
(+.f64 0 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))))))
(+.f64 (.f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))) -2) (/.f64 (PI.f64) 2))
(.f64 1 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))))))
(.f64 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))))) 1)
(.f64 (-.f64 (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))))))) (/.f64 (PI.f64) 2)) -1)
(.f64 -1 (-.f64 (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))))))) (/.f64 (PI.f64) 2)))
(neg.f64 (-.f64 (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3))))))) (/.f64 (PI.f64) 2)))
(+.f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))) 0)
(+.f64 0 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))))
(.f64 1 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))))
(.f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))) 1)
(.f64 -1 (.f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))) -1))
(.f64 (.f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))) -1) -1)
(+.f64 (*.f64 (sqrt.f64 1/2) (pow.f64 x 2)) 0)
(+.f64 0 (*.f64 (sqrt.f64 1/2) (pow.f64 x 2)))
(+.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))) 0)
(+.f64 0 (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))))

Outputs
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x)))))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x)))))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x)))))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x)))))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)) (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x)))))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)) (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x)))))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)) (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x)))))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)) (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x)))))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x)))))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x)))))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x)))))) -2))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x)))))) -2))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (+.f64 (.f64 -1/2 x) 1) (sqrt.f64 1/2)) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (+.f64 (.f64 -1/2 x) 1) (sqrt.f64 1/2)) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (+.f64 (.f64 -1/2 x) 1) (sqrt.f64 1/2)) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (+.f64 (.f64 -1/2 x) 1) (sqrt.f64 1/2)) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x))))))
(asin.f64 (+.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)) (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x))))))
(asin.f64 (+.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)) (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x))))))
(asin.f64 (+.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)) (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x))))))
(asin.f64 (+.f64 (.f64 (-.f64 1 (.f64 1/2 x)) (sqrt.f64 1/2)) (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 -1/2 x))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))))))
(asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x))))))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))) -2))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))) -2))
(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (*.f64 1/2 x))))))))
(+.f64 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))))) 0)
(+.f64 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))))) 0)
(+.f64 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (*.f64 1/2 x)))))))) 0)
(+.f64 0 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))))))
(+.f64 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))))) 0)
(+.f64 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (*.f64 1/2 x)))))))) 0)
(+.f64 (.f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))) -2) (/.f64 (PI.f64) 2))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))) -2))
(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (*.f64 1/2 x))))))))
(.f64 1 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))))))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))) -2))
(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (*.f64 1/2 x))))))))
(.f64 (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))))) 1)
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))) -2))
(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (*.f64 1/2 x))))))))
(.f64 (-.f64 (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))))))) (/.f64 (PI.f64) 2)) -1)
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))) -2))
(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (*.f64 1/2 x))))))))
(.f64 -1 (-.f64 (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))))))) (/.f64 (PI.f64) 2)))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))) -2))
(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (*.f64 1/2 x))))))))
(neg.f64 (-.f64 (.f64 2 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3))))))) (/.f64 (PI.f64) 2)))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))) -2))
(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (*.f64 1/2 x))))))))
(+.f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))) 0)
(+.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))))) 0)
(+.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x)))))) 0)
(+.f64 0 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))))
(+.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2)))))) 0)
(+.f64 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (.f64 1/2 x)))))) 0)
(.f64 1 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))))
(.f64 1 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))))
(.f64 1 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (*.f64 1/2 x)))))))
(.f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))) 1)
(.f64 1 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))))
(.f64 1 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (*.f64 1/2 x)))))))
(.f64 -1 (.f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))) -1))
(.f64 1 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))))
(.f64 1 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (*.f64 1/2 x)))))))
(.f64 (.f64 (asin.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3)))))) -1) -1)
(.f64 1 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2)))))))
(.f64 1 (asin.f64 (+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2))) (.f64 (sqrt.f64 1/2) (-.f64 1 (*.f64 1/2 x)))))))
(+.f64 (*.f64 (sqrt.f64 1/2) (pow.f64 x 2)) 0)
(+.f64 0 (*.f64 (sqrt.f64 1/2) (pow.f64 x 2)))
(+.f64 (*.f64 (sqrt.f64 1/2) (pow.f64 x 2)) 0)
(+.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))) 0)
(+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) 0)
(+.f64 0 (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))))
(+.f64 (.f64 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3))) 0)

eval41.0ms (1%)

Compiler: Compiled 1910 to 1686 computations (11.7% saved)

prune12.0ms (0.3%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	76	1	77
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	76	5	81

Error

58.4b

Counts

81 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	59.6b	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2)))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))))
✓	60.1b	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))))))
▶	61.4b	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x)))))
✓	59.3b	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
✓	61.5b	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 1/2))))

Compiler

Compiled 88 to 82 computations (6.8% saved)

localize21.0ms (0.5%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))
✓	0.0b	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x)))))
✓	0.5b	(.f64 (sqrt.f64 1/2) (.f64 -1/2 x))

Compiler

Compiled 49 to 41 computations (16.3% saved)

series3.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(.f64 (sqrt.f64 1/2) (.f64 -1/2 x))
1.0ms	x	@	0	(.f64 (sqrt.f64 1/2) (.f64 -1/2 x))
0.0ms	x	@	-inf	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x)))))
0.0ms	x	@	inf	(.f64 (sqrt.f64 1/2) (.f64 -1/2 x))
0.0ms	x	@	inf	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x)))))

rewrite12.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

78×	`rational.json-simplify-2`
68×	`bool.json-1`
54×	`rational.json-1`
54×	`rational.json-2`
46×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	79
1	77	79
2	140	79
3	191	79
4	217	79
5	234	79
6	241	79
7	252	79

Stop Event

1×

saturated

Counts

3 → 17

Calls

Call 1

Inputs
(.f64 (sqrt.f64 1/2) (.f64 -1/2 x))
(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x)))))
(asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x)) (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -2) (/.f64 (PI.f64) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x)))) (/.f64 (PI.f64) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x)))) (/.f64 (PI.f64) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x)))) (/.f64 (PI.f64) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -2)) (+.f64 (/.f64 (PI.f64) 2) (*.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -2)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x or (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) (asin.f64 (*.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))))))))

simplify37.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

110×	`rational.json-simplify-31`
110×	`rational.json-simplify-2`
48×	`rational.json-simplify-1`
46×	`rational.json-simplify-27`
38×	`rational.json-simplify-9`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	1537
1	68	1537
2	88	1537
3	112	1537
4	150	1537
5	187	1537
6	228	1537
7	254	1537
8	287	1537
9	300	1537

Stop Event

1×

saturated

Counts

53 → 25

Calls

Call 1

Inputs
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)) 0)
(+.f64 0 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -2))
(+.f64 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -2)) 0)
(+.f64 0 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -2)))
(+.f64 (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -2) (/.f64 (PI.f64) 2))
(.f64 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x))) -2)) 1)
(.f64 1 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x))) -2)))
(.f64 (-.f64 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))) (/.f64 (PI.f64) 2)) -1)
(.f64 -1 (-.f64 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))) (/.f64 (PI.f64) 2)))
(neg.f64 (-.f64 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x)))) (/.f64 (PI.f64) 2)))
(+.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x))) 0)
(+.f64 0 (asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x))))
(.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) 1)
(.f64 1 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))))
(.f64 -1 (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x))) -1))
(.f64 (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x))) -1) -1)

Outputs
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (.f64 (sqrt.f64 1/2) x))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)))
(+.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)) 0)
(+.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)) 0)
(+.f64 0 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))
(+.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x)) 0)
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -2))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 -1/2 (*.f64 (sqrt.f64 1/2) x))) -2))
(+.f64 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -2)) 0)
(+.f64 0 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 -1/2 (*.f64 (sqrt.f64 1/2) x))) -2)))
(+.f64 0 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -2)))
(+.f64 0 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 -1/2 (*.f64 (sqrt.f64 1/2) x))) -2)))
(+.f64 (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) -2) (/.f64 (PI.f64) 2))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 -1/2 (*.f64 (sqrt.f64 1/2) x))) -2))
(.f64 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x))) -2)) 1)
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 -1/2 (*.f64 (sqrt.f64 1/2) x))) -2))
(.f64 1 (+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x))) -2)))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 -1/2 (*.f64 (sqrt.f64 1/2) x))) -2))
(.f64 (-.f64 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))) (/.f64 (PI.f64) 2)) -1)
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 -1/2 (*.f64 (sqrt.f64 1/2) x))) -2))
(.f64 -1 (-.f64 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x)))) (/.f64 (PI.f64) 2)))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 -1/2 (*.f64 (sqrt.f64 1/2) x))) -2))
(neg.f64 (-.f64 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x)))) (/.f64 (PI.f64) 2)))
(+.f64 (/.f64 (PI.f64) 2) (.f64 (asin.f64 (.f64 -1/2 (*.f64 (sqrt.f64 1/2) x))) -2))
(+.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x))) 0)
(+.f64 0 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x))))
(+.f64 0 (asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x))))
(+.f64 0 (asin.f64 (.f64 -1/2 (.f64 (sqrt.f64 1/2) x))))
(.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))) 1)
(.f64 (asin.f64 (.f64 -1/2 (*.f64 (sqrt.f64 1/2) x))) 1)
(.f64 1 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x))))
(.f64 (asin.f64 (.f64 -1/2 (*.f64 (sqrt.f64 1/2) x))) 1)
(.f64 -1 (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x))) -1))
(.f64 (asin.f64 (.f64 -1/2 (*.f64 (sqrt.f64 1/2) x))) 1)
(.f64 (.f64 (asin.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/2 x))) -1) -1)
(.f64 (asin.f64 (.f64 -1/2 (*.f64 (sqrt.f64 1/2) x))) 1)

eval8.0ms (0.2%)

Compiler: Compiled 367 to 318 computations (13.4% saved)

prune10.0ms (0.2%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	25	0	25
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	25	5	30

Error

58.4b

Counts

30 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	59.6b	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2)))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))))
✓	60.1b	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))))))
✓	61.4b	(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x)))))
✓	59.3b	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
✓	61.5b	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 1/2))))

Compiler

Compiled 88 to 82 computations (6.8% saved)

regimes25.0ms (0.6%)

Accuracy

Total -3.2b remaining (-5.4%)

Threshold costs -3.2b (-5.4%)

Counts

5 → 1

Calls

Call 1

Inputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 1/2))))
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (*.f64 -1/2 x)))))
(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (*.f64 x -1/2))))))
(-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (+.f64 (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 1 (.f64 x -1/2))) (.f64 -1/8 (.f64 (sqrt.f64 1/2) (pow.f64 x 2)))) (.f64 (sqrt.f64 1/2) (*.f64 -1/16 (pow.f64 x 3)))))))

Outputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))

Calls

7 calls:

9.0ms	x
2.0ms	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
2.0ms	(*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))
2.0ms	(asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))
2.0ms	(/.f64 (-.f64 1 x) 2)

Results

Error	Segments	Branch
59.3b	1	`x`
59.3b	1	`(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))`
59.3b	1	`(*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))`
59.3b	1	`(asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))`
59.3b	1	`(sqrt.f64 (/.f64 (-.f64 1 x) 2))`
59.3b	1	`(/.f64 (-.f64 1 x) 2)`
59.3b	1	`(-.f64 1 x)`

Compiler

Compiled 135 to 118 computations (12.6% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	70

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 1/2))))

Outputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 1/2))))

Compiler

Compiled 24 to 23 computations (4.2% saved)

soundness0.0ms (0%)

end25.0ms (0.6%)

Compiler: Compiled 23 to 21 computations (8.7% saved)

Details

analyze5.0ms (0.1%)

sample3.3s (78.3%)

preprocess8.0ms (0.2%)

simplify7.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize35.0ms (0.8%)

series3.0ms (0.1%)

rewrite12.0ms (0.3%)

simplify40.0ms (1%)

eval14.0ms (0.3%)

prune7.0ms (0.2%)

localize18.0ms (0.4%)

series0.0ms (0%)

rewrite7.0ms (0.2%)

simplify4.0ms (0.1%)

localize32.0ms (0.8%)

series3.0ms (0.1%)

rewrite10.0ms (0.2%)

simplify312.0ms (7.5%)

localize80.0ms (1.9%)

series7.0ms (0.2%)

rewrite15.0ms (0.4%)

simplify86.0ms (2.1%)

eval41.0ms (1%)

prune12.0ms (0.3%)

localize21.0ms (0.5%)

series3.0ms (0.1%)

rewrite12.0ms (0.3%)

simplify37.0ms (0.9%)

eval8.0ms (0.2%)

prune10.0ms (0.2%)

regimes25.0ms (0.6%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end25.0ms (0.6%)

Profiling