Details

Time bar (total: 41.1s)

analyze24.2s (58.9%)

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 72 to 53 computations (26.4% saved)

sample5.7s (13.9%)

Symmetry

(sort y z)

Results
3.9s4742×body1024valid
799.0ms1403×body512valid
372.0ms272×body2048valid
281.0ms1305×body128valid
211.0ms534×body256valid
Compiler

Compiled 157 to 115 computations (26.8% saved)

simplify15.0ms (0%)

Algorithm
1×egg-herbie
Rules
132×fma-neg_binary64
75×fma-def_binary64
48×cancel-sign-sub-inv_binary64
39×sub-neg_binary64
24×associate--r+_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01014
11614
22714
34714
47614
512914
621014
726414
830514
934114
1035214
1133814

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
12.2b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶12.2b
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
Compiler

Compiled 39 to 27 computations (30.8% saved)

localize8.0ms (0%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.1b
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
✓0.1b
(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
✓4.0b
(tan.f64 (+.f64 y z))

series180.0ms (0.4%)

Counts
3 → 108
Calls

3 calls:

81.0ms
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
68.0ms
(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
30.0ms
(tan.f64 (+.f64 y z))

rewrite20.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
26×*-un-lft-identity_binary64
21×add-sqr-sqrt_binary64
19×add-cube-cbrt_binary64
18×prod-diff_binary64
13×associate-+r+_binary64
Counts
3 → 76
Calls

3 calls:

8.0ms
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
5.0ms
(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
3.0ms
(tan.f64 (+.f64 y z))

simplify180.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
658×times-frac_binary64
274×associate-+r+_binary64
223×+-commutative_binary64
209×fma-neg_binary64
202×associate-+l+_binary64
Counts
184 → 173
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
02854874
17434585
224674488
348134487
449834486
549974486
649254486

prune229.0ms (0.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1649173
Fresh000
Picked101
Done000
Total1659174
Error
0.1b
Counts
174 → 9
Alt Table
StatusErrorProgram
12.5b
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
0.2b
(+.f64 x (/.f64 (-.f64 (*.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (cos.f64 a)) (*.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))) (sin.f64 a))) (*.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))) (cos.f64 a))))
13.1b
(fma.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
12.2b
(+.f64 x (/.f64 (-.f64 (*.f64 (sin.f64 (+.f64 y z)) (cos.f64 a)) (*.f64 (cos.f64 (+.f64 y z)) (sin.f64 a))) (*.f64 (cos.f64 (+.f64 y z)) (cos.f64 a))))
12.5b
(cbrt.f64 (pow.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))) 3))
15.9b
(exp.f64 (log.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))
33.6b
(+.f64 x (-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 (sin.f64 y) 4) (pow.f64 z 3)) (pow.f64 (cos.f64 y) 4)) (+.f64 (*.f64 (/.f64 (sin.f64 y) (cos.f64 y)) (*.f64 z z)) (+.f64 (/.f64 (sin.f64 y) (cos.f64 y)) (+.f64 z (fma.f64 1/3 (pow.f64 z 3) (+.f64 (/.f64 (*.f64 z (pow.f64 (sin.f64 y) 2)) (pow.f64 (cos.f64 y) 2)) (fma.f64 4/3 (/.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 3)) (pow.f64 (cos.f64 y) 2)) (/.f64 (*.f64 (*.f64 z z) (pow.f64 (sin.f64 y) 3)) (pow.f64 (cos.f64 y) 3))))))))) (tan.f64 a)))
▶0.2b
(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
12.3b
(/.f64 (fma.f64 x x (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (tan.f64 a) (tan.f64 (+.f64 z y))))) (-.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))))
Compiler

Compiled 5068 to 1747 computations (65.5% saved)

localize12.0ms (0%)

Local error

Found 4 expressions with local error:

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

series779.0ms (1.9%)

Counts
4 → 132
Calls

4 calls:

