Details

Time bar (total: 34.8s)

analyze19.6s (56.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0.2%99.8%0
0%0.2%99.8%1
0%0.2%99.8%2
0%0.2%99.8%3
0%0.2%99.8%4
0%0.2%99.8%5
0%0.2%99.8%6
0%0.2%99.8%7
0%0.2%99.8%8
0%0.2%99.8%9
0%0.2%99.8%10
0%0.2%99.8%11
0%0.2%99.8%12
0%0.2%99.8%13
0%0.2%99.8%14
Compiler

Compiled 49 to 37 computations (24.5% saved)

sample106.0ms (0.3%)

Algorithm
1×intervals
Results
46.0ms143×body1024valid
18.0ms256×pre128true
6.0ms40×body512valid
3.0ms7×body2048valid
3.0ms50×body128valid
2.0ms16×body256valid
Compiler

Compiled 66 to 50 computations (24.2% saved)

simplify16.0ms (0%)

Algorithm
1×egg-herbie
Rules
48×cancel-sign-sub-inv_binary64
44×sub-neg_binary64
24×associate--r+_binary64
23×unsub-neg_binary64
22×distribute-rgt-in_binary64
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01014
11614
22714
34514
47014
511914
617614
720014
820514
920014
1018614

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
11.5b
Counts
1 → 1
Alt Table
StatusErrorProgram
▶11.5b
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
Compiler

Compiled 26 to 18 computations (30.8% saved)

localize10.0ms (0%)

Local error

Found 3 expressions with local error:

0.1b
(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
0.1b
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
3.5b
(tan.f64 (+.f64 y z))

rewrite91.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
12×*-un-lft-identity_binary64
10×add-log-exp_binary64
7×add-sqr-sqrt_binary64
6×cancel-sign-sub-inv_binary64
5×add-cube-cbrt_binary64
Counts
3 → 46
Calls

3 calls:

11.0ms
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
7.0ms
(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
5.0ms
(tan.f64 (+.f64 y z))
Compiler

Compiled 761 to 180 computations (76.3% saved)

series327.0ms (0.9%)

Error
10.4b
Counts
3 → 54
Calls

3 calls:

121.0ms
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
82.0ms
(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
55.0ms
(tan.f64 (+.f64 y z))
Compiler

Compiled 3359 to 1905 computations (43.3% saved)

simplify144.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
604×times-frac_binary64
444×associate-/l*_binary64
222×associate-/r*_binary64
217×associate-+r+_binary64
190×+-commutative_binary64
Counts
100 → 65
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02273036
16283007
220072947
348562929
449842929
549782929

prune114.0ms (0.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New57865
Fresh000
Picked101
Done000
Total58866
Error
0.1b
Counts
66 → 8
Alt Table
StatusErrorProgram
▶0.2b
(+.f64 x (/.f64 (-.f64 (*.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z))) (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))))
11.8b
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) 3)) (+.f64 (*.f64 x x) (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) x))))
13.8b
(*.f64 (sqrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)))) (sqrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)))))
11.5b
(+.f64 x (/.f64 (-.f64 (*.f64 (sin.f64 (+.f64 z y)) (cos.f64 a)) (*.f64 (cos.f64 (+.f64 z y)) (sin.f64 a))) (*.f64 (cos.f64 (+.f64 z y)) (cos.f64 a))))
11.7b
(/.f64 (-.f64 (*.f64 x x) (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)))) (-.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))))
11.8b
(cbrt.f64 (pow.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))) 3))
32.0b
(+.f64 (+.f64 (*.f64 (/.f64 y (pow.f64 (/.f64 (cos.f64 z) (sin.f64 z)) 3)) y) (+.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 (cos.f64 z) (sin.f64 z)) 4)) (+.f64 (*.f64 (pow.f64 y 3) 1/3) (+.f64 (/.f64 (*.f64 y (pow.f64 (sin.f64 z) 2)) (pow.f64 (cos.f64 z) 2)) (+.f64 (*.f64 (/.f64 (sin.f64 z) (cos.f64 z)) (*.f64 y y)) (+.f64 y (+.f64 (/.f64 (sin.f64 z) (cos.f64 z)) x))))))) (-.f64 (*.f64 4/3 (/.f64 (*.f64 (pow.f64 (sin.f64 z) 2) (pow.f64 y 3)) (pow.f64 (cos.f64 z) 2))) (/.f64 (sin.f64 a) (cos.f64 a))))
28.4b
(+.f64 (+.f64 (/.f64 (*.f64 z (pow.f64 (sin.f64 y) 2)) (pow.f64 (cos.f64 y) 2)) (+.f64 (*.f64 (/.f64 z (pow.f64 (/.f64 (cos.f64 y) (sin.f64 y)) 3)) z) (+.f64 (*.f64 4/3 (/.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 3)) (pow.f64 (cos.f64 y) 2))) (+.f64 (*.f64 1/3 (pow.f64 z 3)) (+.f64 (+.f64 z (*.f64 (/.f64 (sin.f64 y) (cos.f64 y)) (*.f64 z z))) (+.f64 (/.f64 (sin.f64 y) (cos.f64 y)) x)))))) (-.f64 (/.f64 (pow.f64 z 3) (pow.f64 (/.f64 (cos.f64 y) (sin.f64 y)) 4)) (/.f64 (sin.f64 a) (cos.f64 a))))
Compiler

