Details

analyze820.0ms (5.9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
0%	0%	90.5%	0.1%	0%	0%	9.4%	7
0%	0%	90.5%	0.1%	0%	0%	9.4%	8
0%	0%	88.9%	0.1%	0%	0%	10.9%	9
0%	0%	88.9%	0.1%	0%	0%	10.9%	10
0%	0%	88.9%	0.1%	0%	0%	10.9%	11
0%	0%	88.4%	0.1%	0.1%	0%	11.4%	12

Compiler

Compiled 29 to 22 computations (24.1% saved)

sample12.9s (92.2%)

Results

3.6s	985×	body	4096	infinite
3.1s	4147×	body	1024	valid
2.0s	915×	body	2048	infinite
1.1s	930×	body	2048	valid
961.0ms	417×	body	4096	valid
689.0ms	1491×	body	512	valid
399.0ms	554×	body	1024	infinite
379.0ms	1493×	body	256	infinite
328.0ms	1271×	body	256	valid
266.0ms	429×	body	512	infinite

Bogosity

preprocess49.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

1680×	`times-frac`
784×	`associate-+l+`
616×	`associate-l`
610×	`associate-/l/`
534×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	300
1	155	276
2	628	252
3	3588	252
0	3	3

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

Inputs
(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 l 3) (.f64 t t)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 1 (pow.f64 (/.f64 k l) 2)) 1)))
(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 k 3) (.f64 l l)) (sin.f64 t)) (tan.f64 t)) (-.f64 (+.f64 1 (pow.f64 (/.f64 t k) 2)) 1)))
(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 k k)) (sin.f64 l)) (tan.f64 l)) (-.f64 (+.f64 1 (pow.f64 (/.f64 l t) 2)) 1)))

Outputs
(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
(/.f64 (/.f64 2 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (*.f64 (sin.f64 k) (tan.f64 k)))) (+.f64 1 (-.f64 (pow.f64 (/.f64 k t) 2) 1)))
(/.f64 2 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (.f64 (tan.f64 k) (+.f64 (pow.f64 (/.f64 k t) 2) 0))))
(.f64 (/.f64 (/.f64 2 (pow.f64 (/.f64 k t) 2)) (.f64 (/.f64 (pow.f64 t 3) (/.f64 l (sin.f64 k))) (tan.f64 k))) l)
(.f64 (/.f64 2 (.f64 (.f64 (/.f64 (.f64 (pow.f64 t 3) (sin.f64 k)) l) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))) l)
(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 l 3) (.f64 t t)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 1 (pow.f64 (/.f64 k l) 2)) 1)))
(/.f64 2 (.f64 (.f64 (sin.f64 k) (/.f64 (pow.f64 l 3) (.f64 t t))) (.f64 (tan.f64 k) (+.f64 (+.f64 1 (pow.f64 (/.f64 k l) 2)) -1))))
(/.f64 2 (.f64 (.f64 (sin.f64 k) (.f64 (/.f64 (pow.f64 l 3) (.f64 t t)) (tan.f64 k))) (+.f64 (pow.f64 (/.f64 k l) 2) 0)))
(/.f64 (.f64 (/.f64 2 (.f64 (sin.f64 k) (.f64 (pow.f64 l 3) (tan.f64 k)))) (.f64 t t)) (pow.f64 (/.f64 k l) 2))
(/.f64 (.f64 (/.f64 2 (.f64 (pow.f64 l 3) (tan.f64 k))) (/.f64 (*.f64 t t) (sin.f64 k))) (pow.f64 (/.f64 k l) 2))
(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 k 3) (.f64 l l)) (sin.f64 t)) (tan.f64 t)) (-.f64 (+.f64 1 (pow.f64 (/.f64 t k) 2)) 1)))
(/.f64 2 (.f64 (.f64 (/.f64 (pow.f64 k 3) (.f64 l l)) (sin.f64 t)) (.f64 (tan.f64 t) (+.f64 (+.f64 1 (pow.f64 (/.f64 t k) 2)) -1))))
(/.f64 2 (.f64 (.f64 (sin.f64 t) (.f64 (/.f64 (pow.f64 k 3) (.f64 l l)) (tan.f64 t))) (+.f64 (pow.f64 (/.f64 t k) 2) 0)))
(.f64 (/.f64 2 (.f64 (.f64 (sin.f64 t) (.f64 (pow.f64 k 3) (tan.f64 t))) (pow.f64 (/.f64 t k) 2))) (*.f64 l l))
(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 k k)) (sin.f64 l)) (tan.f64 l)) (-.f64 (+.f64 1 (pow.f64 (/.f64 l t) 2)) 1)))
(/.f64 2 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 k k)) (sin.f64 l)) (.f64 (tan.f64 l) (+.f64 1 (-.f64 (pow.f64 (/.f64 l t) 2) 1)))))
(/.f64 2 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 k k)) (.f64 (sin.f64 l) (tan.f64 l))) (+.f64 (pow.f64 (/.f64 l t) 2) 0)))
(.f64 (/.f64 (/.f64 2 (pow.f64 (/.f64 l t) 2)) (.f64 (tan.f64 l) (.f64 (pow.f64 t 3) (sin.f64 l)))) (.f64 k k))
(*.f64 (/.f64 (/.f64 2 (pow.f64 t 3)) (tan.f64 l)) (/.f64 (/.f64 k (/.f64 (sin.f64 l) k)) (pow.f64 (/.f64 l t) 2)))