401.0ms
(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
312.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
35.0ms
(*.f64 (tan.f64 y) (tan.f64 z))
30.0ms
(+.f64 (tan.f64 y) (tan.f64 z))

rewrite64.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
153×*-un-lft-identity_binary64
109×add-sqr-sqrt_binary64
108×prod-diff_binary64
102×add-cube-cbrt_binary64
85×times-frac_binary64
Counts
4 → 211
Calls

4 calls:

15.0ms
(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
11.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
4.0ms
(*.f64 (tan.f64 y) (tan.f64 z))
3.0ms
(+.f64 (tan.f64 y) (tan.f64 z))

simplify331.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
779×times-frac_binary64
278×+-commutative_binary64
258×associate-+r+_binary64
233×associate-+l+_binary64
179×fma-neg_binary64
Counts
343 → 323
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
047615854
1110014374
2349214068
3499414068
4504314068

prune738.0ms (1.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New3149323
Fresh538
Picked101
Done000
Total32012332
Error
0.1b
Counts
332 → 12
Alt Table
StatusErrorProgram
0.4b
(+.f64 x (fma.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (cbrt.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))) (cbrt.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (neg.f64 (tan.f64 a))))
0.6b
(cbrt.f64 (pow.f64 (+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))) 3))
0.2b
(+.f64 x (+.f64 (fma.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (pow.f64 (*.f64 (tan.f64 y) (tan.f64 z)) 3))) (fma.f64 (*.f64 (tan.f64 y) (tan.f64 z)) (fma.f64 (tan.f64 y) (tan.f64 z) 1) 1) (neg.f64 (tan.f64 a))) (*.f64 (tan.f64 a) 0)))
▶0.2b
(log.f64 (*.f64 (exp.f64 x) (/.f64 (exp.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (exp.f64 (tan.f64 a)))))
13.1b
(fma.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
12.2b
(+.f64 x (/.f64 (-.f64 (*.f64 (sin.f64 (+.f64 y z)) (cos.f64 a)) (*.f64 (cos.f64 (+.f64 y z)) (sin.f64 a))) (*.f64 (cos.f64 (+.f64 y z)) (cos.f64 a))))
0.5b
(/.f64 (-.f64 (*.f64 x x) (*.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))) (-.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))))
28.6b
(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (*.f64 (tan.f64 y) (sqrt.f64 (tan.f64 z))) (sqrt.f64 (tan.f64 z))))) (tan.f64 a)))
5.5b
(exp.f64 (log.f64 (+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))))
0.3b
(+.f64 (+.f64 x (fma.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))) (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (neg.f64 (tan.f64 a)))) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 a))) (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a))) (*.f64 (cbrt.f64 (tan.f64 a)) (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a))))))
1.4b
(fma.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
12.3b
(/.f64 (fma.f64 x x (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (tan.f64 a) (tan.f64 (+.f64 z y))))) (-.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))))
Compiler

Compiled 14441 to 4528 computations (68.6% saved)

localize19.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.2b
(*.f64 (tan.f64 y) (tan.f64 z))
✓0.3b
(exp.f64 (tan.f64 a))
✓0.4b
(*.f64 (exp.f64 x) (/.f64 (exp.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (exp.f64 (tan.f64 a))))
✓0.4b
(exp.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))

series620.0ms (1.5%)

Counts
3 → 84
Calls

3 calls:

409.0ms
(*.f64 (exp.f64 x) (/.f64 (exp.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (exp.f64 (tan.f64 a))))
202.0ms
(exp.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
9.0ms
(exp.f64 (tan.f64 a))

rewrite27.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
29×*-un-lft-identity_binary64
25×add-sqr-sqrt_binary64
24×exp-prod_binary64
22×times-frac_binary64
20×add-cube-cbrt_binary64
Counts
3 → 76
Calls

3 calls:

14.0ms
(*.f64 (exp.f64 x) (/.f64 (exp.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (exp.f64 (tan.f64 a))))
6.0ms
(exp.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
1.0ms
(exp.f64 (tan.f64 a))

simplify184.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
620×times-frac_binary64
593×associate-/l*_binary64
516×associate-*l*_binary64
330×associate-/r*_binary64
250×fma-def_binary64
Counts
160 → 157
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
05469700
116298996
254488996

prune388.0ms (0.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New1945199
Fresh5611
Picked101
Done000
Total20011211
Error
0.0b
Counts
211 → 11
Alt Table
StatusErrorProgram
0.4b
(log.f64 (*.f64 (exp.f64 x) (/.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (cbrt.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))))) (cbrt.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))) (exp.f64 (tan.f64 a)))))
5.5b
(exp.f64 (log.f64 (+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))))
28.7b
(log.f64 (*.f64 (exp.f64 x) (/.f64 (exp.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (*.f64 (tan.f64 y) (sqrt.f64 (tan.f64 z))) (sqrt.f64 (tan.f64 z)))))) (exp.f64 (tan.f64 a)))))
▶0.2b
(log.f64 (*.f64 (sqrt.f64 (exp.f64 x)) (*.f64 (exp.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))) (sqrt.f64 (exp.f64 x)))))
1.4b
(fma.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
0.6b
(cbrt.f64 (pow.f64 (+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))) 3))
0.3b
(+.f64 (+.f64 x (fma.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))) (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (neg.f64 (tan.f64 a)))) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 a))) (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a))) (*.f64 (cbrt.f64 (tan.f64 a)) (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a))))))
0.3b
(log.f64 (*.f64 (exp.f64 x) (/.f64 (pow.f64 (exp.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (*.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (tan.f64 y) (tan.f64 z)))))) (+.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (exp.f64 (tan.f64 a)))))
12.2b
(+.f64 x (/.f64 (-.f64 (*.f64 (sin.f64 (+.f64 y z)) (cos.f64 a)) (*.f64 (cos.f64 (+.f64 y z)) (sin.f64 a))) (*.f64 (cos.f64 (+.f64 y z)) (cos.f64 a))))
12.3b
(/.f64 (fma.f64 x x (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (tan.f64 a) (tan.f64 (+.f64 z y))))) (-.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))))
0.3b
(log.f64 (*.f64 (exp.f64 x) (/.f64 (pow.f64 (exp.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))))) (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))) (exp.f64 (tan.f64 a)))))
Compiler