Compiled 2197 to 924 computations (57.9% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)))
0.2b
(*.f64 (tan.f64 y) (tan.f64 z))
0.2b
(*.f64 (tan.f64 y) (tan.f64 z))
0.2b
(/.f64 (-.f64 (*.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z))) (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))

rewrite252.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
19×associate-*r/_binary64
18×add-sqr-sqrt_binary64
15×add-exp-log_binary64 add-cbrt-cube_binary64
14×*-un-lft-identity_binary64 tan-quot_binary64
12×add-cube-cbrt_binary64
Counts
4 → 98
Calls

4 calls:

15.0ms
(/.f64 (-.f64 (*.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z))) (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
8.0ms
(*.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)))
6.0ms
(*.f64 (tan.f64 y) (tan.f64 z))
5.0ms
(*.f64 (tan.f64 y) (tan.f64 z))
Compiler

Compiled 4272 to 1260 computations (70.5% saved)

series624.0ms (1.8%)

Error
0.1b
Counts
4 → 55
Calls

4 calls:

311.0ms
(/.f64 (-.f64 (*.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z))) (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
100.0ms
(*.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)))
59.0ms
(*.f64 (tan.f64 y) (tan.f64 z))
51.0ms
(*.f64 (tan.f64 y) (tan.f64 z))
Compiler

Compiled 7116 to 3512 computations (50.6% saved)

simplify160.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
423×associate-*r*_binary64
416×associate-*l*_binary64
312×associate-/l*_binary64
299×times-frac_binary64
207×associate-/r*_binary64
Counts
153 → 96
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
04336496
113495874
249095862
349925862

prune188.0ms (0.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New90696
Fresh257
Picked101
Done000
Total9311104
Error
0.1b
Counts
104 → 11
Alt Table
StatusErrorProgram
31.2b
(+.f64 x (exp.f64 (log.f64 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a))))))
16.7b
(+.f64 x (/.f64 (-.f64 (*.f64 (sqrt.f64 (cos.f64 a)) (*.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (sqrt.f64 (cos.f64 a)))) (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))))
▶0.2b
(+.f64 x (/.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) 1) (/.f64 (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cos.f64 a))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
0.2b
(+.f64 x (/.f64 1 (/.f64 1 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a))))))
11.8b
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) 3)) (+.f64 (*.f64 x x) (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) x))))
13.8b
(*.f64 (sqrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)))) (sqrt.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)))))
11.7b
(/.f64 (-.f64 (*.f64 x x) (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)))) (-.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))))
11.8b
(cbrt.f64 (pow.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))) 3))
0.4b
(+.f64 x (*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a)))) (cbrt.f64 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a))))) (cbrt.f64 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a))))))
32.0b
(+.f64 (+.f64 (*.f64 (/.f64 y (pow.f64 (/.f64 (cos.f64 z) (sin.f64 z)) 3)) y) (+.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 (cos.f64 z) (sin.f64 z)) 4)) (+.f64 (*.f64 (pow.f64 y 3) 1/3) (+.f64 (/.f64 (*.f64 y (pow.f64 (sin.f64 z) 2)) (pow.f64 (cos.f64 z) 2)) (+.f64 (*.f64 (/.f64 (sin.f64 z) (cos.f64 z)) (*.f64 y y)) (+.f64 y (+.f64 (/.f64 (sin.f64 z) (cos.f64 z)) x))))))) (-.f64 (*.f64 4/3 (/.f64 (*.f64 (pow.f64 (sin.f64 z) 2) (pow.f64 y 3)) (pow.f64 (cos.f64 z) 2))) (/.f64 (sin.f64 a) (cos.f64 a))))
0.2b
(+.f64 x (/.f64 (-.f64 (*.f64 (+.f64 (/.f64 (sin.f64 y) (cos.f64 y)) (/.f64 (sin.f64 z) (cos.f64 z))) (cos.f64 a)) (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))))
Compiler