Compiler

Compiled 31 to 24 computations (22.6% saved)

simplify51.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1386×	`associate-*r/`
1166×	`associate-*l/`
1152×	`associate-+r+`
832×	`associate-/r*`
668×	`distribute-lft-out`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	22	75
1	54	69
2	183	63
3	909	63
4	5849	63

Stop Event

1×	node limit

Counts

1 → 5

Calls

Call 1

Inputs
(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))

Outputs
(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (-.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
(/.f64 2 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (.f64 (tan.f64 k) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) -1))))
(/.f64 2 (.f64 (tan.f64 k) (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (+.f64 (pow.f64 (/.f64 k t) 2) 0))))
(/.f64 (/.f64 2 (.f64 (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)) (/.f64 (sin.f64 k) l))) (pow.f64 (/.f64 k t) 2))
(.f64 (/.f64 2 (.f64 (*.f64 (sin.f64 k) (tan.f64 k)) (/.f64 (pow.f64 t 3) l))) (/.f64 l (pow.f64 (/.f64 k t) 2)))

eval2.0ms (0%)

Compiler: Compiled 118 to 69 computations (41.5% saved)

prune3.0ms (0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	1	4	5
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	4	6

Error

39.6%

Counts

6 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	38.0%	(/.f64 (/.f64 2 (.f64 (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)) (/.f64 (sin.f64 k) l))) (pow.f64 (/.f64 k t) 2))
▶	23.4%	(/.f64 2 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (.f64 (tan.f64 k) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) -1))))
▶	35.0%	(/.f64 2 (.f64 (tan.f64 k) (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (+.f64 (pow.f64 (/.f64 k t) 2) 0))))
▶	38.3%	(.f64 (/.f64 2 (.f64 (*.f64 (sin.f64 k) (tan.f64 k)) (/.f64 (pow.f64 t 3) l))) (/.f64 l (pow.f64 (/.f64 k t) 2)))

Compiler

Compiled 102 to 74 computations (27.5% saved)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	96.3%	(.f64 (.f64 (sin.f64 k) (tan.f64 k)) (/.f64 (pow.f64 t 3) l))
✓	93.4%	(/.f64 l (pow.f64 (/.f64 k t) 2))
✓	91.5%	(/.f64 (pow.f64 t 3) l)
✓	49.5%	(.f64 (/.f64 2 (.f64 (*.f64 (sin.f64 k) (tan.f64 k)) (/.f64 (pow.f64 t 3) l))) (/.f64 l (pow.f64 (/.f64 k t) 2)))

Compiler

Compiled 85 to 39 computations (54.1% saved)

series32.0ms (0.2%)

Counts

4 → 108

Calls

33 calls:

Time	Variable		Point	Expression
4.0ms	t	@	0	(.f64 (/.f64 2 (.f64 (*.f64 (sin.f64 k) (tan.f64 k)) (/.f64 (pow.f64 t 3) l))) (/.f64 l (pow.f64 (/.f64 k t) 2)))
3.0ms	l	@	inf	(/.f64 l (pow.f64 (/.f64 k t) 2))
3.0ms	k	@	0	(.f64 (.f64 (sin.f64 k) (tan.f64 k)) (/.f64 (pow.f64 t 3) l))
2.0ms	k	@	inf	(.f64 (/.f64 2 (.f64 (*.f64 (sin.f64 k) (tan.f64 k)) (/.f64 (pow.f64 t 3) l))) (/.f64 l (pow.f64 (/.f64 k t) 2)))
2.0ms	k	@	0	(.f64 (/.f64 2 (.f64 (*.f64 (sin.f64 k) (tan.f64 k)) (/.f64 (pow.f64 t 3) l))) (/.f64 l (pow.f64 (/.f64 k t) 2)))

