Details

Time bar (total: 10.5s)

sample111.0ms

Algorithm
intervals
Results
48.0ms116×body1280valid
19.0ms81×body640valid
15.0ms256×pre80true
3.0ms21×body320valid
1.0ms29×body80valid
1.0ms9×body160valid

simplify38.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0155
1225
2335
3395
4505
5705
6995
71245
81665
92595
102605
112605

prune3.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 13.2b

Counts
2 → 1

localize12.0ms

Local error

Found 3 expressions with local error:

0.1b
(+ x (- (tan (+ y z)) (tan a)))
0.2b
(- (tan (+ y z)) (tan a))
5.1b
(tan (+ y z))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
24×*-un-lft-identity
19×add-sqr-sqrt
18×prod-diff
17×add-cube-cbrt
11×associate-+r+
10×add-log-exp
5×tan-quot
4×tan-sum
3×pow1 add-exp-log +-commutative expm1-log1p-u fma-def fma-neg frac-sub add-cbrt-cube log1p-expm1-u
2×sub-neg diff-log sum-log distribute-lft-out distribute-lft-out--
1×associate-+r- flip3-- flip3-+ flip-- flip-+ difference-of-squares
Counts
3 → 74
Calls
3 calls:
7.0ms
(+ x (- (tan (+ y z)) (tan a)))
9.0ms
(- (tan (+ y z)) (tan a))
5.0ms
(tan (+ y z))

series316.0ms

Counts
3 → 9
Calls
3 calls:
132.0ms
(+ x (- (tan (+ y z)) (tan a)))
125.0ms
(- (tan (+ y z)) (tan a))
59.0ms
(tan (+ y z))

simplify111.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 3 (103.0ms)

IterNodesCost
0289710
1746565
23142532
35001513

prune253.0ms

Filtered
83 candidates to 59 candidates (71.1%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New75883
Fresh000
Picked101
Done000
Total76884

Merged error: 0.1b

Counts
84 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

0.1b
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (tan a)))
0.1b
(+ (tan y) (tan z))
0.2b
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (tan a))
0.3b
(* (tan z) (tan y))

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
503×*-un-lft-identity
431×add-sqr-sqrt
253×times-frac
252×prod-diff
192×add-cube-cbrt
128×associate-+r+
118×difference-of-squares
67×distribute-lft-out
60×distribute-lft-out--
59×unswap-sqr
42×fma-neg
32×associate-*l*
27×tan-quot
19×frac-sub
14×associate-/r/
13×add-log-exp
9×associate-/r*
8×flip3-- flip--
7×div-inv
6×pow1 add-exp-log fma-def add-cbrt-cube
4×expm1-log1p-u log1p-expm1-u associate-/l*
3×flip3-+ associate-*r* sum-log flip-+ associate-/l/
2×+-commutative sub-neg diff-log frac-add
1×frac-times associate-+r- frac-2neg associate-*r/ pow-prod-down associate-*l/ prod-exp clear-num *-commutative cbrt-unprod
Counts
4 → 393
Calls
4 calls:
40.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (tan a)))
5.0ms
(+ (tan y) (tan z))
34.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (tan a))
6.0ms
(* (tan z) (tan y))

series1.0s

Counts
4 → 12
Calls
4 calls:
375.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (tan a)))
100.0ms
(+ (tan y) (tan z))
421.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (tan a))
105.0ms
(* (tan z) (tan y))

simplify151.0ms

Algorithm
egg-herbie
Counts
405 → 405
Iterations

Useful iterations: 2 (88.0ms)

IterNodesCost
010848778
135557176
250036910

prune972.0ms

