Details

analyze9.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	25%	75%	0%	0%	0%	0
100%	25%	0%	75%	0%	0%	0%	1

Compiler

Compiled 12 to 9 computations (25% saved)

sample6.1s (84.6%)

Results

3.7s	4153×	body	1024	valid
1.1s	2115×	body	512	valid
674.0ms	1583×	body	256	valid
510.0ms	405×	body	2048	valid

Bogosity

preprocess8.0ms (0.1%)

Algorithm

2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(acos.f64 (-.f64 1 x))

Outputs
(acos.f64 (-.f64 1 x))

Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify25.0ms (0.4%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(acos.f64 (-.f64 1 x))

Outputs
(acos.f64 (-.f64 1 x))

eval1.0ms (0%)

Compiler: Compiled 5 to 4 computations (20% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

58.8b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	58.8b	(acos.f64 (-.f64 1 x))

Compiler

Compiled 5 to 4 computations (20% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	5.0b	(acos.f64 (-.f64 1 x))

Compiler

Compiled 10 to 7 computations (30% saved)

series0.0ms (0%)

Counts

1 → 4

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	-inf	(acos.f64 (-.f64 1 x))
0.0ms	x	@	0	(acos.f64 (-.f64 1 x))
0.0ms	x	@	inf	(acos.f64 (-.f64 1 x))

rewrite190.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1248×	`rational_best-1`
1246×	`rational_best-4`
1246×	`rational_best-2`
1246×	`rational_best-3`
1246×	`exponential-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	43	11
2	79	11
3	199	11
4	640	11
5	3535	11

Stop Event

1×	node limit

Counts

1 → 37

Calls

Call 1

Inputs
(acos.f64 (-.f64 1 x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (acos.f64 (-.f64 1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (acos.f64 (-.f64 1 x)) 1/2) (.f64 (acos.f64 (-.f64 1 x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (acos.f64 (-.f64 1 x)) 4) (+.f64 (.f64 (acos.f64 (-.f64 1 x)) 1/2) (/.f64 (acos.f64 (-.f64 1 x)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (acos.f64 (-.f64 1 x)) 4) (/.f64 (.f64 (.f64 (acos.f64 (-.f64 1 x)) 3) 1/2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (acos.f64 (-.f64 1 x)) 4) (/.f64 (.f64 (acos.f64 (-.f64 1 x)) 3) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 (acos.f64 (-.f64 1 x)) 1/2) (/.f64 (acos.f64 (-.f64 1 x)) 4)) (/.f64 (acos.f64 (-.f64 1 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (.f64 (acos.f64 (-.f64 1 x)) 3) 1/2) 2) (/.f64 (acos.f64 (-.f64 1 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (acos.f64 (-.f64 1 x)) 3) 4) (/.f64 (acos.f64 (-.f64 1 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (acos.f64 (-.f64 1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (acos.f64 (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (acos.f64 (-.f64 1 x)) 1/2) (/.f64 (acos.f64 (-.f64 1 x)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 (acos.f64 (-.f64 1 x)) 1/2) (/.f64 (acos.f64 (-.f64 1 x)) 4)) (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 (.f64 (acos.f64 (-.f64 1 x)) 3) 1/2) 2) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) -2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 (acos.f64 (-.f64 1 x)) 3) 4) (/.f64 (neg.f64 (acos.f64 (-.f64 1 x))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (acos.f64 (-.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (acos.f64 (-.f64 1 x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (acos.f64 (-.f64 1 x)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (acos.f64 (-.f64 1 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (acos.f64 (-.f64 1 x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (acos.f64 (-.f64 1 x)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (acos.f64 (-.f64 1 x)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 (acos.f64 (-.f64 1 x)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -2 (/.f64 (acos.f64 (-.f64 1 x)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (acos.f64 (-.f64 1 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (.f64 (acos.f64 (-.f64 1 x)) 4)) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/8 (.f64 2 (.f64 (acos.f64 (-.f64 1 x)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (acos.f64 (-.f64 1 x)) 4) 4) 1/16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (acos.f64 (-.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (acos.f64 (-.f64 1 x)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (acos.f64 (-.f64 1 x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (acos.f64 (-.f64 1 x)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (acos.f64 (-.f64 1 x)) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (acos.f64 (-.f64 1 x)) 4) 4) 16)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (acos.f64 (-.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (acos.f64 (-.f64 1 x))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (acos.f64 (-.f64 1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (acos.f64 (-.f64 1 x)) 1/2) (*.f64 (acos.f64 (-.f64 1 x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (acos.f64 (-.f64 1 x)) 4) (+.f64 (*.f64 (acos.f64 (-.f64 1 x)) 1/2) (/.f64 (acos.f64 (-.f64 1 x)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (acos.f64 (-.f64 1 x)) 4) (/.f64 (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) 3) 1/2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (acos.f64 (-.f64 1 x)) 4) (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) 3) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (acos.f64 (-.f64 1 x)) 1/2) (/.f64 (acos.f64 (-.f64 1 x)) 4)) (/.f64 (acos.f64 (-.f64 1 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) 3) 1/2) 2) (/.f64 (acos.f64 (-.f64 1 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) 3) 4) (/.f64 (acos.f64 (-.f64 1 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (acos.f64 (-.f64 1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (acos.f64 (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (acos.f64 (-.f64 1 x)) 1/2) (/.f64 (acos.f64 (-.f64 1 x)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 (acos.f64 (-.f64 1 x)) 1/2) (/.f64 (acos.f64 (-.f64 1 x)) 4)) (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) 3) 1/2) 2) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) -2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) 3) 4) (/.f64 (neg.f64 (acos.f64 (-.f64 1 x))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (acos.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (acos.f64 (-.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (acos.f64 (-.f64 1 x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (acos.f64 (-.f64 1 x)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (acos.f64 (-.f64 1 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (acos.f64 (-.f64 1 x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (acos.f64 (-.f64 1 x)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (acos.f64 (-.f64 1 x)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (acos.f64 (-.f64 1 x)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -2 (/.f64 (acos.f64 (-.f64 1 x)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (acos.f64 (-.f64 1 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 (acos.f64 (-.f64 1 x)) 4)) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 2 (*.f64 (acos.f64 (-.f64 1 x)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) 4) 4) 1/16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (acos.f64 (-.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (acos.f64 (-.f64 1 x)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (acos.f64 (-.f64 1 x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (acos.f64 (-.f64 1 x)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (acos.f64 (-.f64 1 x)) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (acos.f64 (-.f64 1 x)) 4) 4) 16)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (acos.f64 (-.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (acos.f64 (-.f64 1 x))))))))

simplify816.0ms (11.3%)

Algorithm

1×	egg-herbie

Rules

1002×	`rational_best-simplify-3`
988×	`rational_best-simplify-1`
704×	`rational_best-simplify-63`
702×	`rational_best-simplify-85`
696×	`rational_best-simplify-64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	76	475
1	147	467
2	401	467
3	1748	467
4	5747	467
5	7703	467

Stop Event

1×	node limit

Counts

41 → 40

Calls

Call 1

Inputs
(acos.f64 (+.f64 1 (*.f64 -1 x)))
(acos.f64 (+.f64 1 (*.f64 -1 x)))
(acos.f64 (+.f64 1 (*.f64 -1 x)))
(acos.f64 (+.f64 1 (*.f64 -1 x)))
(+.f64 (acos.f64 (-.f64 1 x)) 0)
(+.f64 0 (acos.f64 (-.f64 1 x)))
(+.f64 (.f64 (acos.f64 (-.f64 1 x)) 1/2) (.f64 (acos.f64 (-.f64 1 x)) 1/2))
(+.f64 (/.f64 (acos.f64 (-.f64 1 x)) 4) (+.f64 (*.f64 (acos.f64 (-.f64 1 x)) 1/2) (/.f64 (acos.f64 (-.f64 1 x)) 4)))
(+.f64 (/.f64 (acos.f64 (-.f64 1 x)) 4) (/.f64 (.f64 (.f64 (acos.f64 (-.f64 1 x)) 3) 1/2) 2))
(+.f64 (/.f64 (acos.f64 (-.f64 1 x)) 4) (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) 3) 4))
(+.f64 (+.f64 (*.f64 (acos.f64 (-.f64 1 x)) 1/2) (/.f64 (acos.f64 (-.f64 1 x)) 4)) (/.f64 (acos.f64 (-.f64 1 x)) 4))
(+.f64 (/.f64 (.f64 (.f64 (acos.f64 (-.f64 1 x)) 3) 1/2) 2) (/.f64 (acos.f64 (-.f64 1 x)) 4))
(+.f64 (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) 3) 4) (/.f64 (acos.f64 (-.f64 1 x)) 4))
(-.f64 (acos.f64 (-.f64 1 x)) 0)
(-.f64 0 (neg.f64 (acos.f64 (-.f64 1 x))))
(-.f64 (*.f64 (acos.f64 (-.f64 1 x)) 1/2) (/.f64 (acos.f64 (-.f64 1 x)) -2))
(-.f64 (+.f64 (*.f64 (acos.f64 (-.f64 1 x)) 1/2) (/.f64 (acos.f64 (-.f64 1 x)) 4)) (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) 4)))
(-.f64 (/.f64 (.f64 (.f64 (acos.f64 (-.f64 1 x)) 3) 1/2) 2) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) -2) 2))
(-.f64 (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) 3) 4) (/.f64 (neg.f64 (acos.f64 (-.f64 1 x))) 4))
(*.f64 1 (acos.f64 (-.f64 1 x)))
(*.f64 (acos.f64 (-.f64 1 x)) 1)
(.f64 2 (.f64 (acos.f64 (-.f64 1 x)) 1/2))
(.f64 (.f64 (acos.f64 (-.f64 1 x)) 2) 1/2)
(.f64 1/2 (.f64 (acos.f64 (-.f64 1 x)) 2))
(*.f64 (neg.f64 (acos.f64 (-.f64 1 x))) -1)
(.f64 (.f64 (acos.f64 (-.f64 1 x)) 4) 1/4)
(.f64 (.f64 (acos.f64 (-.f64 1 x)) 1/2) 2)
(.f64 4 (.f64 (acos.f64 (-.f64 1 x)) 1/4))
(*.f64 -2 (/.f64 (acos.f64 (-.f64 1 x)) -2))
(.f64 1/4 (.f64 (acos.f64 (-.f64 1 x)) 4))
(.f64 (.f64 2 (*.f64 (acos.f64 (-.f64 1 x)) 4)) 1/8)
(.f64 1/8 (.f64 2 (*.f64 (acos.f64 (-.f64 1 x)) 4)))
(.f64 (.f64 (*.f64 (acos.f64 (-.f64 1 x)) 4) 4) 1/16)
(/.f64 (acos.f64 (-.f64 1 x)) 1)
(/.f64 (*.f64 (acos.f64 (-.f64 1 x)) 2) 2)
(/.f64 (neg.f64 (acos.f64 (-.f64 1 x))) -1)
(/.f64 (*.f64 (acos.f64 (-.f64 1 x)) 4) 4)
(/.f64 (.f64 2 (.f64 (acos.f64 (-.f64 1 x)) 4)) 8)
(/.f64 (.f64 (.f64 (acos.f64 (-.f64 1 x)) 4) 4) 16)
(pow.f64 (acos.f64 (-.f64 1 x)) 1)
(neg.f64 (neg.f64 (acos.f64 (-.f64 1 x))))