Compiled 11772 to 4106 computations (65.1% saved)

localize19.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.2b
(*.f64 (tan.f64 y) (tan.f64 z))
✓0.3b
(*.f64 (exp.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))) (sqrt.f64 (exp.f64 x)))
✓0.4b
(*.f64 (sqrt.f64 (exp.f64 x)) (*.f64 (exp.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))) (sqrt.f64 (exp.f64 x))))
✓0.6b
(exp.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))

series1.4s (3.4%)

Counts
3 → 132
Calls

3 calls:

522.0ms
(*.f64 (exp.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))) (sqrt.f64 (exp.f64 x)))
513.0ms
(*.f64 (sqrt.f64 (exp.f64 x)) (*.f64 (exp.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))) (sqrt.f64 (exp.f64 x))))
369.0ms
(exp.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))

rewrite100.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
145×*-un-lft-identity_binary64
116×exp-sum_binary64
108×prod-diff_binary64
104×add-sqr-sqrt_binary64
95×add-cube-cbrt_binary64
Counts
3 → 187
Calls

3 calls:

25.0ms
(*.f64 (exp.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))) (sqrt.f64 (exp.f64 x)))
22.0ms
(*.f64 (sqrt.f64 (exp.f64 x)) (*.f64 (exp.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))) (sqrt.f64 (exp.f64 x))))
13.0ms
(exp.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))

simplify321.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
546×fma-def_binary64
435×times-frac_binary64
384×associate-/l*_binary64
269×associate-/r*_binary64
228×*-commutative_binary64
Counts
319 → 337
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
073025546
1209622639
2499022639

prune794.0ms (1.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New3781379
Fresh1910
Picked011
Done000
Total37911390
Error
0.0b
Counts
390 → 11
Alt Table
StatusErrorProgram
0.4b
(log.f64 (*.f64 (exp.f64 x) (/.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (cbrt.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))))) (cbrt.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))) (exp.f64 (tan.f64 a)))))
5.5b
(exp.f64 (log.f64 (+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))))
28.7b
(log.f64 (*.f64 (exp.f64 x) (/.f64 (exp.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (*.f64 (tan.f64 y) (sqrt.f64 (tan.f64 z))) (sqrt.f64 (tan.f64 z)))))) (exp.f64 (tan.f64 a)))))
✓0.2b
(log.f64 (*.f64 (sqrt.f64 (exp.f64 x)) (*.f64 (exp.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))) (sqrt.f64 (exp.f64 x)))))
1.4b
(fma.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
0.6b
(cbrt.f64 (pow.f64 (+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))) 3))
0.3b
(+.f64 (+.f64 x (fma.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))) (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (neg.f64 (tan.f64 a)))) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 a))) (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a))) (*.f64 (cbrt.f64 (tan.f64 a)) (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a))))))
0.3b
(log.f64 (*.f64 (exp.f64 x) (/.f64 (pow.f64 (exp.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (*.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (tan.f64 y) (tan.f64 z)))))) (+.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (exp.f64 (tan.f64 a)))))
0.3b
(log.f64 (*.f64 (sqrt.f64 (exp.f64 x)) (exp.f64 (+.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) (log.f64 (sqrt.f64 (exp.f64 x)))))))
12.3b
(/.f64 (fma.f64 x x (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (tan.f64 a) (tan.f64 (+.f64 z y))))) (-.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))))
0.3b
(log.f64 (*.f64 (exp.f64 x) (/.f64 (pow.f64 (exp.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))))) (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))) (exp.f64 (tan.f64 a)))))
Compiler

Compiled 27143 to 8127 computations (70.1% saved)

regimes4.5s (11%)

Accuracy

Total 0.1b remaining (66.1%)

Threshold costs 0.1b (66.1%)

Counts
388 → 1
Compiler

Compiled 115161 to 69650 computations (39.5% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Rules
10×+-commutative_binary64
6×*-commutative_binary64
6×sub-neg_binary64
6×neg-sub0_binary64
6×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02365
14165
25465
36365
46965
57165
66865

end225.0ms (0.5%)

Remove

(sort y z)

Compiler

Compiled 588 to 316 computations (46.3% saved)

Profiling

Loading profile data...