Details

Time bar (total: 6.8s)

sample107.0ms

Algorithm
intervals
Results
52.0ms122×body1280valid
15.0ms63×body640valid
10.0ms256×pre80true
4.0ms23×body320valid
2.0ms37×body80valid
1.0ms11×body160valid

simplify19.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.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: 11.4b

Counts
2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

0.1b
(+ x (- (tan (+ y z)) (tan a)))
0.3b
(- (tan (+ y z)) (tan a))
2.3b
(tan (+ y z))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
5×tan-quot
4×tan-sum
3×+-commutative frac-sub
2×sub-neg associate-+r+
1×associate-+r- flip3-- flip3-+ flip-- flip-+
Counts
3 → 16
Calls
3 calls:
3.0ms
(+ x (- (tan (+ y z)) (tan a)))
4.0ms
(- (tan (+ y z)) (tan a))
3.0ms
(tan (+ y z))

series281.0ms

Counts
3 → 9
Calls
3 calls:
115.0ms
(+ x (- (tan (+ y z)) (tan a)))
112.0ms
(- (tan (+ y z)) (tan a))
54.0ms
(tan (+ y z))

simplify69.0ms

Algorithm
egg-herbie
Counts
25 → 25
Iterations

Useful iterations: 2 (10.0ms)

IterNodesCost
0156202
1359202
2859201
32919201
45001201

prune74.0ms

Filtered
25 candidates to 17 candidates (68.0%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New19625
Fresh000
Picked101
Done000
Total20626

Merged error: 0.1b

Counts
26 → 6

localize16.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 z) (tan y))
0.3b
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (tan a))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
14×tan-quot
6×frac-sub
3×flip3-+ flip-+ associate-/l/
2×+-commutative sub-neg associate-+r+ frac-add
1×frac-times associate-+r- flip3-- frac-2neg associate-*r/ associate-*l/ clear-num *-commutative flip--
Counts
4 → 24
Calls
4 calls:
5.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (tan a)))
3.0ms
(+ (tan y) (tan z))
4.0ms
(* (tan z) (tan y))
9.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (tan a))

series946.0ms

Counts
4 → 12
Calls
4 calls:
387.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (tan a)))
88.0ms
(+ (tan y) (tan z))
90.0ms
(* (tan z) (tan y))
380.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (tan a))

simplify85.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 2 (24.0ms)

IterNodesCost
0321548
11001545
23670533
35001533

prune151.0ms

Filtered
36 candidates to 30 candidates (83.3%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New28836
Fresh505
Picked101
Done000
Total34842

Merged error: 0.0b

Counts
42 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
12×tan-quot
6×frac-sub
4×associate-/l/
2×frac-2neg flip3-+ associate-*r/ frac-add clear-num *-commutative flip-+ associate-/l*
1×+-commutative sub-neg flip3-- flip-- div-inv
Counts
4 → 22
Calls
4 calls:
3.0ms
(+ (tan y) (tan z))
5.0ms
(/ (* (sin z) (tan y)) (cos z))
3.0ms
(* (sin z) (tan y))
9.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin z) (tan y)) (cos z)))) (tan a))

series622.0ms

Counts
4 → 12
Calls
4 calls:
86.0ms
(+ (tan y) (tan z))
95.0ms
(/ (* (sin z) (tan y)) (cos z))
73.0ms
(* (sin z) (tan y))
368.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin z) (tan y)) (cos z)))) (tan a))

simplify82.0ms

Algorithm
egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 2 (23.0ms)

IterNodesCost
0296458
1912455
23335440
35002440

prune163.0ms

Filtered
34 candidates to 29 candidates (85.3%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New32234
Fresh257
Picked101
Done000
Total35742

Merged error: 0.0b

Counts
42 → 7

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
14×tan-quot
12×frac-sub associate-/l/
4×frac-2neg clear-num associate-/r* *-commutative associate-/l*
3×div-inv
2×flip3-+ associate-*r/ associate-/r/ cos-mult flip-+
1×sub-neg flip3-- flip--
Counts
4 → 32
Calls
4 calls:
5.0ms
(/ (* (sin z) (tan y)) (cos z))
3.0ms
(* (sin z) (tan y))
9.0ms
(/ (+ (* (sin y) (cos z)) (* (cos y) (sin z))) (* (cos y) (cos z)))
16.0ms
(- (/ (/ (+ (* (sin y) (cos z)) (* (cos y) (sin z))) (* (cos y) (cos z))) (- 1 (/ (* (sin z) (tan y)) (cos z)))) (tan a))

series690.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(/ (* (sin z) (tan y)) (cos z))
77.0ms
(* (sin z) (tan y))
144.0ms
(/ (+ (* (sin y) (cos z)) (* (cos y) (sin z))) (* (cos y) (cos z)))
370.0ms
(- (/ (/ (+ (* (sin y) (cos z)) (* (cos y) (sin z))) (* (cos y) (cos z))) (- 1 (/ (* (sin z) (tan y)) (cos z)))) (tan a))

simplify48.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
0443884
11649877
25002851

prune213.0ms

Filtered
44 candidates to 37 candidates (84.1%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New43144
Fresh066
Picked011
Done000
Total43851

Merged error: 0.0b

Counts
51 → 8

regimes228.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03021
13021

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.6s3905×body1280valid
463.0ms2006×body640valid
296.0ms8000×pre80true
103.0ms641×body320valid
52.0ms1147×body80valid
32.0ms301×body160valid