Compiled 4859 to 1838 computations (62.2% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b
(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) 1) (/.f64 (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cos.f64 a)))
0.1b
(+.f64 x (/.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) 1) (/.f64 (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cos.f64 a))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
0.2b
(*.f64 (tan.f64 y) (tan.f64 z))
0.2b
(*.f64 (tan.f64 y) (tan.f64 z))

rewrite284.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
21×add-sqr-sqrt_binary64
15×*-un-lft-identity_binary64
10×add-cube-cbrt_binary64
8×pow1_binary64 add-exp-log_binary64 add-log-exp_binary64 add-cbrt-cube_binary64 tan-quot_binary64
7×cancel-sign-sub-inv_binary64
Counts
4 → 78
Calls

4 calls:

23.0ms
(+.f64 x (/.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) 1) (/.f64 (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cos.f64 a))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
14.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) 1) (/.f64 (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cos.f64 a)))
5.0ms
(*.f64 (tan.f64 y) (tan.f64 z))
5.0ms
(*.f64 (tan.f64 y) (tan.f64 z))
Compiler

Compiled 3210 to 1187 computations (63% saved)

series1.3s (3.6%)

Error
0.1b
Counts
4 → 61
Calls

4 calls:

827.0ms
(+.f64 x (/.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) 1) (/.f64 (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cos.f64 a))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
199.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) 1) (/.f64 (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cos.f64 a)))
59.0ms
(*.f64 (tan.f64 y) (tan.f64 z))
52.0ms
(*.f64 (tan.f64 y) (tan.f64 z))
Compiler

Compiled 8901 to 4121 computations (53.7% saved)

simplify138.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
577×times-frac_binary64
387×associate-/l*_binary64
322×associate-*r*_binary64
289×associate-/r*_binary64
244×associate-*l*_binary64
Counts
139 → 96
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
04747745
114117519
250037519

prune212.0ms (0.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New93396
Fresh3710
Picked011
Done000
Total9611107
Error
0.1b
Counts
107 → 11
Alt Table
StatusErrorProgram
0.6b
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (/.f64 (sin.f64 a) (cos.f64 a)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) 3)) (+.f64 (*.f64 x x) (*.f64 (/.f64 (-.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (/.f64 (sin.f64 a) (cos.f64 a)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (-.f64 (/.f64 (-.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (/.f64 (sin.f64 a) (cos.f64 a)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) x))))
4.3b
(*.f64 (sqrt.f64 (+.f64 x (/.f64 (-.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (/.f64 (sin.f64 a) (cos.f64 a)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))) (sqrt.f64 (+.f64 x (/.f64 (-.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (/.f64 (sin.f64 a) (cos.f64 a)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))))
31.2b
(+.f64 x (exp.f64 (log.f64 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a))))))
16.7b
(+.f64 x (/.f64 (-.f64 (*.f64 (sqrt.f64 (cos.f64 a)) (*.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (sqrt.f64 (cos.f64 a)))) (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))))
✓0.2b
(+.f64 x (/.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) 1) (/.f64 (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cos.f64 a))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
▶0.2b
(+.f64 x (/.f64 1 (/.f64 1 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a))))))
0.3b
(-.f64 (+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (/.f64 (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cos.f64 a)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
11.7b
(/.f64 (-.f64 (*.f64 x x) (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)))) (-.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))))
11.8b
(cbrt.f64 (pow.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))) 3))
0.4b
(+.f64 x (*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a)))) (cbrt.f64 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a))))) (cbrt.f64 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a))))))
0.2b
(+.f64 x (/.f64 (-.f64 (*.f64 (+.f64 (/.f64 (sin.f64 y) (cos.f64 y)) (/.f64 (sin.f64 z) (cos.f64 z))) (cos.f64 a)) (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))))
Compiler

Compiled 4989 to 1910 computations (61.7% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b
(-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a)))
0.2b
(*.f64 (tan.f64 y) (tan.f64 z))
0.2b
(/.f64 1 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a))))
0.3b
(/.f64 1 (/.f64 1 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a)))))

rewrite708.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
126×times-frac_binary64
91×*-un-lft-identity_binary64
76×add-sqr-sqrt_binary64
74×add-cube-cbrt_binary64
29×add-exp-log_binary64
Counts
4 → 194
Calls