Filtered
405 candidates to 180 candidates (44.4%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New3969405
Fresh707
Picked101
Done000
Total4049413

Merged error: 0.0b

Counts
413 → 9

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b
(exp (* (tan z) (tan y)))
0.2b
(- (/ (+ (tan y) (tan z)) (- 1 (log (exp (* (tan z) (tan y)))))) (tan a))
0.3b
(* (tan z) (tan y))
2.5b
(log (exp (* (tan z) (tan y))))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
225×*-un-lft-identity
159×add-sqr-sqrt
113×times-frac
102×prod-diff
97×add-cube-cbrt
36×difference-of-squares
35×distribute-lft-out--
34×fma-neg
31×log-pow
29×distribute-lft-out
24×pow1 exp-prod
23×tan-quot
17×frac-sub
9×associate-*r* associate-*l* add-log-exp
8×associate-/r/
7×add-exp-log associate-/r*
6×add-cbrt-cube
5×flip3-- flip--
4×expm1-log1p-u log1p-expm1-u div-inv associate-/l*
3×log-prod *-commutative associate-/l/ unswap-sqr
2×exp-to-pow rem-log-exp
1×frac-times sub-neg frac-2neg flip3-+ diff-log associate-*r/ pow-prod-down associate-*l/ frac-add prod-exp clear-num cbrt-unprod flip-+ rem-exp-log
Counts
4 → 244
Calls
4 calls:
6.0ms
(exp (* (tan z) (tan y)))
33.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (log (exp (* (tan z) (tan y)))))) (tan a))
6.0ms
(* (tan z) (tan y))
6.0ms
(log (exp (* (tan z) (tan y))))

series750.0ms

Counts
4 → 12
Calls
4 calls:
126.0ms
(exp (* (tan z) (tan y)))
423.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (log (exp (* (tan z) (tan y)))))) (tan a))
98.0ms
(* (tan z) (tan y))
102.0ms
(log (exp (* (tan z) (tan y))))

simplify110.0ms

Algorithm
egg-herbie
Counts
256 → 256
Iterations

Useful iterations: 2 (75.0ms)

IterNodesCost
07824995
127603887
250013805

prune720.0ms

Filtered
256 candidates to 123 candidates (48.0%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New2542256
Fresh178
Picked101
Done000
Total2569265

Merged error: 0.0b

Counts
265 → 9

localize31.0ms

Local error

Found 4 expressions with local error:

0.3b
(fma (fma (fma (tan z) (tan y) 1) (* (tan z) (tan y)) 1) (/ (+ (tan y) (tan z)) (- 1 (pow (log (exp (* (tan z) (tan y)))) 3))) (- (tan a)))
0.3b
(* (tan z) (tan y))
0.3b
(* (tan z) (tan y))
2.5b
(log (exp (* (tan z) (tan y))))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
14×log-pow
12×add-cube-cbrt exp-prod *-un-lft-identity
9×pow1 add-exp-log associate-*r* associate-*l*
8×tan-quot add-cbrt-cube
5×add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×log-prod *-commutative unswap-sqr
2×frac-times associate-*r/ rem-log-exp pow-prod-down associate-*l/ prod-exp cbrt-unprod
1×exp-to-pow fma-udef
Counts
4 → 84
Calls
4 calls:
1.0ms
(fma (fma (fma (tan z) (tan y) 1) (* (tan z) (tan y)) 1) (/ (+ (tan y) (tan z)) (- 1 (pow (log (exp (* (tan z) (tan y)))) 3))) (- (tan a)))
5.0ms
(* (tan z) (tan y))
6.0ms
(* (tan z) (tan y))
6.0ms
(log (exp (* (tan z) (tan y))))

series1.6s

Counts
4 → 12
Calls
4 calls:
1.3s
(fma (fma (fma (tan z) (tan y) 1) (* (tan z) (tan y)) 1) (/ (+ (tan y) (tan z)) (- 1 (pow (log (exp (* (tan z) (tan y)))) 3))) (- (tan a)))
101.0ms
(* (tan z) (tan y))
99.0ms
(* (tan z) (tan y))
100.0ms
(log (exp (* (tan z) (tan y))))

simplify56.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 1 (13.0ms)

IterNodesCost
0376946
11521869
25001869

prune568.0ms

Filtered
96 candidates to 75 candidates (78.1%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New95196
Fresh088
Picked011
Done000
Total9510105

Merged error: 0.0b

Counts
105 → 10

regimes362.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02927
12927

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.7s3927×body1280valid
488.0ms2004×body640valid
321.0ms8000×pre80true
109.0ms665×body320valid
53.0ms1105×body80valid
35.0ms299×body160valid