Details

Time bar (total: 11.1s)

sample182.0ms

Algorithm
intervals
Results
107.0ms139×body1280valid
30.0ms57×body640valid
10.0ms256×pre80true
5.0ms17×body320valid
3.0ms33×body80valid
2.0ms10×body160valid

simplify18.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

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.4b

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity add-log-exp
5×add-sqr-sqrt
4×tan-quot
3×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
2×sub-neg tan-sum associate-+r+ diff-log sum-log frac-sub distribute-lft-out distribute-lft-out--
1×+-commutative associate-+r- flip3-- flip3-+ flip-- flip-+ difference-of-squares
Counts
3 → 42
Calls
3 calls:
15.0ms
(+ x (- (tan (+ y z)) (tan a)))
20.0ms
(- (tan (+ y z)) (tan a))
6.0ms
(tan (+ y z))

series269.0ms

Counts
3 → 9
Calls
3 calls:
119.0ms
(+ x (- (tan (+ y z)) (tan a)))
104.0ms
(- (tan (+ y z)) (tan a))
45.0ms
(tan (+ y z))

simplify39.0ms

Algorithm
egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
0196346
1467335
21316334
35002334

prune148.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite243.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity
22×add-sqr-sqrt
15×add-cube-cbrt
13×times-frac
11×add-log-exp
8×add-exp-log add-cbrt-cube
7×tan-quot
6×pow1 distribute-lft-out
4×associate-/l*
3×associate-*r* associate-*l* associate-/r* associate-/l/
2×sub-neg associate-+r+ flip3-- flip3-+ diff-log sum-log associate-/r/ flip-- flip-+ distribute-lft-out-- difference-of-squares
1×cbrt-undiv +-commutative frac-times associate-+r- frac-2neg associate-*r/ div-exp pow-prod-down associate-*l/ frac-add prod-exp clear-num *-commutative frac-sub cbrt-unprod div-inv unswap-sqr
Counts
4 → 90
Calls
4 calls:
27.0ms
(/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))
123.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
73.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
17.0ms
(* (tan y) (tan z))

series958.0ms

Counts
4 → 12
Calls
4 calls:
193.0ms
(/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))
327.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
354.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
84.0ms
(* (tan y) (tan z))

simplify44.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
04491259
115031211
250011204

prune344.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite156.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
9×*-un-lft-identity add-log-exp
7×pow1 add-cube-cbrt
6×add-exp-log add-cbrt-cube
5×tan-quot
3×log-prod associate-*r* associate-*l* log-pow
2×exp-prod exp-to-pow difference-of-squares
1×frac-times sub-neg flip3-- times-frac diff-log associate-*r/ rem-log-exp pow-prod-down associate-*l/ prod-exp *-commutative frac-sub flip-- cbrt-unprod rem-exp-log distribute-lft-out-- unswap-sqr
Counts
4 → 61
Calls
4 calls:
118.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (log (exp (* (tan y) (tan z)))))) (tan a))
14.0ms
(* (tan y) (tan z))
18.0ms
(exp (* (tan y) (tan z)))
4.0ms
(log (exp (* (tan y) (tan z))))

series633.0ms

Counts
4 → 12
Calls
4 calls:
350.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (log (exp (* (tan y) (tan z)))))) (tan a))
84.0ms
(* (tan y) (tan z))
112.0ms
(exp (* (tan y) (tan z)))
87.0ms
(log (exp (* (tan y) (tan z))))

simplify51.0ms

Algorithm
egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 2 (16.0ms)

IterNodesCost
0261684
1705622
21821612
35002612

prune307.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite640.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
17×add-log-exp
14×add-sqr-sqrt
7×add-cube-cbrt
6×pow1 add-exp-log add-cbrt-cube
5×tan-quot exp-prod
4×sum-log distribute-lft-out
3×diff-log associate-*r* associate-*l* rem-exp-log distribute-lft-out--
2×associate-+r- sub-neg associate-+r+ difference-of-squares
1×+-commutative frac-times flip3-- flip3-+ times-frac exp-diff associate-*r/ exp-sum pow-prod-down associate-*l/ prod-exp *-commutative frac-sub flip-- cbrt-unprod flip-+ unswap-sqr
Counts
4 → 71
Calls
4 calls:
125.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
74.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
15.0ms
(* (tan y) (tan z))
424.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))

series1.2s

Counts
4 → 12
Calls
4 calls:
344.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
386.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
90.0ms
(* (tan y) (tan z))
419.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))

simplify78.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 2 (26.0ms)

IterNodesCost
03331021
1989959
23279952
35001952

prune315.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

regimes276.0ms

Accuracy

0% (0.2b 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
02315
12315

end0.0ms

sample5.0s

Algorithm
intervals
Results
3.0s3936×body1280valid
837.0ms1932×body640valid
349.0ms8000×pre80true
214.0ms716×body320valid
99.0ms1126×body80valid
57.0ms290×body160valid