rewrite99.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1884×	`associate-/r/`
422×	`add-sqr-sqrt`
410×	`*-un-lft-identity`
406×	`pow1`
390×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	128
1	424	128
2	5850	128

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f64 (/.f64 2 (.f64 (*.f64 (sin.f64 k) (tan.f64 k)) (/.f64 (pow.f64 t 3) l))) (/.f64 l (pow.f64 (/.f64 k t) 2)))
(/.f64 (pow.f64 t 3) l)
(/.f64 l (pow.f64 (/.f64 k t) 2))
(.f64 (.f64 (sin.f64 k) (tan.f64 k)) (/.f64 (pow.f64 t 3) l))

Outputs
((((x -.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k))) (/.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) (/.f64 (pow.f64 t 3) l))))) 1))) (((x /.f64 2 (.f64 (/.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))) l) (pow.f64 (/.f64 k t) 2))))) (((x /.f64 2 (/.f64 (.f64 (sin.f64 k) (.f64 (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)) (pow.f64 (/.f64 k t) 2))) l)))) (((x /.f64 2 (.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))) (/.f64 (pow.f64 (/.f64 k t) 2) l))))) (((x /.f64 2 (.f64 (/.f64 (pow.f64 (/.f64 k t) 2) l) (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))))))) (((x /.f64 l (.f64 (.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))) 1/2) (pow.f64 (/.f64 k t) 2))))) (((x /.f64 l (.f64 (pow.f64 (/.f64 k t) 2) (.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))) 1/2))))) (((x /.f64 (.f64 2 (/.f64 l (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3))))) (/.f64 (pow.f64 (/.f64 k t) 2) l)))) (((x /.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) (.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))) 1/2)))) (((x /.f64 1 (.f64 (/.f64 (pow.f64 (/.f64 k t) 2) (.f64 2 l)) (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))))))) (((x /.f64 1 (.f64 (.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))) 1/2) (/.f64 (pow.f64 (/.f64 k t) 2) l))))) (((x /.f64 1 (/.f64 (.f64 (sin.f64 k) (.f64 (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)) (pow.f64 (/.f64 k t) 2))) (.f64 2 l))))) (((x /.f64 (.f64 (/.f64 l (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3)))) (.f64 2 l)) (pow.f64 (/.f64 k t) 2)))) (((x /.f64 (.f64 (.f64 2 l) (pow.f64 (/.f64 k t) -2)) (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)))))) (((x /.f64 (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k))) (.f64 (/.f64 (pow.f64 (/.f64 k t) 2) l) (/.f64 (pow.f64 t 3) l))))) (((x /.f64 (.f64 2 l) (.f64 (sin.f64 k) (.f64 (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)) (pow.f64 (/.f64 k t) 2)))))) (((x /.f64 (neg.f64 l) (.f64 (.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))) 1/2) (neg.f64 (pow.f64 (/.f64 k t) 2)))))) (((x /.f64 -2 (.f64 (.f64 (sin.f64 k) (neg.f64 (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)))) (/.f64 (pow.f64 (/.f64 k t) 2) l))))) (((x /.f64 -2 (.f64 (/.f64 (pow.f64 (/.f64 k t) 2) l) (.f64 (sin.f64 k) (neg.f64 (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)))))))) (((x /.f64 (.f64 2 (neg.f64 l)) (.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))) (neg.f64 (pow.f64 (/.f64 k t) 2)))))) (((x /.f64 (.f64 (.f64 2 (/.f64 l (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3))))) (neg.f64 l)) (neg.f64 (pow.f64 (/.f64 k t) 2))))) (((x /.f64 (.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k)))) (/.f64 (pow.f64 t 3) l)))) (((x /.f64 (.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) -2) (.f64 (sin.f64 k) (neg.f64 (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))))))) (((x /.f64 (.f64 (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k))) l) (.f64 (/.f64 (pow.f64 t 3) l) (pow.f64 (/.f64 k t) 2))))) (((x /.f64 (.f64 -2 l) (.f64 (.f64 (sin.f64 k) (neg.f64 (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)))) (pow.f64 (/.f64 k t) 2))))) (((x /.f64 (.f64 (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k))) (.f64 l (pow.f64 (/.f64 k t) -2))) (/.f64 (pow.f64 t 3) l)))) (((x /.f64 (.f64 -2 (.f64 l (pow.f64 (/.f64 k t) -2))) (.f64 (sin.f64 k) (neg.f64 (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))))))) (((x /.f64 (.f64 (neg.f64 l) (.f64 2 (/.f64 l (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3)))))) (neg.f64 (pow.f64 (/.f64 k t) 2))))) (((x /.f64 (/.f64 (.f64 (/.f64 l (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3)))) (.f64 2 l)) (/.f64 k t)) (/.f64 k t)))) (((x /.f64 (/.f64 (.f64 (/.f64 l (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3)))) (.f64 2 l)) 1) (pow.f64 (/.f64 k t) 2)))) (((x /.f64 (/.f64 (.f64 (/.f64 l (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3)))) (.f64 2 l)) (cbrt.f64 (pow.f64 (/.f64 k t) 4))) (pow.f64 (cbrt.f64 (/.f64 k t)) 2)))) (((x /.f64 (/.f64 (.f64 (.f64 2 l) (pow.f64 (/.f64 k t) -2)) (sin.f64 k)) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))))) (((x /.f64 (/.f64 (.f64 (.f64 2 l) (pow.f64 (/.f64 k t) -2)) (.f64 (sin.f64 k) (tan.f64 k))) (/.f64 (pow.f64 t 3) l)))) (((x /.f64 (.f64 (/.f64 (.f64 (.f64 2 l) (pow.f64 (/.f64 k t) -2)) (pow.f64 t 3)) l) (.f64 (sin.f64 k) (tan.f64 k))))) (((x /.f64 (/.f64 (.f64 (.f64 2 l) (pow.f64 (/.f64 k t) -2)) 1) (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)))))) (((x /.f64 (/.f64 (.f64 (.f64 2 l) (pow.f64 (/.f64 k t) -2)) (sqrt.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))))) (sqrt.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))))))) (((x /.f64 (/.f64 (.f64 (.f64 2 l) (pow.f64 (/.f64 k t) -2)) (pow.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))) (/.f64 t (cbrt.f64 l))) 2)) (.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))) (/.f64 t (cbrt.f64 l)))))) (((x /.f64 (.f64 (neg.f64 l) 1) (.f64 (neg.f64 (pow.f64 (/.f64 k t) 2)) (.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))) 1/2))))) (((x /.f64 (.f64 (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k))) 1) (.f64 (/.f64 (pow.f64 t 3) l) (/.f64 (pow.f64 (/.f64 k t) 2) l))))) (((x /.f64 (.f64 (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k))) (neg.f64 l)) (.f64 (/.f64 (pow.f64 t 3) l) (neg.f64 (pow.f64 (/.f64 k t) 2)))))) (((x /.f64 (.f64 -2 (neg.f64 l)) (.f64 (.f64 (sin.f64 k) (neg.f64 (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)))) (neg.f64 (pow.f64 (/.f64 k t) 2)))))) (((x /.f64 (.f64 l (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k)))) (.f64 (pow.f64 (/.f64 k t) 2) (/.f64 (pow.f64 t 3) l))))) (((x /.f64 (.f64 l -2) (.f64 (pow.f64 (/.f64 k t) 2) (.f64 (sin.f64 k) (neg.f64 (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)))))))) (((x /.f64 (.f64 (neg.f64 l) 2) (.f64 (neg.f64 (pow.f64 (/.f64 k t) 2)) (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))))))) (((x /.f64 (.f64 (neg.f64 l) (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k)))) (.f64 (neg.f64 (pow.f64 (/.f64 k t) 2)) (/.f64 (pow.f64 t 3) l))))) (((x /.f64 (.f64 (neg.f64 l) -2) (.f64 (neg.f64 (pow.f64 (/.f64 k t) 2)) (.f64 (sin.f64 k) (neg.f64 (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)))))))) (((x /.f64 (neg.f64 (.f64 (/.f64 l (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3)))) (.f64 2 l))) (neg.f64 (pow.f64 (/.f64 k t) 2))))) (((x /.f64 (neg.f64 (.f64 (.f64 2 l) (pow.f64 (/.f64 k t) -2))) (.f64 (sin.f64 k) (neg.f64 (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))))))) (((x /.f64 (neg.f64 (.f64 2 l)) (neg.f64 (.f64 (sin.f64 k) (.f64 (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)) (pow.f64 (/.f64 k t) 2))))))) (((x pow.f64 (.f64 (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k))) (/.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) (/.f64 (pow.f64 t 3) l))) 1))) (((x pow.f64 (/.f64 (sqrt.f64 (.f64 (/.f64 l (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3)))) (.f64 2 l))) (/.f64 k t)) 2))) (((x pow.f64 (cbrt.f64 (.f64 (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k))) (/.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) (/.f64 (pow.f64 t 3) l)))) 3))) (((x pow.f64 (pow.f64 (.f64 (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k))) (/.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) (/.f64 (pow.f64 t 3) l))) 3) 1/3))) (((x sqrt.f64 (pow.f64 (.f64 (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k))) (/.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) (/.f64 (pow.f64 t 3) l))) 2)))) (((x log.f64 (pow.f64 (pow.f64 (exp.f64 l) (pow.f64 (/.f64 k t) -2)) (.f64 2 (/.f64 l (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3))))))))) (((x log.f64 (+.f64 1 (expm1.f64 (.f64 (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k))) (/.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) (/.f64 (pow.f64 t 3) l)))))))) (((x cbrt.f64 (pow.f64 (.f64 (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k))) (/.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) (/.f64 (pow.f64 t 3) l))) 3)))) (((x cbrt.f64 (.f64 (pow.f64 (.f64 2 (/.f64 l (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3))))) 3) (pow.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) 3))))) (((x cbrt.f64 (.f64 (pow.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) 3) (pow.f64 (.f64 2 (/.f64 l (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3))))) 3))))) (((x expm1.f64 (log1p.f64 (.f64 (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k))) (/.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) (/.f64 (pow.f64 t 3) l))))))) (((x exp.f64 (log.f64 (.f64 (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k))) (/.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) (/.f64 (pow.f64 t 3) l))))))) (((x exp.f64 (.f64 (log.f64 (.f64 (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k))) (/.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) (/.f64 (pow.f64 t 3) l)))) 1)))) (((x log1p.f64 (expm1.f64 (.f64 (/.f64 2 (.f64 (sin.f64 k) (tan.f64 k))) (/.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) (/.f64 (pow.f64 t 3) l))))))))
((((x -.f64 (exp.f64 (log1p.f64 (/.f64 (pow.f64 t 3) l))) 1))) (((x .f64 t (.f64 (.f64 t t) (/.f64 1 l))))) (((x .f64 (pow.f64 t 3) (/.f64 1 l)))) (((x .f64 (/.f64 (pow.f64 t 3) l) 1))) (((x .f64 1 (/.f64 (pow.f64 t 3) l)))) (((x .f64 (pow.f64 t 3/2) (.f64 (pow.f64 t 3/2) (/.f64 1 l))))) (((x .f64 (/.f64 (pow.f64 t 3/2) (sqrt.f64 l)) (/.f64 (pow.f64 t 3/2) (sqrt.f64 l))))) (((x .f64 (/.f64 t (cbrt.f64 l)) (pow.f64 (/.f64 t (cbrt.f64 l)) 2)))) (((x .f64 (pow.f64 (/.f64 t (cbrt.f64 l)) 2) (/.f64 t (cbrt.f64 l))))) (((x .f64 (.f64 t t) (.f64 t (/.f64 1 l))))) (((x .f64 (/.f64 1 l) (pow.f64 t 3)))) (((x .f64 (neg.f64 (pow.f64 t 3)) (/.f64 1 (neg.f64 l))))) (((x .f64 (/.f64 t 1) (/.f64 (.f64 t t) l)))) (((x .f64 (/.f64 1 (sqrt.f64 l)) (/.f64 (pow.f64 t 3) (sqrt.f64 l))))) (((x .f64 (/.f64 1 (pow.f64 (cbrt.f64 l) 2)) (/.f64 (pow.f64 t 3) (cbrt.f64 l))))) (((x .f64 (/.f64 1 (neg.f64 l)) (neg.f64 (pow.f64 t 3))))) (((x .f64 (/.f64 (.f64 t t) l) t))) (((x .f64 (/.f64 t (sqrt.f64 l)) (/.f64 (.f64 t t) (sqrt.f64 l))))) (((x .f64 (/.f64 (.f64 t t) (sqrt.f64 l)) (/.f64 t (sqrt.f64 l))))) (((x .f64 (/.f64 t (pow.f64 (cbrt.f64 l) 2)) (/.f64 (.f64 t t) (cbrt.f64 l))))) (((x .f64 (/.f64 (pow.f64 t 3/2) 1) (/.f64 (pow.f64 t 3/2) l)))) (((x .f64 (/.f64 (pow.f64 t 3/2) l) (pow.f64 t 3/2)))) (((x .f64 (/.f64 (pow.f64 t 3/2) (pow.f64 (cbrt.f64 l) 2)) (/.f64 (pow.f64 t 3/2) (cbrt.f64 l))))) (((x .f64 (/.f64 (.f64 t t) 1) (/.f64 t l)))) (((x .f64 (/.f64 t l) (.f64 t t)))) (((x .f64 (/.f64 (.f64 t t) (pow.f64 (cbrt.f64 l) 2)) (/.f64 t (cbrt.f64 l))))) (((x .f64 (/.f64 1 (/.f64 l t)) (.f64 t t)))) (((x .f64 (/.f64 1 (/.f64 l (pow.f64 t 3/2))) (pow.f64 t 3/2)))) (((x .f64 (/.f64 1 (/.f64 l (.f64 t t))) t))) (((x pow.f64 (/.f64 (pow.f64 t 3) l) 1))) (((x pow.f64 (/.f64 (pow.f64 t 3/2) (sqrt.f64 l)) 2))) (((x pow.f64 (/.f64 t (cbrt.f64 l)) 3))) (((x pow.f64 (pow.f64 (/.f64 (pow.f64 t 3) l) 3) 1/3))) (((x pow.f64 (/.f64 l (pow.f64 t 3)) -1))) (((x neg.f64 (/.f64 (pow.f64 t 3) (neg.f64 l))))) (((x sqrt.f64 (/.f64 (pow.f64 t 6) (.f64 l l))))) (((x log.f64 (exp.f64 (/.f64 (pow.f64 t 3) l))))) (((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (pow.f64 t 3) l)))))) (((x cbrt.f64 (pow.f64 (/.f64 (pow.f64 t 3) l) 3)))) (((x cbrt.f64 (/.f64 (pow.f64 (pow.f64 t 3) 3) (pow.f64 l 3))))) (((x expm1.f64 (log1p.f64 (/.f64 (pow.f64 t 3) l))))) (((x exp.f64 (log.f64 (/.f64 (pow.f64 t 3) l))))) (((x exp.f64 (*.f64 (log.f64 (/.f64 (pow.f64 t 3) l)) 1)))) (((x log1p.f64 (expm1.f64 (/.f64 (pow.f64 t 3) l))))))
((((x -.f64 (exp.f64 (log1p.f64 (.f64 l (pow.f64 (/.f64 k t) -2)))) 1))) (((x .f64 l (pow.f64 (/.f64 k t) -2)))) (((x .f64 (.f64 l (pow.f64 (/.f64 k t) -2)) 1))) (((x .f64 1 (.f64 l (pow.f64 (/.f64 k t) -2))))) (((x .f64 (.f64 (/.f64 (sqrt.f64 l) k) t) (.f64 (/.f64 (sqrt.f64 l) k) t)))) (((x .f64 (sqrt.f64 l) (.f64 (sqrt.f64 l) (pow.f64 (/.f64 k t) -2))))) (((x .f64 (cbrt.f64 (.f64 l (pow.f64 (/.f64 k t) -2))) (cbrt.f64 (/.f64 (.f64 l l) (pow.f64 (/.f64 k t) 4)))))) (((x .f64 (cbrt.f64 (/.f64 (.f64 l l) (pow.f64 (/.f64 k t) 4))) (cbrt.f64 (.f64 l (pow.f64 (/.f64 k t) -2)))))) (((x .f64 (pow.f64 (cbrt.f64 l) 2) (.f64 (cbrt.f64 l) (pow.f64 (/.f64 k t) -2))))) (((x .f64 (pow.f64 (/.f64 k t) -2) l))) (((x .f64 (/.f64 t k) (.f64 (/.f64 l k) t)))) (((x .f64 (neg.f64 l) (/.f64 1 (neg.f64 (pow.f64 (/.f64 k t) 2)))))) (((x .f64 (.f64 (/.f64 l k) t) (/.f64 t k)))) (((x .f64 (/.f64 l 1) (pow.f64 (/.f64 k t) -2)))) (((x .f64 (/.f64 1 (cbrt.f64 (pow.f64 (/.f64 k t) 4))) (/.f64 l (pow.f64 (cbrt.f64 (/.f64 k t)) 2))))) (((x .f64 (/.f64 1 (neg.f64 (pow.f64 (/.f64 k t) 2))) (neg.f64 l)))) (((x .f64 (/.f64 (sqrt.f64 l) 1) (/.f64 (sqrt.f64 l) (pow.f64 (/.f64 k t) 2))))) (((x .f64 (/.f64 (sqrt.f64 l) (pow.f64 (/.f64 k t) 2)) (sqrt.f64 l)))) (((x .f64 (/.f64 (sqrt.f64 l) (cbrt.f64 (pow.f64 (/.f64 k t) 4))) (/.f64 (sqrt.f64 l) (pow.f64 (cbrt.f64 (/.f64 k t)) 2))))) (((x .f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 l) 2) k) t) (/.f64 (cbrt.f64 l) (/.f64 k t))))) (((x .f64 (/.f64 (pow.f64 (cbrt.f64 l) 2) 1) (/.f64 (cbrt.f64 l) (pow.f64 (/.f64 k t) 2))))) (((x .f64 (/.f64 (pow.f64 (cbrt.f64 l) 2) (cbrt.f64 (pow.f64 (/.f64 k t) 4))) (cbrt.f64 (.f64 l (pow.f64 (/.f64 k t) -2)))))) (((x .f64 (/.f64 l k) (.f64 t (/.f64 t k))))) (((x .f64 (/.f64 l k) (.f64 (/.f64 t k) t)))) (((x .f64 (/.f64 l (neg.f64 k)) (.f64 (/.f64 t k) (neg.f64 t))))) (((x .f64 (/.f64 l (.f64 k k)) (.f64 t t)))) (((x .f64 (/.f64 l (.f64 (neg.f64 k) (neg.f64 k))) (.f64 (neg.f64 t) (neg.f64 t))))) (((x .f64 (/.f64 l (.f64 (/.f64 k t) k)) t))) (((x .f64 (/.f64 l (.f64 (/.f64 k t) (neg.f64 k))) (neg.f64 t)))) (((x .f64 (/.f64 l (.f64 k (/.f64 k t))) t))) (((x .f64 (/.f64 l (.f64 (neg.f64 k) (/.f64 k t))) (neg.f64 t)))) (((x .f64 (/.f64 l (.f64 k (neg.f64 k))) (.f64 t (neg.f64 t))))) (((x .f64 (/.f64 l (.f64 (neg.f64 k) k)) (.f64 (neg.f64 t) t)))) (((x .f64 (/.f64 l (.f64 (neg.f64 k) 1)) (.f64 (neg.f64 t) (/.f64 t k))))) (((x .f64 (/.f64 1 (/.f64 (pow.f64 (/.f64 k t) 2) (sqrt.f64 l))) (sqrt.f64 l)))) (((x .f64 (/.f64 1 (/.f64 (pow.f64 (/.f64 k t) 2) (pow.f64 (cbrt.f64 l) 2))) (cbrt.f64 l)))) (((x .f64 (/.f64 (pow.f64 (cbrt.f64 l) 2) (pow.f64 (/.f64 k t) 2)) (cbrt.f64 l)))) (((x .f64 (/.f64 (.f64 (/.f64 l k) t) k) t))) (((x .f64 (/.f64 (.f64 (/.f64 l k) t) 1) (/.f64 t k)))) (((x .f64 (/.f64 (.f64 (/.f64 l k) t) 1) (/.f64 (/.f64 t k) 1)))) (((x .f64 (/.f64 (.f64 (/.f64 l k) t) (sqrt.f64 k)) (/.f64 t (sqrt.f64 k))))) (((x .f64 (/.f64 (.f64 (/.f64 l k) t) (pow.f64 (cbrt.f64 k) 2)) (/.f64 t (cbrt.f64 k))))) (((x .f64 (/.f64 (.f64 (/.f64 l k) t) (neg.f64 k)) (neg.f64 t)))) (((x .f64 (/.f64 (.f64 (/.f64 l k) t) (/.f64 k 1)) t))) (((x .f64 (/.f64 (.f64 (/.f64 l k) t) (/.f64 k (sqrt.f64 t))) (sqrt.f64 t)))) (((x .f64 (/.f64 (.f64 (/.f64 l k) t) (/.f64 k (pow.f64 (cbrt.f64 t) 2))) (cbrt.f64 t)))) (((x .f64 (/.f64 (.f64 (/.f64 l k) t) -1) (neg.f64 (/.f64 t k))))) (((x .f64 (/.f64 (.f64 (/.f64 l k) t) (neg.f64 (neg.f64 k))) (neg.f64 (neg.f64 t))))) (((x .f64 (/.f64 (/.f64 l 1) k) (.f64 t (/.f64 t k))))) (((x .f64 (/.f64 (/.f64 l 1) k) (.f64 (/.f64 t k) t)))) (((x .f64 (/.f64 (/.f64 l 1) (/.f64 k t)) (/.f64 t k)))) (((x .f64 (/.f64 (/.f64 l 1) 1) (pow.f64 (/.f64 k t) -2)))) (((x .f64 (/.f64 (/.f64 l 1) (.f64 k k)) (.f64 t t)))) (((x .f64 (/.f64 (/.f64 l 1) (neg.f64 k)) (.f64 (/.f64 t k) (neg.f64 t))))) (((x .f64 (/.f64 (/.f64 l 1) (.f64 (neg.f64 k) (neg.f64 k))) (.f64 (neg.f64 t) (neg.f64 t))))) (((x .f64 (/.f64 (/.f64 l 1) (.f64 (/.f64 k t) k)) t))) (((x .f64 (/.f64 (/.f64 l 1) (.f64 (/.f64 k t) (neg.f64 k))) (neg.f64 t)))) (((x .f64 (/.f64 (/.f64 l 1) (.f64 k (/.f64 k t))) t))) (((x .f64 (/.f64 (/.f64 l 1) (.f64 (neg.f64 k) (/.f64 k t))) (neg.f64 t)))) (((x .f64 (/.f64 (/.f64 l 1) (.f64 k (neg.f64 k))) (.f64 t (neg.f64 t))))) (((x .f64 (/.f64 (/.f64 l 1) (.f64 (neg.f64 k) k)) (.f64 (neg.f64 t) t)))) (((x .f64 (/.f64 (/.f64 l 1) (.f64 (neg.f64 k) 1)) (.f64 (neg.f64 t) (/.f64 t k))))) (((x pow.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) 1))) (((x pow.f64 (.f64 (/.f64 (sqrt.f64 l) k) t) 2))) (((x pow.f64 (cbrt.f64 (.f64 l (pow.f64 (/.f64 k t) -2))) 3))) (((x pow.f64 (pow.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) 3) 1/3))) (((x pow.f64 (/.f64 (pow.f64 (/.f64 k t) 2) l) -1))) (((x neg.f64 (/.f64 l (neg.f64 (pow.f64 (/.f64 k t) 2)))))) (((x sqrt.f64 (/.f64 (.f64 l l) (pow.f64 (/.f64 k t) 4))))) (((x log.f64 (pow.f64 (exp.f64 l) (pow.f64 (/.f64 k t) -2))))) (((x log.f64 (+.f64 1 (expm1.f64 (.f64 l (pow.f64 (/.f64 k t) -2))))))) (((x cbrt.f64 (pow.f64 (.f64 l (pow.f64 (/.f64 k t) -2)) 3)))) (((x cbrt.f64 (/.f64 (pow.f64 l 3) (pow.f64 (pow.f64 (/.f64 k t) 2) 3))))) (((x expm1.f64 (log1p.f64 (.f64 l (pow.f64 (/.f64 k t) -2)))))) (((x exp.f64 (log.f64 (.f64 l (pow.f64 (/.f64 k t) -2)))))) (((x exp.f64 (.f64 (log.f64 (.f64 l (pow.f64 (/.f64 k t) -2))) 1)))) (((x log1p.f64 (expm1.f64 (*.f64 l (pow.f64 (/.f64 k t) -2)))))))
((((x -.f64 (exp.f64 (log1p.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))))) 1))) (((x /.f64 (.f64 (sin.f64 k) (tan.f64 k)) (/.f64 l (pow.f64 t 3))))) (((x /.f64 1 (/.f64 l (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3))))))) (((x /.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3))) l))) (((x /.f64 (.f64 (.f64 (sin.f64 k) (tan.f64 k)) (neg.f64 (pow.f64 t 3))) (neg.f64 l)))) (((x /.f64 (.f64 (neg.f64 (pow.f64 t 3)) (.f64 (sin.f64 k) (tan.f64 k))) (neg.f64 l)))) (((x /.f64 (/.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3))) 1) l))) (((x /.f64 (/.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3))) (sqrt.f64 l)) (sqrt.f64 l)))) (((x /.f64 (/.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3))) (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 l)))) (((x /.f64 (neg.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (pow.f64 t 3)))) (neg.f64 l)))) (((x pow.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))) 1))) (((x pow.f64 (sqrt.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)))) 2))) (((x pow.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 k) (tan.f64 k))) (/.f64 t (cbrt.f64 l))) 3))) (((x pow.f64 (pow.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))) 3) 1/3))) (((x sqrt.f64 (pow.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))) 2)))) (((x log.f64 (pow.f64 (exp.f64 (sin.f64 k)) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)))))) (((x log.f64 (+.f64 1 (expm1.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)))))))) (((x cbrt.f64 (pow.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))) 3)))) (((x cbrt.f64 (.f64 (pow.f64 (.f64 (sin.f64 k) (tan.f64 k)) 3) (pow.f64 (/.f64 (pow.f64 t 3) l) 3))))) (((x cbrt.f64 (.f64 (pow.f64 (/.f64 (pow.f64 t 3) l) 3) (pow.f64 (.f64 (sin.f64 k) (tan.f64 k)) 3))))) (((x expm1.f64 (log1p.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))))))) (((x exp.f64 (log.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))))))) (((x exp.f64 (.f64 (log.f64 (.f64 (sin.f64 k) (.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l)))) 1)))) (((x log1p.f64 (expm1.f64 (.f64 (sin.f64 k) (*.f64 (tan.f64 k) (/.f64 (pow.f64 t 3) l))))))))

Details

analyze820.0ms (5.9%)

sample12.9s (92.2%)

preprocess49.0ms (0.3%)

simplify51.0ms (0.4%)

eval2.0ms (0%)

prune3.0ms (0%)

localize29.0ms (0.2%)

series32.0ms (0.2%)

rewrite99.0ms (0.7%)

end0.0ms (0%)

Profiling