4 calls:

18.0ms
(/.f64 1 (/.f64 1 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a)))))
15.0ms
(/.f64 1 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a))))
12.0ms
(-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a)))
6.0ms
(*.f64 (tan.f64 y) (tan.f64 z))
Compiler

Compiled 8566 to 3786 computations (55.8% saved)

series1.1s (3.1%)

Error
0.1b
Counts
4 → 63
Calls

4 calls:

375.0ms
(/.f64 1 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a))))
263.0ms
(-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a)))
256.0ms
(/.f64 1 (/.f64 1 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a)))))
58.0ms
(*.f64 (tan.f64 y) (tan.f64 z))
Compiler

Compiled 8321 to 4090 computations (50.8% saved)

simplify303.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
320×unswap-sqr_binary64
260×associate-/l*_binary64
249×times-frac_binary64
208×associate-+r+_binary64
197×associate-*r*_binary64
Counts
257 → 225
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
042713718
1114713291
2432613126
3516713126

prune338.0ms (1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New2223225
Fresh279
Picked101
Done011
Total22511236
Error
0.1b
Counts
236 → 11
Alt Table
StatusErrorProgram
0.2b
(+.f64 x (/.f64 1 (/.f64 1 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (*.f64 (cbrt.f64 (tan.f64 y)) (cbrt.f64 (tan.f64 y))) (*.f64 (tan.f64 z) (cbrt.f64 (tan.f64 y))))))) (/.f64 (sin.f64 a) (cos.f64 a))))))
31.2b
(+.f64 x (/.f64 (sqrt.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (/.f64 (sin.f64 a) (cos.f64 a)))) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 1 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (sin.f64 a) (cos.f64 a)))))))
0.6b
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (/.f64 (sin.f64 a) (cos.f64 a)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) 3)) (+.f64 (*.f64 x x) (*.f64 (/.f64 (-.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (/.f64 (sin.f64 a) (cos.f64 a)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (-.f64 (/.f64 (-.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (/.f64 (sin.f64 a) (cos.f64 a)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) x))))
31.2b
(+.f64 x (/.f64 1 (/.f64 1 (exp.f64 (log.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (/.f64 (sin.f64 a) (cos.f64 a))))))))
4.3b
(*.f64 (sqrt.f64 (+.f64 x (/.f64 (-.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (/.f64 (sin.f64 a) (cos.f64 a)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))) (sqrt.f64 (+.f64 x (/.f64 (-.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (/.f64 (sin.f64 a) (cos.f64 a)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))))
16.7b
(+.f64 x (/.f64 (-.f64 (*.f64 (sqrt.f64 (cos.f64 a)) (*.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (sqrt.f64 (cos.f64 a)))) (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))))
0.2b
(+.f64 x (/.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) 1) (/.f64 (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cos.f64 a))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
0.3b
(-.f64 (+.f64 x (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (/.f64 (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cos.f64 a)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
11.7b
(/.f64 (-.f64 (*.f64 x x) (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)))) (-.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))))
11.8b
(cbrt.f64 (pow.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))) 3))
0.2b
(+.f64 x (/.f64 (-.f64 (*.f64 (+.f64 (/.f64 (sin.f64 y) (cos.f64 y)) (/.f64 (sin.f64 z) (cos.f64 z))) (cos.f64 a)) (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))))
Compiler

Compiled 5971 to 2276 computations (61.9% saved)

regimes5.9s (16.8%)

Accuracy

Total 0.1b remaining (57.8%)

Threshold costs 0.1b (57.8%)

Compiler

Compiled 131069 to 75571 computations (42.3% saved)

simplify8.0ms (0%)

Algorithm
1×egg-herbie
Rules
20×distribute-rgt-neg-in_binary64
17×neg-mul-1_binary64 neg-sub0_binary64
16×cancel-sign-sub-inv_binary64
15×+-commutative_binary64
13×sub-neg_binary64 distribute-lft-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01947
13247
24647
36247
47747
510147
611547
712547
813647
914447
1015447
1115947
1216047
1315647

end8.0ms (0%)

Remove

(sort y z)

Compiler

Compiled 99 to 57 computations (42.4% saved)

sample2.9s (8.4%)

Algorithm
1×intervals
Results
1.1s4586×body1024valid
517.0ms8000×pre128true
223.0ms1369×body512valid
152.0ms209×body2048valid
68.0ms1276×body128valid
65.0ms560×body256valid
Compiler

Compiled 580 to 322 computations (44.5% saved)

Profiling

Loading profile data...