Outputs
(acos.f64 (+.f64 1 (*.f64 -1 x)))
(acos.f64 (+.f64 1 (neg.f64 x)))
(acos.f64 (+.f64 1 (*.f64 -1 x)))
(acos.f64 (+.f64 1 (neg.f64 x)))
(acos.f64 (+.f64 1 (*.f64 -1 x)))
(acos.f64 (+.f64 1 (neg.f64 x)))
(acos.f64 (+.f64 1 (*.f64 -1 x)))
(acos.f64 (+.f64 1 (neg.f64 x)))
(+.f64 (acos.f64 (-.f64 1 x)) 0)
(acos.f64 (-.f64 1 x))
(+.f64 0 (acos.f64 (-.f64 1 x)))
(acos.f64 (-.f64 1 x))
(+.f64 (.f64 (acos.f64 (-.f64 1 x)) 1/2) (.f64 (acos.f64 (-.f64 1 x)) 1/2))
(acos.f64 (-.f64 1 x))
(+.f64 (/.f64 (acos.f64 (-.f64 1 x)) 4) (+.f64 (*.f64 (acos.f64 (-.f64 1 x)) 1/2) (/.f64 (acos.f64 (-.f64 1 x)) 4)))
(acos.f64 (-.f64 1 x))
(+.f64 (/.f64 (acos.f64 (-.f64 1 x)) 4) (/.f64 (.f64 (.f64 (acos.f64 (-.f64 1 x)) 3) 1/2) 2))
(acos.f64 (-.f64 1 x))
(+.f64 (/.f64 (acos.f64 (-.f64 1 x)) 4) (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) 3) 4))
(acos.f64 (-.f64 1 x))
(+.f64 (+.f64 (*.f64 (acos.f64 (-.f64 1 x)) 1/2) (/.f64 (acos.f64 (-.f64 1 x)) 4)) (/.f64 (acos.f64 (-.f64 1 x)) 4))
(acos.f64 (-.f64 1 x))
(+.f64 (/.f64 (.f64 (.f64 (acos.f64 (-.f64 1 x)) 3) 1/2) 2) (/.f64 (acos.f64 (-.f64 1 x)) 4))
(acos.f64 (-.f64 1 x))
(+.f64 (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) 3) 4) (/.f64 (acos.f64 (-.f64 1 x)) 4))
(acos.f64 (-.f64 1 x))
(-.f64 (acos.f64 (-.f64 1 x)) 0)
(acos.f64 (-.f64 1 x))
(-.f64 0 (neg.f64 (acos.f64 (-.f64 1 x))))
(acos.f64 (-.f64 1 x))
(-.f64 (*.f64 (acos.f64 (-.f64 1 x)) 1/2) (/.f64 (acos.f64 (-.f64 1 x)) -2))
(acos.f64 (-.f64 1 x))
(-.f64 (+.f64 (*.f64 (acos.f64 (-.f64 1 x)) 1/2) (/.f64 (acos.f64 (-.f64 1 x)) 4)) (neg.f64 (/.f64 (acos.f64 (-.f64 1 x)) 4)))
(acos.f64 (-.f64 1 x))
(-.f64 (/.f64 (.f64 (.f64 (acos.f64 (-.f64 1 x)) 3) 1/2) 2) (/.f64 (/.f64 (acos.f64 (-.f64 1 x)) -2) 2))
(acos.f64 (-.f64 1 x))
(-.f64 (/.f64 (*.f64 (acos.f64 (-.f64 1 x)) 3) 4) (/.f64 (neg.f64 (acos.f64 (-.f64 1 x))) 4))
(acos.f64 (-.f64 1 x))
(*.f64 1 (acos.f64 (-.f64 1 x)))
(acos.f64 (-.f64 1 x))
(*.f64 (acos.f64 (-.f64 1 x)) 1)
(acos.f64 (-.f64 1 x))
(.f64 2 (.f64 (acos.f64 (-.f64 1 x)) 1/2))
(acos.f64 (-.f64 1 x))
(.f64 (.f64 (acos.f64 (-.f64 1 x)) 2) 1/2)
(acos.f64 (-.f64 1 x))
(.f64 1/2 (.f64 (acos.f64 (-.f64 1 x)) 2))
(acos.f64 (-.f64 1 x))
(*.f64 (neg.f64 (acos.f64 (-.f64 1 x))) -1)
(acos.f64 (-.f64 1 x))
(.f64 (.f64 (acos.f64 (-.f64 1 x)) 4) 1/4)
(acos.f64 (-.f64 1 x))
(.f64 (.f64 (acos.f64 (-.f64 1 x)) 1/2) 2)
(acos.f64 (-.f64 1 x))
(.f64 4 (.f64 (acos.f64 (-.f64 1 x)) 1/4))
(acos.f64 (-.f64 1 x))
(*.f64 -2 (/.f64 (acos.f64 (-.f64 1 x)) -2))
(acos.f64 (-.f64 1 x))
(.f64 1/4 (.f64 (acos.f64 (-.f64 1 x)) 4))
(acos.f64 (-.f64 1 x))
(.f64 (.f64 2 (*.f64 (acos.f64 (-.f64 1 x)) 4)) 1/8)
(acos.f64 (-.f64 1 x))
(.f64 1/8 (.f64 2 (*.f64 (acos.f64 (-.f64 1 x)) 4)))
(acos.f64 (-.f64 1 x))
(.f64 (.f64 (*.f64 (acos.f64 (-.f64 1 x)) 4) 4) 1/16)
(acos.f64 (-.f64 1 x))
(/.f64 (acos.f64 (-.f64 1 x)) 1)
(acos.f64 (-.f64 1 x))
(/.f64 (*.f64 (acos.f64 (-.f64 1 x)) 2) 2)
(acos.f64 (-.f64 1 x))
(/.f64 (neg.f64 (acos.f64 (-.f64 1 x))) -1)
(acos.f64 (-.f64 1 x))
(/.f64 (*.f64 (acos.f64 (-.f64 1 x)) 4) 4)
(acos.f64 (-.f64 1 x))
(/.f64 (.f64 2 (.f64 (acos.f64 (-.f64 1 x)) 4)) 8)
(acos.f64 (-.f64 1 x))
(/.f64 (.f64 (.f64 (acos.f64 (-.f64 1 x)) 4) 4) 16)
(acos.f64 (-.f64 1 x))
(pow.f64 (acos.f64 (-.f64 1 x)) 1)
(acos.f64 (-.f64 1 x))
(neg.f64 (neg.f64 (acos.f64 (-.f64 1 x))))
(acos.f64 (-.f64 1 x))

eval16.0ms (0.2%)

Compiler: Compiled 401 to 347 computations (13.5% saved)

prune9.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	1	41

Error

58.8b

Counts

41 → 1

Alt Table

Click to see full alt table

Status	Error	Program
✓	58.8b	(acos.f64 (-.f64 1 x))

Compiler

Compiled 10 to 8 computations (20% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(acos.f64 (-.f64 1 x))

Outputs
(acos.f64 (-.f64 1 x))

Compiler

Compiled 5 to 4 computations (20% saved)

soundness0.0ms (0%)

end18.0ms (0.3%)

Compiler: Compiled 5 to 4 computations (20% saved)

Details

analyze9.0ms (0.1%)

sample6.1s (84.6%)

preprocess8.0ms (0.1%)

simplify25.0ms (0.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0.1%)

series0.0ms (0%)

rewrite190.0ms (2.6%)

simplify816.0ms (11.3%)

eval16.0ms (0.2%)

prune9.0ms (0.1%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end18.0ms (0.3%)

Profiling